| version 1.12, 2000/01/20 07:47:39 |
version 1.34, 2016/09/23 03:04:22 |
|
|
| # $OpenXM: OpenXM/src/asir2000/Makefile,v 1.11 2000/01/20 02:33:46 noro 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 |
ASIR = ../../../OpenXM_contrib2/asir2000 |
| PARI = ../pari |
PARI = ../pari |
| |
|
| all: configure |
all: configure install-pari |
| @if [ ! -d $(ASIR) ]; then \ |
|
| echo "You do not have the source of asir2000. Skip asir2000." ; \ |
|
| exit 0 ; \ |
|
| fi |
|
| @if [ ! -f ./.make_done ]; then \ |
@if [ ! -f ./.make_done ]; then \ |
| (cd $(ASIR) ; make all) \ |
(cd ${ASIR} ; ${MAKE} all) \ |
| fi |
fi |
| @touch ./.make_done |
@touch ./.make_done |
| |
|
| install: all |
install: all |
| @if [ ! -d $(ASIR) ]; then \ |
(cd ${ASIR} ; ${MAKE} install-openxm) |
| echo "You do not have the source of asir2000. Skip asir2000." ; \ |
|
| exit 0 ; \ |
|
| fi |
|
| (cd $(ASIR) ; make install ; make install-lib) |
|
| |
|
| clean: |
clean: |
| @if [ ! -d $(ASIR) ]; then \ |
(cd ${ASIR} ; ${MAKE} clean) |
| echo "You do not have the source of asir2000. Skip asir2000." ; \ |
@rm -f ./.make_* ./.configure_* ./.install-* ./.fetch* |
| exit 0 ; \ |
|
| fi |
|
| (cd $(ASIR) ; make clean) |
|
| @rm -f ./.make_done ./.configure_done ./.install-pari_done |
|
| |
|
| distclean: clean |
distclean: clean |
| @cat BINARIES | xargs -t rm -rf |
@cat BINARIES | xargs -t rm -rf |
| |
|
| configure: install-pari |
fetch: |
| @if [ ! -d $(ASIR) ]; then \ |
@if [ ! -f .fetch_done ]; then \ |
| echo "You do not have the source of asir2000. Skip asir2000." ; \ |
for i in ${DISTFILES}; do \ |
| exit 0 ; \ |
${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}$$i ${DISTDIR}; \ |
| fi |
done \ |
| |
fi |
| |
@touch .fetch_done |
| |
|
| |
configure: fetch |
| @if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
| (cd $(ASIR) ; ./configure ; xmkmf ; make Makefiles ; make depend) \ |
(cd $(ASIR) ; \ |
| |
./configure --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ |
| fi |
fi |
| @touch ./.configure_done |
@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: |
install-pari: |
| @if [ ! -f ./.install-pari_done ]; then \ |
@if [ ! -f ./.install-pari_done ]; then \ |
| (cd $(PARI) ; make install) \ |
(cd ${PARI} ; ${MAKE} install) \ |
| fi |
fi |
| @touch ./.install-pari_done |
@touch ./.install-pari_done |