===================================================================
RCS file: /home/cvs/OpenXM/src/asir2000/Makefile,v
retrieving revision 1.31
retrieving revision 1.37
diff -u -p -r1.31 -r1.37
--- OpenXM/src/asir2000/Makefile	2015/02/21 06:20:36	1.31
+++ OpenXM/src/asir2000/Makefile	2019/03/23 12:22:09	1.37
@@ -1,13 +1,12 @@
-# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.30 2012/08/27 05:05:57 noro Exp $
+# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.36 2018/12/22 01:54:58 kondoh Exp $
 
 OpenXM_HOME=../..
 PREFIX=${OpenXM_HOME}
 DISTDIR=${OpenXM_HOME}/../OpenXM_dist
 MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/
-# Original. http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_source/
-#DISTNAME=gc-7.2b
-DISTNAME=gc6.8
-DISTFILES=${DISTNAME}.tar.gz
+# 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
@@ -18,8 +17,15 @@ all: configure install-pari
 	fi
 	@touch ./.make_done
 
+all-nox: configure-nox install-pari
+	@if [ ! -f ./.make_done ]; then \
+		(cd ${ASIR} ; ${MAKE} all) \
+	fi
+	@touch ./.make_done
+
 install: all
 	(cd ${ASIR} ; ${MAKE} install-openxm)
+	cp -p asir2000 ${PREFIX}/bin/
 
 clean:
 	(cd ${ASIR} ; ${MAKE} clean)
@@ -31,7 +37,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
@@ -39,7 +45,28 @@ 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-nox: fetch
+	@if [ ! -f ./.configure_done ]; then \
+		(cd $(ASIR) ; \
+            ./configure --disable-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
+
+configure-interval: fetch
+	@if [ ! -f ./.configure_done ]; then \
+		(cd $(ASIR) ; \
+            ./configure --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \
 	fi
 	@touch ./.configure_done