OpenXM_contrib2/asir2000/configure - diff

Return to configure CVS log

Up to [local] / OpenXM_contrib2 / asir2000

-version 1.1, 1999/12/03 07:39:06
+version 1.2, 2000/02/08 04:47:08
 Line 1
 Line 1
 Line 1
  #!/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.1.1.1 1999/12/03 07:39:06 noro Exp $
- if [ $# = 1 ]; then
-         oxhome=$1
+ oxhome=`( cd ../../OpenXM ; pwd )`
- else
+ use_plot=0
-         oxhome=`( cd ../../OpenXM ; pwd )`
+ use_pari=0
- fi
+ while [ $# -gt 0 ]
+ do
+         case $1 in
+         -oxhome)
+                 shift; oxhome=$1 ;;
+         -plot)
+                 use_plot=1 ;;
+         -pari)
+                 use_pari=1 ;;
+         esac
+         shift
+ done
+ libname=libasir
  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 != 0 ]; then
+ libname=$libname"_pari"
+ echo "#define USE_PARI" >> include/config.h
+ fi
+ if [ $use_plot != 0 ]; then
+ libname=$libname"_X"
+ echo "#define USE_PLOT" >> include/config.h
+ fi
+ echo LIBASIR=$libname.a >> include/config.h