1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
#!/bin/sh
# configure for stuff that just needs to be installed
#------------- Stuff added to enable --prefix --------------
if test "x$1" != "x"; then
# echo Found input parameter -- $1
# Now see if the parameter is --prefix=
if test "x${1#--prefix=}" != "x$1"; then
# echo "Found --prefix in input args. Setting prefix directory."
prefix=${1#--prefix=}
else
# echo "Found unrecognized parameter in input args."
# Just use the default prefix dir.
prefix=/usr/local
fi
else
# echo "No input parameter found."
# Just use the default prefix dir
prefix=/usr/local
fi
#----------------------------------------------------------------
echo \# created by $PWD/$0. do not edit >Make2
echo \#------------------------------------------------------------------------ >>Make2
echo "CCC = c++" >>Make2
echo "PREFIX = " $prefix >>Make2
echo "" >>Make2
cat Make1 Make2 ../Make3 >Makefile
exit 0
|
