===================================================================
RCS file: /home/cvs/OpenXM/src/asir2000/Makefile,v
retrieving revision 1.13
retrieving revision 1.37
diff -u -p -r1.13 -r1.37
--- OpenXM/src/asir2000/Makefile	2000/01/20 08:12:43	1.13
+++ OpenXM/src/asir2000/Makefile	2019/03/23 12:22:09	1.37
@@ -1,32 +1,77 @@
-# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.12 2000/01/20 07:47:39 takayama 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.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
 
-all: configure
+all: configure install-pari
 	@if [ ! -f ./.make_done ]; then \
-		(cd $(ASIR) ; make all) \
+		(cd ${ASIR} ; ${MAKE} all) \
 	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 ; make install-lib)
+	(cd ${ASIR} ; ${MAKE} install-openxm)
+	cp -p asir2000 ${PREFIX}/bin/
 
 clean:
-	(cd $(ASIR) ; make clean)
-	@rm -f ./.make_done ./.configure_done ./.install-pari_done
+	(cd ${ASIR} ; ${MAKE} clean)
+	@rm -f ./.make_* ./.configure_* ./.install-* ./.fetch*
 
 distclean: clean
 	@cat BINARIES | xargs -t rm -rf
 
-configure: install-pari
+fetch:
+	@if [ ! -f .fetch_done ]; then \
+		for i in ${DISTFILES}; do \
+			${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}$$i ${DISTDIR}; \
+		done \
+	fi
+	@touch .fetch_done
+
+configure: fetch
 	@if [ ! -f ./.configure_done ]; then \
-		(cd $(ASIR) ; ./configure ; xmkmf ; make Makefiles ; make depend) \
+		(cd $(ASIR) ; \
+            ./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
+
 install-pari:
 	@if [ ! -f ./.install-pari_done ]; then \
-		(cd $(PARI) ; make install) \
+		(cd ${PARI} ; ${MAKE} install) \
 	fi
 	@touch ./.install-pari_done