=================================================================== RCS file: /home/cvs/OpenXM/src/asir2000/Makefile,v retrieving revision 1.33 retrieving revision 1.39 diff -u -p -r1.33 -r1.39 --- OpenXM/src/asir2000/Makefile 2015/08/05 14:38:55 1.33 +++ OpenXM/src/asir2000/Makefile 2021/03/24 18:25:37 1.39 @@ -1,12 +1,12 @@ -# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.32 2015/08/04 05:24:44 noro 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 @@ -17,8 +17,15 @@ all: configure install-pari 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-openxm) +# cp -p asir2000 ${PREFIX}/bin/ clean: (cd ${ASIR} ; ${MAKE} clean) @@ -39,6 +46,27 @@ configure: fetch @if [ ! -f ./.configure_done ]; then \ (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