version 1.1, 1999/12/03 07:39:06 |
version 1.10, 2002/07/25 08:53:13 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM/src/asir99/configure,v 1.1.1.1 1999/11/10 08:12:24 noro Exp $ |
# $OpenXM: OpenXM_contrib2/asir2000/configure,v 1.9 2002/07/25 04:47:40 noro Exp $ |
if [ $# = 1 ]; then |
|
oxhome=$1 |
use_plot=0 |
else |
use_pari=0 |
oxhome=`( cd ../../OpenXM ; pwd )` |
use_interval=0 |
|
use_fep=0 |
|
oxhome=/usr/local |
|
|
|
if [ -d ../../OpenXM ]; then |
|
oxhome=`( cd ../../OpenXM ; pwd )` |
fi |
fi |
|
|
|
while [ $# -gt 0 ] |
|
do |
|
case $1 in |
|
-oxhome) |
|
shift; oxhome=$1 ;; |
|
-plot) |
|
use_plot=1 ;; |
|
-oldpari) |
|
use_pari=1 ;; |
|
-pari) |
|
use_pari=2 ;; |
|
-interval) |
|
use_interval=1 ;; |
|
-fep) |
|
use_fep=1 ;; |
|
esac |
|
shift |
|
done |
|
|
|
libname=libasir |
|
|
rm -f include/config.h |
rm -f include/config.h |
cat > include/config.h <<EOF |
echo "#define OpenXM_HOME ${oxhome}" >> include/config.h |
#define OpenXM_HOME ${oxhome} |
|
EOF |
#cat > include/config.h <<EOF |
|
##define OpenXM_HOME ${oxhome} |
|
#EOF |
|
|
|
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) |