=================================================================== RCS file: /home/cvs/OpenXM/src/asir2000/Makefile,v retrieving revision 1.36 retrieving revision 1.38 diff -u -p -r1.36 -r1.38 --- OpenXM/src/asir2000/Makefile 2018/12/22 01:54:58 1.36 +++ OpenXM/src/asir2000/Makefile 2019/03/26 08:07:18 1.38 @@ -1,4 +1,4 @@ -# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.35 2017/03/31 06:11:01 fujimoto Exp $ +# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.37 2019/03/23 12:22:09 ohara 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)