===================================================================
RCS file: /home/cvs/OpenXM/src/asir2000/Makefile,v
retrieving revision 1.27
retrieving revision 1.34
diff -u -p -r1.27 -r1.34
--- OpenXM/src/asir2000/Makefile	2012/05/07 13:35:51	1.27
+++ OpenXM/src/asir2000/Makefile	2016/09/23 03:04:22	1.34
@@ -1,12 +1,12 @@
-# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.26 2008/08/08 05:41:27 ohara Exp $
+# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.33 2015/08/05 14:38:55 ohara Exp $
 
 OpenXM_HOME=../..
 PREFIX=${OpenXM_HOME}
 DISTDIR=${OpenXM_HOME}/../OpenXM_dist
-MASTER_SITE=ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/
-# Original. http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_source/
-DISTNAME=gc6.8
-DISTFILES=${DISTNAME}.tar.gz
+MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/
+# Original. http://www.hboehm.info/gc/gc_source
+DISTNAME=gc-7.4.2
+DISTFILES=${DISTNAME}.tar.gz libatomic_ops-7.4.0.tar.gz
 
 ASIR = ../../../OpenXM_contrib2/asir2000
 PARI = ../pari
@@ -30,7 +30,7 @@ distclean: clean
 fetch:
 	@if [ ! -f .fetch_done ]; then \
 		for i in ${DISTFILES}; do \
-			${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}${DISTFILES} ${DISTDIR}; \
+			${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}$$i ${DISTDIR}; \
 		done \
 	fi
 	@touch .fetch_done
@@ -38,7 +38,13 @@ fetch:
 configure: fetch
 	@if [ ! -f ./.configure_done ]; then \
 		(cd $(ASIR) ; \
-            ./configure --enable-plot --with-pari --prefix="`cd ../../OpenXM; pwd`") \
+            ./configure --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
+	fi
+	@touch ./.configure_done
+configure-static: fetch
+	@if [ ! -f ./.configure_done ]; then \
+		(cd $(ASIR) ; \
+            ./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
 	fi
 	@touch ./.configure_done