=================================================================== RCS file: /home/cvs/OpenXM/src/asir2000/Makefile,v retrieving revision 1.26 retrieving revision 1.34 diff -u -p -r1.26 -r1.34 --- OpenXM/src/asir2000/Makefile 2008/08/08 05:41:27 1.26 +++ OpenXM/src/asir2000/Makefile 2016/09/23 03:04:22 1.34 @@ -1,12 +1,12 @@ -# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.25 2007/08/20 05:47:34 ohara 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=ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/ -# Original. http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_source/ -DISTNAME=gc6.8 -DISTFILES=${DISTNAME}.tar.gz +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 @@ -29,14 +29,22 @@ distclean: clean fetch: @if [ ! -f .fetch_done ]; then \ - ${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}${DISTFILES} ${DISTDIR}; \ + 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 --enable-plot --with-pari --prefix="`cd ../../OpenXM; pwd`") \ + ./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