Remove some code duplication in TRANSLATE-PREDICATE
[maxima.git] / archive / configure
blob002967510649d8c1adfcd8604da1e616dfcee89e
1 #!/bin/sh
2 # edit next few lines
3 # GCLDIR should be where gcl was built, and the o/*.o lsp/*.o etc must be
4 # there to link with maxima
5 GCLDIR=/home/wfs/cvs/gcl
6 # the directory where this file is, and where you will build maxima
7 # could use
8 MAXDIR=/home/wfs/cvs/maxima
9 MAXDIR=`pwd`
10 # where to put some maxima .el files
11 EMACS_SITE_LISP=/usr/local/lib/emacs/site-lisp
13 # determines where to install
14 # PREFIX_DIR=/usr/local puts things in /usr/local/lib/maxima-x.y
15 # and /usr/local/bin
16 PREFIX_DIR=/usr/local
17 INFO_DIR=${PREFIX_DIR}/info
18 MAN_DIR=${PREFIX_DIR}/man/man1
19 ##### end editing #########
21 if [ -f ${GCLDIR}/makedefs ] ;then
22 cat ${GCLDIR}/makedefs > makedefs
23 else echo > makedefs
24 echo '${GCLDIR}/makedefs' "(${GCLDIR}/makedefs)" not found.. so leaving blank..
28 echo GCLDIR=${GCLDIR} >>makedefs
29 echo MAXDIR=${MAXDIR} >>makedefs
30 echo PREFIX_DIR=${PREFIX_DIR} >>makedefs
31 echo EMACS_SITE_LISP=${EMACS_SITE_LISP} >> makedefs
32 echo INFO_DIR=${INFO_DIR} >> makedefs
33 echo MAN_DIR=${MAN_DIR} >> makedefs
34 echo '# end maxmakedefs' >> makedefs
36 (cd ${GCLDIR}/bin ; make )
38 echo inserting makedefs in ..
39 for v in makefile src/makefile info/makefile elisp/makefile
41 echo " $v,"
42 ${GCLDIR}/bin/file-sub makedefs $v "# begin makedefs" '# end maxmakedefs' tmpx
43 mv tmpx $v
44 done