=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/configure,v retrieving revision 1.2 retrieving revision 1.9 diff -u -p -r1.2 -r1.9 --- OpenXM_contrib2/asir2000/configure 2000/02/08 04:47:08 1.2 +++ OpenXM_contrib2/asir2000/configure 2002/07/25 04:47:40 1.9 @@ -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$ -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,33 @@ 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 + +(cd gc; configure)