version 1.4, 2000/12/22 10:03:27 |
version 1.11, 2002/10/11 03:50:38 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM_contrib2/asir2000/configure,v 1.3 2000/03/01 02:29:16 noro Exp $ |
# $OpenXM: OpenXM_contrib2/asir2000/configure,v 1.10 2002/07/25 08:53:13 saito Exp $ |
|
|
use_plot=1 |
use_plot=0 |
use_pari=1 |
use_pari=0 |
use_interval=1 |
use_interval=0 |
use_fep=1 |
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) |
-interval) |
use_interval=1 ;; |
use_interval=1 ;; |
-fep) |
-fep) |
Line 37 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 |
Line 56 if [ $use_fep != 0 ]; then |
|
Line 65 if [ $use_fep != 0 ]; then |
|
echo "#define USE_FEP" >> include/config.h |
echo "#define USE_FEP" >> include/config.h |
fi |
fi |
|
|
|
echo LIBPARI=$libpari >> include/config.h |
echo LIBASIR=$libname.a >> include/config.h |
echo LIBASIR=$libname.a >> include/config.h |
|
|
|
if [ -x /bin/uname ] && [ `/bin/uname` = SunOS ]; then |
|
(cd gc; ./configure --disable-threads) |
|
else |
|
(cd gc; ./configure) |
|
fi |