25 |
# root for the installation, eg /usr/local |
# root for the installation, eg /usr/local |
26 |
# This would cause make install to create /usr/local/bin/gcl and |
# This would cause make install to create /usr/local/bin/gcl and |
27 |
# /usr/local/lib/gcl-2-??/* with some basic files. |
# /usr/local/lib/gcl-2-??/* with some basic files. |
28 |
prefix=/usr |
prefix=/usr/local |
29 |
|
|
30 |
# where to place the info files |
# where to place the info files |
31 |
INFO_DIR=/usr/info/ |
INFO_DIR=/usr/info/ |
55 |
NOTIFY=yes |
NOTIFY=yes |
56 |
GCC=gcc |
GCC=gcc |
57 |
|
|
58 |
|
|
59 |
|
|
60 |
|
|
61 |
|
|
62 |
GCLDIR=/fix/f/debian/mm/gcl/gcl |
GCLDIR=/fix/f/debian/mm/gcl/gcl |
63 |
SHELL=/bin/sh |
SHELL=/bin/sh |
64 |
MACHINE=386-linux |
MACHINE=386-linux |
74 |
|
|
75 |
LBINDIR=/usr/local/bin |
LBINDIR=/usr/local/bin |
76 |
|
|
77 |
#OFLAG = -g |
#OFLAG = -O |
78 |
OFLAG = -O |
OFLAG = -g |
79 |
#LIBS = -lm |
LIBS = -lm |
80 |
|
|
81 |
ODIR_DEBUG= -O4 |
#ODIR_DEBUG= -O4 |
82 |
#ODIR_DEBUG= -g |
ODIR_DEBUG= -g |
83 |
|
|
84 |
# This CC string will be used for compilation of the system, |
# This CC string will be used for compilation of the system, |
85 |
# and also in the compiler::*cc* variable for later compilation of |
# and also in the compiler::*cc* variable for later compilation of |