===================================================================
RCS file: /home/cvs/OpenXM/src/asir2000/Makefile,v
retrieving revision 1.36
retrieving revision 1.39
diff -u -p -r1.36 -r1.39
--- OpenXM/src/asir2000/Makefile	2018/12/22 01:54:58	1.36
+++ OpenXM/src/asir2000/Makefile	2021/03/24 18:25:37	1.39
@@ -1,12 +1,12 @@
-# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.35 2017/03/31 06:11:01 fujimoto Exp $
+# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.38 2019/03/26 08:07:18 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
+DISTNAME=gc-7.4.18
+DISTFILES=${DISTNAME}.tar.gz libatomic_ops-7.4.14.tar.gz
 
 ASIR = ../../../OpenXM_contrib2/asir2000
 PARI = ../pari
@@ -25,6 +25,7 @@ all-nox: configure-nox install-pari
 
 install: all
 	(cd ${ASIR} ; ${MAKE} install-openxm)
+#	cp -p asir2000 ${PREFIX}/bin/
 
 clean:
 	(cd ${ASIR} ; ${MAKE} clean)