version 1.8, 2017/03/31 03:17:59 |
version 1.9, 2020/01/09 00:52:39 |
|
|
# $OpenXM: OpenXM/src/pari/Makefile.2.0,v 1.7 2017/03/31 02:50:47 takayama Exp $ |
# $OpenXM: OpenXM/src/pari/Makefile.2.0,v 1.8 2017/03/31 03:17:59 takayama Exp $ |
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
|
|
|
|
build: configure |
build: configure |
@if [ ! -f work/.build_done ]; then \ |
@if [ ! -f work/.build_done ]; then \ |
(cd work/${PARI} ; ${MAKE} lib-sta) ; \ |
(cd work/${PARI} ; env PERL_USE_UNSAFE_INC=1 ${MAKE} lib-sta) ; \ |
fi |
fi |
@touch work/.build_done |
@touch work/.build_done |
|
|