=================================================================== RCS file: /home/cvs/OpenXM/src/asir2000/Makefile,v retrieving revision 1.3 retrieving revision 1.34 diff -u -p -r1.3 -r1.34 --- OpenXM/src/asir2000/Makefile 2000/01/09 16:28:09 1.3 +++ OpenXM/src/asir2000/Makefile 2016/09/23 03:04:22 1.34 @@ -1,25 +1,55 @@ -# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.2 2000/01/09 15:57:25 maekawa Exp $ +# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.33 2015/08/05 14:38:55 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: configure +all: configure install-pari @if [ ! -f ./.make_done ]; then \ - (cd $(ASIR) ; make all) \ + (cd ${ASIR} ; ${MAKE} all) \ fi @touch ./.make_done install: all - (cd $(ASIR) ; make install ; make install2) + (cd ${ASIR} ; ${MAKE} install-openxm) 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-static: fetch + @if [ ! -f ./.configure_done ]; then \ + (cd $(ASIR) ; \ + ./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ + fi + @touch ./.configure_done + +install-pari: + @if [ ! -f ./.install-pari_done ]; then \ + (cd ${PARI} ; ${MAKE} install) \ + fi + @touch ./.install-pari_done