6 |
# use=386-linux |
# use=386-linux |
7 |
|
|
8 |
# for main link of raw_gcl |
# for main link of raw_gcl |
9 |
LIBS= -lm |
LIBS= -lm -lreadline -ltermcap |
10 |
|
|
11 |
#The multi precision library stuff |
#The multi precision library stuff |
12 |
MPFILES=$(MPDIR)/mpi-386_no_under.o $(MPDIR)/libmport.a |
MPFILES=$(MPDIR)/mpi-386_no_under.o $(MPDIR)/libmport.a |
15 |
# root for the installation, eg /usr/local |
# root for the installation, eg /usr/local |
16 |
# This would cause make install to create /usr/local/bin/gcl and |
# This would cause make install to create /usr/local/bin/gcl and |
17 |
# /usr/local/lib/gcl-2-??/* with some basic files. |
# /usr/local/lib/gcl-2-??/* with some basic files. |
18 |
prefix=/fix/f/debian/mm/gcl/gcl-2.5.0/../tmp |
prefix=/usr/local |
19 |
|
|
20 |
# where to place the info files |
# where to place the info files |
21 |
INFO_DIR=/usr/info/ |
INFO_DIR=/usr/info/ |
45 |
NOTIFY=yes |
NOTIFY=yes |
46 |
GCC=gcc |
GCC=gcc |
47 |
|
|
48 |
RL_OBJS= |
RL_OBJS=readline.o |
49 |
|
|
50 |
RL_LIB= |
RL_LIB=lsp/readline.o |
51 |
|
|
52 |
GCLDIR=/fix/f/debian/mm/gcl/gcl-2.5.0 |
GCLDIR=/fix/f/debian/mm/gcl/gcl-2.5.0 |
53 |
SHELL=/bin/sh |
SHELL=/bin/sh |
64 |
|
|
65 |
LBINDIR=/usr/local/bin |
LBINDIR=/usr/local/bin |
66 |
|
|
67 |
OFLAG = -g |
#OFLAG = -g |
68 |
#OFLAG = -O |
OFLAG = -O |
69 |
#LIBS = -lm |
#LIBS = -lm |
70 |
|
|
71 |
#ODIR_DEBUG= -O4 |
ODIR_DEBUG= -O4 |
72 |
ODIR_DEBUG= -g |
#ODIR_DEBUG= -g |
73 |
|
|
74 |
# This CC string will be used for compilation of the system, |
# This CC string will be used for compilation of the system, |
75 |
# and also in the compiler::*cc* variable for later compilation of |
# and also in the compiler::*cc* variable for later compilation of |