Fix bug #4018: defint(foo,,0,inf) lisp error when denom(foo) contains %i
[maxima.git] / archive / configure.in
blob912abf37e40cca046d797ef17a033c287e776abc
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=`pwd`
9 MAXDIR=/home/wfs/cvs/maxima
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 echo inserting makedefs in ..
37 for v in makefile src/makefile info/makefile elisp/makefile
39 echo " $v,"
40 ${GCLDIR}/xbin/file-sub makedefs $v "# begin makedefs" '# end maxmakedefs'
41 mv tmpx $v
42 done