version 1.27, 2012/05/07 13:35:51 |
version 1.32, 2015/08/04 05:24:44 |
|
|
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.26 2008/08/08 05:41:27 ohara Exp $ |
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.31 2015/02/21 06:20:36 ohara Exp $ |
|
|
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
MASTER_SITE=ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
# Original. http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_source/ |
# Original. http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_source/ |
|
#DISTNAME=gc-7.2b |
DISTNAME=gc6.8 |
DISTNAME=gc6.8 |
DISTFILES=${DISTNAME}.tar.gz |
DISTFILES=${DISTNAME}.tar.gz |
|
|
|
|
configure: fetch |
configure: fetch |
@if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
(cd $(ASIR) ; \ |
(cd $(ASIR) ; \ |
./configure --enable-plot --with-pari --prefix="`cd ../../OpenXM; pwd`") \ |
./configure --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
fi |
fi |
@touch ./.configure_done |
@touch ./.configure_done |
|
|