=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/configure,v retrieving revision 1.3 retrieving revision 1.8 diff -u -p -r1.3 -r1.8 --- OpenXM_contrib2/asir2000/configure 2000/03/01 02:29:16 1.3 +++ OpenXM_contrib2/asir2000/configure 2001/10/05 11:01:21 1.8 @@ -1,8 +1,10 @@ #!/bin/sh -# $OpenXM: OpenXM_contrib2/asir2000/configure,v 1.2 2000/02/08 04:47:08 noro Exp $ +# $OpenXM: OpenXM_contrib2/asir2000/configure,v 1.7 2000/12/26 05:17:46 noro Exp $ use_plot=0 use_pari=0 +use_interval=0 +use_fep=0 oxhome=/usr/local if [ -d ../../OpenXM ]; then @@ -16,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 @@ -31,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 +