| 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 |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to Makefile.2.0 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / pari