version 1.80, 2000/02/08 21:16:15 |
version 1.83, 2000/03/05 06:54:00 |
|
|
## $OpenXM: OpenXM/src/Makefile,v 1.79 2000/02/08 12:03:39 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 |
LIBDIR=../lib |
LIBDIR=../lib |
BINDIR=../bin |
BINDIR=../bin |
RCDIR=../rc |
RCDIR=../rc |
Line 10 all: configure all-asir all-gnuplot all-k097 all-kan96 |
|
Line 11 all: configure all-asir all-gnuplot all-k097 all-kan96 |
|
all-pari all-phc all-openmath all-oxmath all-tigers |
all-pari all-phc all-openmath all-oxmath all-tigers |
|
|
all-asir: configure-asir |
all-asir: configure-asir |
(cd asir2000 ; make all) |
@if test -d $(OPENXM_CONTRIB2) ; then \ |
|
(cd asir2000 ; make all) ; \ |
|
else \ |
|
echo -n "Warning: Asir source is not found. " ; \ |
|
echo "asir will not be compiled." ; \ |
|
fi |
|
|
all-gnuplot: configure-gnuplot |
all-gnuplot: configure-gnuplot |
(cd gnuplot ; make all) |
(cd gnuplot ; make all) |
|
|
|
|
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 |
(cd asir2000 ; make install) |
@if test -d $(OPENXM_CONTRIB2) ; then \ |
|
(cd asir2000 ; make install) ; \ |
|
else \ |
|
echo -n "Warning: Asir source is not found. " ; \ |
|
echo "asir will not be installed." ; \ |
|
fi |
|
|
install-gnuplot: all-gnuplot |
install-gnuplot: all-gnuplot |
(cd gnuplot ; make install) |
(cd gnuplot ; make install) |
Line 107 install-asir-contrib: install-asir install-kxx |
|
Line 119 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) |
(cd gnuplot ; make clean) |
(cd gnuplot ; make clean) |
Line 141 configure: configure-links configure-bin configure-asi |
|
Line 156 configure: configure-links configure-bin configure-asi |
|
configure-pari |
configure-pari |
|
|
configure-asir: |
configure-asir: |
(cd asir2000; make configure) |
@if test -d $(OPENXM_CONTRIB2) ; then \ |
|
(cd asir2000 ; make configure) ; \ |
|
else \ |
|
echo -n "Warning: Asir source is not found. " ; \ |
|
echo "asir will not be compiled." ; \ |
|
fi |
|
|
configure-bin: |
configure-bin: |
(cd $(BINDIR) ; make configure) |
(cd $(BINDIR) ; make configure) |
|
|
all-Copyright : |
all-Copyright : |
(cd $(COPYRIGHTDIR) ; make copy-copyright ) |
(cd $(COPYRIGHTDIR) ; make copy-copyright ) |
|
|
binary-dist : all-Copyright clean-rc all install all-misc |
post-install-correction: install |
(cd ../bin ; rm -f asir ; ln -s ./ox_asir asir) |
(cd ../bin ; rm -f asir ; ln -s ./ox_asir asir) |
(cd ../lib/asir ; rm -f ox_asir ox_launch ox_plot help ; ln -s ./asir ox_asir ; ln -s ./asir ox_launch ; ln -s ./asir ox_plot ; ln -s ./help-eg help) |
(cd ../lib/asir ; rm -f ox_asir ox_launch ox_plot help ; ln -s ./asir ox_asir ; ln -s ./asir ox_launch ; ln -s ./asir ox_plot ; ln -s ./help-eg help) |
|
|
|
binary-dist : all-Copyright clean-rc all all-misc post-install-correction |
|
|
|
|