version 1.82, 2000/03/01 00:15:46 |
version 1.83, 2000/03/05 06:54:00 |
|
|
## $OpenXM: OpenXM/src/Makefile,v 1.81 2000/02/28 08:03:08 takayama Exp $ |
## $OpenXM: OpenXM/src/Makefile,v 1.82 2000/03/01 00:15:46 takayama Exp $ |
|
|
OPENXM_CONTRIB=../../OpenXM_contrib |
OPENXM_CONTRIB=../../OpenXM_contrib |
OPENXM_CONTRIB2=../../OpenXM_contrib2 |
OPENXM_CONTRIB2=../../OpenXM_contrib2 |
|
|
|
|
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 \ |
|
install-misc |
|
|
install-asir: all-asir |
install-asir: all-asir |
@if test -d $(OPENXM_CONTRIB2) ; then \ |
@if test -d $(OPENXM_CONTRIB2) ; then \ |
Line 117 install-asir-contrib: install-asir install-kxx |
|
Line 118 install-asir-contrib: install-asir install-kxx |
|
|
|
install-asir-doc: install-asir |
install-asir-doc: install-asir |
(cd asir-doc ; make install) |
(cd asir-doc ; make install) |
|
|
|
install-misc: |
|
(cd ../rc ; make install.man) |
|
|
clean: |
clean: |
(cd asir2000 ; make clean) |
(cd asir2000 ; make clean) |