=================================================================== RCS file: /home/cvs/OpenXM/src/asir2000/Makefile,v retrieving revision 1.4 retrieving revision 1.38 diff -u -p -r1.4 -r1.38 --- OpenXM/src/asir2000/Makefile 2000/01/09 18:41:04 1.4 +++ OpenXM/src/asir2000/Makefile 2019/03/26 08:07:18 1.38 @@ -1,29 +1,77 @@ -# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.3 2000/01/09 16:28:09 maekawa Exp $ +# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.37 2019/03/23 12:22:09 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/asir2000 PARI = ../pari -all: install-pari configure +all: configure install-pari @if [ ! -f ./.make_done ]; then \ - (cd $(ASIR) ; make all) \ + (cd ${ASIR} ; ${MAKE} all) \ 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 ; make install2) + (cd ${ASIR} ; ${MAKE} install-openxm) +# cp -p asir2000 ${PREFIX}/bin/ clean: - (cd $(ASIR) ; make clean) - @rm -f ./.make_done ./.configure_done + (cd ${ASIR} ; ${MAKE} clean) + @rm -f ./.make_* ./.configure_* ./.install-* ./.fetch* -distclean: +distclean: clean @cat BINARIES | xargs -t rm -rf -configure: +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 + +configure: fetch @if [ ! -f ./.configure_done ]; then \ - (cd $(ASIR) ; ./configure ; xmkmf -a ; make depend) \ + (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 + install-pari: - (cd $(PARI) ; make install) + @if [ ! -f ./.install-pari_done ]; then \ + (cd ${PARI} ; ${MAKE} install) \ + fi + @touch ./.install-pari_done