=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/configure,v retrieving revision 1.2 retrieving revision 1.8 diff -u -p -r1.2 -r1.8 --- OpenXM_contrib2/asir2000/configure 2000/02/08 04:47:08 1.2 +++ OpenXM_contrib2/asir2000/configure 2001/10/05 11:01:21 1.8 @@ -1,10 +1,16 @@ #!/bin/sh -# $OpenXM: OpenXM_contrib2/asir2000/configure,v 1.1.1.1 1999/12/03 07:39:06 noro Exp $ +# $OpenXM: OpenXM_contrib2/asir2000/configure,v 1.7 2000/12/26 05:17:46 noro Exp $ -oxhome=`( cd ../../OpenXM ; pwd )` use_plot=0 use_pari=0 +use_interval=0 +use_fep=0 +oxhome=/usr/local +if [ -d ../../OpenXM ]; then +oxhome=`( cd ../../OpenXM ; pwd )` +fi + while [ $# -gt 0 ] do case $1 in @@ -12,8 +18,14 @@ do shift; oxhome=$1 ;; -plot) use_plot=1 ;; - -pari) + -oldpari) use_pari=1 ;; + -pari) + use_pari=2 ;; + -interval) + use_interval=1 ;; + -fep) + use_fep=1 ;; esac shift done @@ -27,14 +39,32 @@ echo "#define OpenXM_HOME ${oxhome}" >> include/config ##define OpenXM_HOME ${oxhome} #EOF -if [ $use_pari != 0 ]; then +if [ $use_pari = 1 ]; then libname=$libname"_pari" +libpari=pari echo "#define USE_PARI" >> include/config.h fi +if [ $use_pari = 2 ]; then +libname=$libname"_pari" +libpari=pari-2.2 +echo "#define USE_PARI" >> include/config.h +fi + if [ $use_plot != 0 ]; then libname=$libname"_X" echo "#define USE_PLOT" >> include/config.h fi +if [ $use_interval != 0 ]; then +libname=$libname"_itv" +echo "#define USE_INTERVAL" >> include/config.h +fi + +if [ $use_fep != 0 ]; then +echo "#define USE_FEP" >> include/config.h +fi + +echo LIBPARI=$libpari >> include/config.h echo LIBASIR=$libname.a >> include/config.h +