16 |
# root for the installation, eg /usr/local |
# root for the installation, eg /usr/local |
17 |
# This would cause make install to create /usr/local/bin/gcl and |
# This would cause make install to create /usr/local/bin/gcl and |
18 |
# /usr/local/lib/gcl-2-??/* with some basic files. |
# /usr/local/lib/gcl-2-??/* with some basic files. |
19 |
prefix=/usr |
prefix=/usr/local |
20 |
|
|
21 |
# where to place the info files |
# where to place the info files |
22 |
INFO_DIR=/usr/info/ |
INFO_DIR=/usr/info/ |
46 |
NOTIFY=yes |
NOTIFY=yes |
47 |
GCC=gcc |
GCC=gcc |
48 |
|
|
49 |
|
|
50 |
|
|
51 |
|
|
52 |
|
|
53 |
GCLDIR=/fix/f/debian/mm/gcl/gcl |
GCLDIR=/fix/f/debian/mm/gcl/gcl |
54 |
SHELL=/bin/sh |
SHELL=/bin/sh |
55 |
MACHINE=386-linux |
MACHINE=386-linux |
65 |
|
|
66 |
LBINDIR=/usr/local/bin |
LBINDIR=/usr/local/bin |
67 |
|
|
68 |
#OFLAG = -g |
#OFLAG = -O |
69 |
OFLAG = -O |
OFLAG = -g |
70 |
#LIBS = -lm |
LIBS = -lm |
71 |
|
|
72 |
ODIR_DEBUG= -O4 |
#ODIR_DEBUG= -O4 |
73 |
#ODIR_DEBUG= -g |
ODIR_DEBUG= -g |
74 |
|
|
75 |
# This CC string will be used for compilation of the system, |
# This CC string will be used for compilation of the system, |
76 |
# and also in the compiler::*cc* variable for later compilation of |
# and also in the compiler::*cc* variable for later compilation of |