version 1.150, 2005/11/10 05:56:50 |
version 1.151, 2007/02/20 02:37:18 |
|
|
## $OpenXM: OpenXM/src/Makefile,v 1.149 2005/07/19 03:37:49 takayama Exp $ |
## $OpenXM: OpenXM/src/Makefile,v 1.150 2005/11/10 05:56:50 ohara Exp $ |
|
|
OpenXM_HOME=.. |
OpenXM_HOME=.. |
OpenXM_contrib2=../../OpenXM_contrib2 |
OpenXM_contrib2=../../OpenXM_contrib2 |
|
|
(cd phc; ${MAKE} all) |
(cd phc; ${MAKE} all) |
|
|
all-phcpack: |
all-phcpack: |
-@if [ "`which gnatmake`" ]; then \ |
-@if ../misc/which.pl -s gnatmake; then \ |
(cd phcpack; ${MAKE} all) ; \ |
(cd phcpack; ${MAKE} all) ; \ |
fi |
fi |
|
|
Line 146 install-phc: all-phc |
|
Line 146 install-phc: all-phc |
|
(cd phc; ${MAKE} install) |
(cd phc; ${MAKE} install) |
|
|
install-phcpack: all-phcpack |
install-phcpack: all-phcpack |
-@if [ "`which gnatmake`" ]; then \ |
-@if ../misc/which.pl gnatmake; then \ |
(cd phcpack; ${MAKE} install) ; \ |
(cd phcpack; ${MAKE} install) ; \ |
fi |
fi |
|
|