===================================================================
RCS file: /home/cvs/OpenXM/src/asir2000/Makefile,v
retrieving revision 1.35
retrieving revision 1.37
diff -u -p -r1.35 -r1.37
--- OpenXM/src/asir2000/Makefile	2017/03/31 06:11:01	1.35
+++ OpenXM/src/asir2000/Makefile	2019/03/23 12:22:09	1.37
@@ -1,4 +1,4 @@
-# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.34 2016/09/23 03:04:22 takayama Exp $
+# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.36 2018/12/22 01:54:58 kondoh Exp $
 
 OpenXM_HOME=../..
 PREFIX=${OpenXM_HOME}
@@ -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)
@@ -59,6 +60,13 @@ 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