version 1.77, 2000/02/01 09:59:42 |
version 1.82, 2000/03/01 00:15:46 |
|
|
## $OpenXM: OpenXM/src/Makefile,v 1.76 2000/02/01 05:11:09 takayama Exp $ |
## $OpenXM: OpenXM/src/Makefile,v 1.81 2000/02/28 08:03:08 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) |
Line 59 install: install-asir install-gnuplot install-k097 ins |
|
Line 65 install: install-asir install-gnuplot install-k097 ins |
|
install-phc install-tigers install-asir-doc install-asir-contrib |
install-phc install-tigers install-asir-doc install-asir-contrib |
|
|
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 141 configure: configure-links configure-bin configure-asi |
|
Line 152 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) |
Line 167 configure-links: |
|
Line 183 configure-links: |
|
ln -f -s $(OPENXM_CONTRIB)/gmp gmp |
ln -f -s $(OPENXM_CONTRIB)/gmp gmp |
|
|
configure-oxmath: |
configure-oxmath: |
(cd ox_math; ./configure) |
(cd ox_math; ./make-configure) |
|
|
configure-pari: |
configure-pari: |
(cd pari ; make configure) |
(cd pari ; make configure) |
|
|
|
generate-source-distribution : generate-source-distribution-kxx \ |
|
generate-source-distribution-ox_toolkit |
|
|
|
generate-source-distribution-kxx : |
|
(cd kxx ; rm -f .configure_done Makefile ; autoconf) |
|
generate-source-distribution-ox_toolkit : |
|
(cd ox_toolkit ; rm -f Makefile ; autoconf) |
|
|
clean-rc : |
clean-rc : |
(cd $(RCDIR) ; make clean ) |
(cd $(RCDIR) ; make clean ) |
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 |
|
|
|
|