version 1.101, 2000/12/21 07:29:39 |
version 1.105, 2000/12/21 12:26:57 |
|
|
## $OpenXM: OpenXM/src/Makefile,v 1.100 2000/12/20 11:12:52 takayama Exp $ |
## $OpenXM: OpenXM/src/Makefile,v 1.104 2000/12/21 09:25:23 takayama Exp $ |
|
|
OpenXM_HOME=../../OpenXM |
OpenXM_HOME=../../OpenXM |
OPENXM_CONTRIB=../../OpenXM_contrib |
OPENXM_CONTRIB=../../OpenXM_contrib |
|
|
all-tigers: |
all-tigers: |
(cd tigers ; make all) |
(cd tigers ; make all) |
|
|
|
|
all-misc : |
all-misc : |
(cd ../rc ; make repl) |
(cd ../rc ; make repl) |
(cd ../doc ; make all-install) |
(cd ../doc ; make all-install) |
(cd ../doc ; make all-spec) |
(cd ../doc ; make all-spec) |
|
|
|
all-rc: |
|
(cd ../rc ; make ) |
|
|
install: install-asir install-gnuplot install-k097 install-kan96xx \ |
install: install-asir install-gnuplot 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 \ |
Line 156 install-asir-contrib: install-asir install-kxx |
|
Line 160 install-asir-contrib: install-asir install-kxx |
|
(cd asir-contrib ; make install) |
(cd asir-contrib ; make install) |
|
|
install-asir-doc: install-asir |
install-asir-doc: install-asir |
(cd asir-doc ; make install) |
-(cd asir-doc ; make install) |
|
|
install-misc: |
install-misc: |
(cd ../rc ; make install.man) |
(cd ../rc ; make install.man) |
|
|
|
install-rc: all-rc |
|
(cd ../rc ; make install) |
|
|
clean: |
clean: |
-rm ./.configure-links-done |
-rm ./.configure-links-done |
-rm $(OPENXM_CONTRIB)/gmp/.gmp_* |
-rm $(OPENXM_CONTRIB)/gmp/.gmp_* |
Line 307 install-all-asir-lib: |
|
Line 314 install-all-asir-lib: |
|
|
|
binary-dist : all-Copyright clean-rc all all-misc post-install-correction install-all-asir-lib |
binary-dist : all-Copyright clean-rc all all-misc post-install-correction install-all-asir-lib |
|
|
|
## Targets for debugging |
|
install-for-debug: |
|
(cd kan96xx; make install-for-debug) |
|
(cd kxx; make install-for-debug) |
|
(cd k097 ; make install-for-debug) |
|
(cd ../bin ; rm -f asir ; ln -s ../../OpenXM_contrib2/asir2000/asir .) |
|
|
|
|
|
## Sub binary packages |
|
## 1: asir: asir only. target: all-asir install-asir install-asir-doc |
|
|
|
## 2: kan-ox: k0 and sm1 with ox_asir. target: all-kan-ox install-kan-ox |
|
configure-all-kan-ox : configure-links configure-include configure-asir \ |
|
configure-kan96xx configure-kxx configure-k097 \ |
|
configure-oxc |
|
all-kan-ox: configure-all-kan-ox all-asir all-kan96xx all-kxx all-k097 all-oxc |
|
install-kan-ox: all-kan-ox install-asir install-kan96xx install-kxx \ |
|
install-k097 install-oxc install-asir-doc \ |
|
post-install-kan-ox |
|
post-install-kan-ox: |
|
(cd ../bin ; /bin/rm -f ox_asir; ln -s ./asir ox_asir) |
|
|