version 1.97, 2000/11/17 04:47:20 |
version 1.98, 2000/12/15 06:20:37 |
|
|
## $OpenXM: OpenXM/src/Makefile,v 1.96 2000/09/17 03:12:09 takayama Exp $ |
## $OpenXM: OpenXM/src/Makefile,v 1.97 2000/11/17 04:47:20 takayama Exp $ |
|
|
OpenXM_HOME=../../OpenXM |
OpenXM_HOME=../../OpenXM |
OPENXM_CONTRIB=../../OpenXM_contrib |
OPENXM_CONTRIB=../../OpenXM_contrib |
Line 24 all-gmp: configure-gmp |
|
Line 24 all-gmp: configure-gmp |
|
all-oxtoolkit: configure-oxtoolkit install-gmp install-kxx |
all-oxtoolkit: configure-oxtoolkit install-gmp install-kxx |
(cd ox_toolkit; make) |
(cd ox_toolkit; make) |
|
|
|
all-oxc: configure-oxc install-oxtoolkit |
|
(cd oxc; make) |
|
|
all-asir: configure-asir |
all-asir: configure-asir |
@if test -d $(OPENXM_CONTRIB2) ; then \ |
@if test -d $(OPENXM_CONTRIB2) ; then \ |
(cd asir2000 ; make all) ; \ |
(cd asir2000 ; make all) ; \ |
Line 127 install-openmath: all-openmath |
|
Line 130 install-openmath: all-openmath |
|
install-oxtoolkit: all-oxtoolkit |
install-oxtoolkit: all-oxtoolkit |
(cd ox_toolkit; make install) |
(cd ox_toolkit; make install) |
|
|
|
install-oxc: all-oxc |
|
(cd oxc; make install) |
|
|
install-oxmath: all-oxmath install-kxx |
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) ; \ |
Line 254 configure-links: |
|
Line 260 configure-links: |
|
|
|
configure-oxtoolkit: |
configure-oxtoolkit: |
(cd ox_toolkit; ./make-configure) |
(cd ox_toolkit; ./make-configure) |
|
|
|
configure-oxc: |
|
(cd oxc; ./make-configure) |
|
|
configure-oxmath: |
configure-oxmath: |
(cd ox_math; ./make-configure) |
(cd ox_math; ./make-configure) |