version 1.2, 2004/12/09 18:54:31 |
version 1.3, 2004/12/10 10:58:38 |
|
|
# $OpenXM: OpenXM/src/pari/Makefile.2.0,v 1.1 2004/12/08 05:24:21 ohara Exp $ |
# $OpenXM: OpenXM/src/pari/Makefile.2.0,v 1.2 2004/12/09 18:54:31 ohara Exp $ |
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
|
|
|
|
patch: extract |
patch: extract |
@if [ ! -f work/.patch_done ]; then \ |
@if [ ! -f work/.patch_done ]; then \ |
cat ${PATCH_FILE} | (cd work ; patch -p ) ; \ |
if [ -f "${PATCH_FILE}" ]; then \ |
|
cat ${PATCH_FILE} | (cd work ; patch -p ) ; \ |
|
fi \ |
fi |
fi |
@touch work/.patch_done |
@touch work/.patch_done |
|
|