version 1.36, 2018/12/22 01:54:58 |
version 1.39, 2021/03/24 18:25:37 |
|
|
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.35 2017/03/31 06:11:01 fujimoto Exp $ |
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.38 2019/03/26 08:07:18 ohara Exp $ |
|
|
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
# Original. http://www.hboehm.info/gc/gc_source |
# Original. http://www.hboehm.info/gc/gc_source |
DISTNAME=gc-7.4.2 |
DISTNAME=gc-7.4.18 |
DISTFILES=${DISTNAME}.tar.gz libatomic_ops-7.4.0.tar.gz |
DISTFILES=${DISTNAME}.tar.gz libatomic_ops-7.4.14.tar.gz |
|
|
ASIR = ../../../OpenXM_contrib2/asir2000 |
ASIR = ../../../OpenXM_contrib2/asir2000 |
PARI = ../pari |
PARI = ../pari |
Line 25 all-nox: configure-nox install-pari |
|
Line 25 all-nox: configure-nox install-pari |
|
|
|
install: all |
install: all |
(cd ${ASIR} ; ${MAKE} install-openxm) |
(cd ${ASIR} ; ${MAKE} install-openxm) |
|
# cp -p asir2000 ${PREFIX}/bin/ |
|
|
clean: |
clean: |
(cd ${ASIR} ; ${MAKE} clean) |
(cd ${ASIR} ; ${MAKE} clean) |