version 1.2, 2000/02/08 04:47:08 |
version 1.4, 2000/12/22 10:03:27 |
|
|
#!/bin/sh |
#!/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.3 2000/03/01 02:29:16 noro Exp $ |
|
|
|
use_plot=1 |
|
use_pari=1 |
|
use_interval=1 |
|
use_fep=1 |
|
oxhome=/usr/local |
|
|
|
if [ -d ../../OpenXM ]; then |
oxhome=`( cd ../../OpenXM ; pwd )` |
oxhome=`( cd ../../OpenXM ; pwd )` |
use_plot=0 |
fi |
use_pari=0 |
|
|
|
while [ $# -gt 0 ] |
while [ $# -gt 0 ] |
do |
do |
|
|
use_plot=1 ;; |
use_plot=1 ;; |
-pari) |
-pari) |
use_pari=1 ;; |
use_pari=1 ;; |
|
-interval) |
|
use_interval=1 ;; |
|
-fep) |
|
use_fep=1 ;; |
esac |
esac |
shift |
shift |
done |
done |
Line 37 libname=$libname"_X" |
|
Line 47 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 LIBASIR=$libname.a >> include/config.h |
echo LIBASIR=$libname.a >> include/config.h |
|
|