version 1.6, 2017/03/31 02:18:33 |
version 1.7, 2017/03/31 02:50:47 |
|
|
# $OpenXM: OpenXM/src/pari/Makefile.2.0,v 1.5 2015/02/21 06:20:36 ohara Exp $ |
# $OpenXM: OpenXM/src/pari/Makefile.2.0,v 1.6 2017/03/31 02:18:33 takayama Exp $ |
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
|
|
-mkdir ${PREFIX}/bin ${PREFIX}/lib |
-mkdir ${PREFIX}/bin ${PREFIX}/lib |
@if [ ! -f work/.install_done ]; then \ |
@if [ ! -f work/.install_done ]; then \ |
(cd work/${PARI} ; ${MAKE} install) ; \ |
(cd work/${PARI} ; ${MAKE} install) ; \ |
${RANLIB} ${PREFIX}/lib/libpari.a ; \ |
|
fi |
fi |
@touch work/.install_done |
@touch work/.install_done |
|
|