32 |
|
|
33 |
cp Makefile.in Makefile |
cp Makefile.in Makefile |
34 |
|
|
35 |
if [ "$PREFIX"="" ]; then |
if [ "$PREFIX" = "" ]; then |
36 |
PREFIX=/usr/local |
PREFIX=/usr/local |
|
DEFS="$DEFS -DPREFIX='\"$PREFIX\"'" |
|
37 |
fi |
fi |
38 |
|
DEFS="$DEFS -DPREFIX='\"$PREFIX\"'" |
39 |
|
|
40 |
# Set up resource file installation directory. |
# Set up resource file installation directory. |
41 |
RESDIR="$PREFIX/lib/X11/app-defaults" |
RESDIR="$PREFIX/lib/X11/app-defaults" |
79 |
|
|
80 |
LIBS="$LIBS -lXm -lXt -lX11 -lm" |
LIBS="$LIBS -lXm -lXt -lX11 -lm" |
81 |
DEFS="$DEFS -D_GNU_SOURCE" |
DEFS="$DEFS -D_GNU_SOURCE" |
82 |
|
echo Prefix is $PREFIX |
83 |
ed <<EOF Makefile 1> /dev/null 2> /dev/null |
ed <<EOF Makefile 1> /dev/null 2> /dev/null |
84 |
25a |
25a |
85 |
PREFIX=$PREFIX |
PREFIX=$PREFIX |