| version 1.3, 2000/03/01 02:29:16 |
version 1.8, 2001/10/05 11:01:21 |
|
|
| #!/bin/sh |
#!/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_plot=0 |
| use_pari=0 |
use_pari=0 |
| |
use_interval=0 |
| |
use_fep=0 |
| oxhome=/usr/local |
oxhome=/usr/local |
| |
|
| if [ -d ../../OpenXM ]; then |
if [ -d ../../OpenXM ]; then |
|
|
| shift; oxhome=$1 ;; |
shift; oxhome=$1 ;; |
| -plot) |
-plot) |
| use_plot=1 ;; |
use_plot=1 ;; |
| -pari) |
-oldpari) |
| use_pari=1 ;; |
use_pari=1 ;; |
| |
-pari) |
| |
use_pari=2 ;; |
| |
-interval) |
| |
use_interval=1 ;; |
| |
-fep) |
| |
use_fep=1 ;; |
| esac |
esac |
| shift |
shift |
| done |
done |
| Line 31 echo "#define OpenXM_HOME ${oxhome}" >> include/config |
|
| Line 39 echo "#define OpenXM_HOME ${oxhome}" >> include/config |
|
| ##define OpenXM_HOME ${oxhome} |
##define OpenXM_HOME ${oxhome} |
| #EOF |
#EOF |
| |
|
| if [ $use_pari != 0 ]; then |
if [ $use_pari = 1 ]; then |
| libname=$libname"_pari" |
libname=$libname"_pari" |
| |
libpari=pari |
| echo "#define USE_PARI" >> include/config.h |
echo "#define USE_PARI" >> include/config.h |
| fi |
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 |
if [ $use_plot != 0 ]; then |
| libname=$libname"_X" |
libname=$libname"_X" |
| echo "#define USE_PLOT" >> include/config.h |
echo "#define USE_PLOT" >> include/config.h |
| fi |
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 |
echo LIBASIR=$libname.a >> include/config.h |
| |
|