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