version 1.89, 2000/03/08 06:08:18 |
version 1.91, 2000/03/10 02:35:53 |
|
|
## $OpenXM: OpenXM/src/Makefile,v 1.88 2000/03/08 05:48:44 ohara Exp $ |
## $OpenXM: OpenXM/src/Makefile,v 1.90 2000/03/08 06:30:29 ohara Exp $ |
|
|
OPENXM_CONTRIB=../../OpenXM_contrib |
OPENXM_CONTRIB=../../OpenXM_contrib |
OPENXM_CONTRIB2=../../OpenXM_contrib2 |
OPENXM_CONTRIB2=../../OpenXM_contrib2 |
Line 27 all-gmp: configure-gmp |
|
Line 27 all-gmp: configure-gmp |
|
(if test ! -f .gmp_make_done ; then cd gmp ; make ; touch .gmp_make_done ; fi) ; \ |
(if test ! -f .gmp_make_done ; then cd gmp ; make ; touch .gmp_make_done ; fi) ; \ |
fi |
fi |
|
|
all-oxtoolkit: configure-oxtoolkit install-gmp |
all-oxtoolkit: configure-oxtoolkit install-gmp install-kxx |
(cd ox_toolkit; make) |
(cd ox_toolkit; make) |
|
|
all-asir: configure-asir |
all-asir: configure-asir |
Line 136 install-openmath: all-openmath |
|
Line 136 install-openmath: all-openmath |
|
install-oxtoolkit: all-oxtoolkit |
install-oxtoolkit: all-oxtoolkit |
(cd ox_toolkit; make install) |
(cd ox_toolkit; make install) |
|
|
install-oxmath: all-oxmath |
install-oxmath: all-oxmath install-kxx |
@if test -x /usr/local/bin/math ; then \ |
@if test -x /usr/local/bin/math ; then \ |
(cd ox_math ; make install) ; \ |
(cd ox_math ; make install) ; \ |
else \ |
else \ |
|
|
(cd $(COPYRIGHTDIR) ; make copy-copyright ) |
(cd $(COPYRIGHTDIR) ; make copy-copyright ) |
|
|
post-install-correction: install |
post-install-correction: install |
(cd ../bin ; rm -f asir ; ln -s ./ox_asir asir) |
#post-install-correction-for-asir: |
|
(cd ../bin ; rm -f asir ox_asir ) |
|
cp ../lib/asir/asir ../bin/asir |
|
(cd ../bin ; ln -s ./asir ox_asir) |
|
(cd ../lib/asir ; rm -f asir ; ln -s ../../bin/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) |
|
# post-install-corrections-other |
(cd ../rc ; make install.man) |
(cd ../rc ; make install.man) |
|
|
binary-dist : all-Copyright clean-rc all all-misc post-install-correction |
binary-dist : all-Copyright clean-rc all all-misc post-install-correction |