7 |
# use=386-linux |
# use=386-linux |
8 |
|
|
9 |
# for main link of raw_gcl |
# for main link of raw_gcl |
10 |
LIBS= -lm |
LIBS= -lm -lreadline -ltermcap |
11 |
|
|
12 |
#The multi precision library stuff |
#The multi precision library stuff |
13 |
MPFILES=$(MPDIR)/mpi-386_no_under.o $(MPDIR)/libmport.a |
MPFILES=$(MPDIR)/mpi-386_no_under.o $(MPDIR)/libmport.a |
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=/fix/f/debian/mm/gcl/gcl-2.5.0/../tmp |
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 |
RL_OBJS= |
RL_OBJS=readline.o |
50 |
|
|
51 |
RL_LIB= |
RL_LIB=lsp/readline.o |
52 |
|
|
53 |
GCLDIR=/fix/f/debian/mm/gcl/gcl-2.5.0 |
GCLDIR=/fix/f/debian/mm/gcl/gcl-2.5.0 |
54 |
SHELL=/bin/sh |
SHELL=/bin/sh |
65 |
|
|
66 |
LBINDIR=/usr/local/bin |
LBINDIR=/usr/local/bin |
67 |
|
|
68 |
OFLAG = -g |
#OFLAG = -g |
69 |
#OFLAG = -O |
OFLAG = -O |
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 |