===================================================================
RCS file: /home/cvs/OpenXM/src/asir2018/Makefile,v
retrieving revision 1.1
retrieving revision 1.6
diff -u -p -r1.1 -r1.6
--- OpenXM/src/asir2018/Makefile	2018/09/19 05:52:21	1.1
+++ OpenXM/src/asir2018/Makefile	2022/09/07 05:58:08	1.6
@@ -1,23 +1,19 @@
-# $OpenXM$
+# $OpenXM: OpenXM/src/asir2018/Makefile,v 1.5 2022/09/07 03:20:07 ohara 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/asir2018
 PARI = ../pari
+ASIR_GC = ../asir-gc
 
-all: configure install-pari
+all: configure
 	@if [ ! -f ./.make_done ]; then \
 		(cd ${ASIR} ; ${MAKE} all) \
 	fi
 	@touch ./.make_done
 
-all-nox: configure-nox install-pari
+all-nox: configure-nox
 	@if [ ! -f ./.make_done ]; then \
 		(cd ${ASIR} ; ${MAKE} all) \
 	fi
@@ -26,6 +22,9 @@ all-nox: configure-nox install-pari
 install: all
 	(cd ${ASIR} ; ${MAKE} install-openxm)
 
+install-nox: all-nox
+	(cd ${ASIR} ; ${MAKE} install-openxm)
+
 clean:
 	(cd ${ASIR} ; ${MAKE} clean)
 	@rm -f ./.make_* ./.configure_* ./.install-* ./.fetch*
@@ -33,37 +32,64 @@ clean:
 distclean: clean
 	@cat BINARIES | xargs -t rm -rf
 
-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
+fetch: install-pari install-asirgc
 
 configure: fetch
 	@if [ ! -f ./.configure_done ]; then \
-		(cd $(ASIR) ; \
-            ./configure --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
+		if [ -z "${TARGET_TYPE}" ]; then \
+		    (cd $(ASIR) ; \
+		    ./configure --enable-plot --enable-fep --prefix="`cd ../../OpenXM; pwd`") \
+		else \
+		    (cd $(ASIR) ; \
+		    ./configure --host=${TARGET_TYPE} --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
+		fi \
 	fi
 	@touch ./.configure_done
 
 configure-nox: fetch
 	@if [ ! -f ./.configure_done ]; then \
-		(cd $(ASIR) ; \
-            ./configure --disable-plot --prefix="`cd ../../OpenXM; pwd`") \
+		if [ -z "${TARGET_TYPE}" ]; then \
+		    (cd $(ASIR) ; \
+                    ./configure --disable-plot --prefix="`cd ../../OpenXM; pwd`") \
+		else \
+		    (cd $(ASIR) ; \
+                    ./configure --host=${TARGET_TYPE} --disable-plot --prefix="`cd ../../OpenXM; pwd`") \
+		fi \
 	fi
 	@touch ./.configure_done
 
 configure-static: fetch
 	@if [ ! -f ./.configure_done ]; then \
-		(cd $(ASIR) ; \
-            ./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
+		if [ -z "${TARGET_TYPE}" ]; then \
+		    (cd $(ASIR) ; \
+                    ./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
+		else \
+		    (cd $(ASIR) ; \
+                    ./configure --host=${TARGET_TYPE} --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
+		fi \
 	fi
 	@touch ./.configure_done
 
+configure-interval: fetch
+	@if [ ! -f ./.configure_done ]; then \
+		if [ -z "${TARGET_TYPE}" ]; then \
+		    (cd $(ASIR) ; \
+                    ./configure --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \
+		else \
+		    (cd $(ASIR) ; \
+                    ./configure --host=${TARGET_TYPE} --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \
+		fi \
+	fi
+	@touch ./.configure_done
+
 install-pari:
 	@if [ ! -f ./.install-pari_done ]; then \
 		(cd ${PARI} ; ${MAKE} install) \
 	fi
 	@touch ./.install-pari_done
+
+install-asirgc:
+	@if [ ! -f ./.install-asirgc_done ]; then \
+		(cd ${ASIR_GC} ; ${MAKE} install) \
+	fi
+	@touch ./.install-asirgc_done