Remove some code duplication in TRANSLATE-PREDICATE
[maxima.git] / archive / makedefs
blob4cc54c7447d949485329396b6d7e5989e002c26b
2 # begin makedefs
4 # use=386-linux
6 # for main link of raw_gcl
7 LIBS= -lm
9 #The multi precision library stuff
10 MPFILES=$(MPDIR)/mpi-386_no_under.o $(MPDIR)/libmport.a
13 # root for the installation, eg /usr/local
14 # This would cause make install to create /usr/local/bin/gcl and
15 # /usr/local/lib/gcl-2-??/* with some basic files.
16 prefix=/usr/local
18 # where to place the info files
19 INFO_DIR=/usr/local/info/
21 # where to put emacs lisp files.
22 EMACS_SITE_LISP=/usr/share/emacs/20.7/site-lisp
24 # the default.el file
25 EMACS_DEFAULT_EL=/usr/share/emacs/20.7/site-lisp/default.el
27 # numerous TCL/TK variables culled from the tkConfig.sh and tclConfig.sh
28 # if these are found.
29 TK_CONFIG_PREFIX=/usr/local/lib
30 TK_LIBRARY=/usr/local/lib/tk8.3
31 TCL_LIBRARY=/usr/local/lib/tcl8.3
32 TK_XINCLUDES=-I/usr/X11R6/include
33 TK_INCLUDE=-I/usr/local/lib/../include
34 TCL_INCLUDE=-I/usr/local/lib/../include
35 TK_LIB_SPEC=-L/usr/local/lib -ltk8.3
36 TK_BUILD_LIB_SPEC=-L/home/wfs/src/tk8.3.2/unix -ltk8.3
37 TK_XLIBSW=-L/usr/X11R6/lib -lX11
38 TK_XINCLUDES=-I/usr/X11R6/include
39 TCL_LIB_SPEC=-L/usr/local/lib -ltcl8.3${TCL_DBGX}
40 TCL_DL_LIBS=-ldl
41 TCL_LIBS=-ldl -lm
43 NOTIFY=yes
44 GCC=gcc
50 GCLDIR=/home/wfs/cvs/gcl
51 SHELL=/bin/sh
52 MACHINE=386-linux
54 # notes for redhat 6.0
55 #  the configure should select the compiler GCC=/usr/bin/i386-glibc20-linux-gcc
56 #  However for the gcl-tk directory, you must use plain 'gcc' since
57 #  that must link with the tcl tk libs which have been compiled with it.
58 #  so after configure change to GCC=gcc in the gcl-tk/makefile
61 # Machine dependent makefile definitions for intel 386,486 running linux
63 LBINDIR=/usr/local/bin
65 OFLAG   =  -O 
66 LIBS    = -lm 
68 ODIR_DEBUG= -O4 
70 # This CC string will be used for compilation of the system,
71 # and also in the compiler::*cc* variable for later compilation of
72 # lisp files.
73 # (the -pipe is just since our file system is slow..)
74 CC = ${GCC} -pipe -fwritable-strings  -DVOL=volatile -I$(GCLDIR)/o -fsigned-char
76 # under redhat 6.1 and slackware 7.0 we needed to have this
77 # link be static, but should be ok with the fix to unixport/rsym_elf.c
78 LDCC=${CC} -static
79 LDCC=${CC}
81 # note for linuxaout on an elf machine add -b i486-linuxaout 
82 # CC = gcc -pipe -fwritable-strings  -DVOL=volatile -I$(GCLDIR)/o -fsigned-char -b i486-linuxaout 
84 # Enable the fastloading mechanism which does not use ld -A
85 # requires c/rel_.. machine dependent code.
87 RSYM    = rsym
88 SFASL   = $(ODIR)/sfasl.o
91 #MPFILES= $(MPDIR)/mpi-386d.o   $(MPDIR)/libmport.a
94 # When using SFASL it is good to have (si::build-symbol-table)
95 INITFORM=(si::build-symbol-table)
97 # Use symbolic links
98 SYMB=-s
100 LIBFILES=bsearch.o
102 # the  make to use for saved_kcp the profiler.
103 KCP=kcp-bsd
104 MPFILES=${GMP_DIR}libgmp.a
107 # end makedefs
108 GCLDIR=/home/wfs/cvs/gcl
109 MAXDIR=/home/wfs/cvs/maxima
110 PREFIX_DIR=/usr/local
111 EMACS_SITE_LISP=/usr/local/lib/emacs/site-lisp
112 INFO_DIR=/usr/local/info
113 MAN_DIR=/usr/local/man/man1
114 # end maxmakedefs