version 1.150, 2005/11/10 05:56:50 |
version 1.152, 2007/03/17 09:19:55 |
|
|
## $OpenXM: OpenXM/src/Makefile,v 1.149 2005/07/19 03:37:49 takayama Exp $ |
## $OpenXM: OpenXM/src/Makefile,v 1.151 2007/02/20 02:37:18 ohara Exp $ |
|
|
OpenXM_HOME=.. |
OpenXM_HOME=.. |
OpenXM_contrib2=../../OpenXM_contrib2 |
OpenXM_contrib2=../../OpenXM_contrib2 |
|
|
COPYRIGHTDIR=../Copyright |
COPYRIGHTDIR=../Copyright |
|
|
all: all-util all-gc all-gmp all-asir all-gnuplot all-k097 all-kan96xx \ |
all: all-util all-gc all-gmp all-asir all-gnuplot all-k097 all-kan96xx \ |
all-kxx all-pari all-phc all-openmath all-oxmath all-tigers all-fep all-phcpack |
all-kxx all-pari all-phc all-openmath all-oxmath all-tigers all-fep all-phcpack all-oxcdd |
|
|
all-gc: install-util |
all-gc: install-util |
(cd gc; ${MAKE} all) |
(cd gc; ${MAKE} all) |
|
|
(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 |
|
|
|
|
all-util: configure-util |
all-util: configure-util |
(cd util; ${MAKE} all) |
(cd util; ${MAKE} all) |
|
|
|
all-oxcdd: install-oxtoolkit |
|
(cd ox_cdd; ${MAKE} all) |
|
|
install: install-oxtags install-util install-asir install-gnuplot \ |
install: install-oxtags install-util install-asir install-gnuplot \ |
install-k097 install-kan96xx \ |
install-k097 install-kan96xx \ |
install-kxx install-openmath install-oxmath install-pari \ |
install-kxx install-openmath install-oxmath install-pari \ |
install-phc install-tigers install-asir-doc install-asir-contrib \ |
install-phc install-tigers install-asir-doc install-asir-contrib \ |
install-misc install-fep install-phcpack |
install-misc install-fep install-phcpack install-oxcdd |
|
|
install-oxtags: |
install-oxtags: |
(cd ../doc/OpenXM-web; ${MAKE} install-exec) |
(cd ../doc/OpenXM-web; ${MAKE} install-exec) |
Line 146 install-phc: all-phc |
|
Line 149 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 |
|
|
Line 175 install-rc: all-rc |
|
Line 178 install-rc: all-rc |
|
|
|
install-asir-port: |
install-asir-port: |
(cd asir-port; ${MAKE} install) |
(cd asir-port; ${MAKE} install) |
|
|
|
install-oxcdd: all-oxcdd |
|
(cd ox_cdd; ${MAKE} install) |
|
|
clean: |
clean: |
-rm ./.configure-links-done |
-rm ./.configure-links-done |