OpenXM/src/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / src

version 1.86, 2000/03/08 04:51:37

version 1.87, 2000/03/08 05:31:33

Line 1

## $OpenXM: OpenXM/src/Makefile,v 1.85 2000/03/06 14:58:00 takayama Exp $

## $OpenXM: OpenXM/src/Makefile,v 1.86 2000/03/08 04:51:37 ohara Exp $

OPENXM_CONTRIB=../../OpenXM_contrib

OPENXM_CONTRIB2=../../OpenXM_contrib2

Line 27 all-gmp: configure-gmp

(if test ! -f .gmp_make_done ; then cd gmp ; make ; touch .gmp_make_done ; fi) ; \

all-oxtoolkit: configure-oxtoolkit install-gmp

(cd ox_toolkit; make)

all-asir: configure-asir

@if test -d $(OPENXM_CONTRIB2) ; then \

(cd asir2000 ; make all) ; \

Line 130 install-openmath: all-openmath

Line 133 install-openmath: all-openmath

echo "in your search path. OpenMath will not be installed." ; \

install-oxtoolkit: all-oxtoolkit

(cd ox_toolkit; make install)

install-oxmath: all-oxmath

@if test -x /usr/local/bin/math ; then \

Line 236 configure-links:

Line 241 configure-links:

ln -f -s $(BINDIR) bin

ln -f -s $(OPENXM_CONTRIB)/gc gc

ln -f -s $(OPENXM_CONTRIB)/gmp gmp

configure-oxtoolkit:

(cd ox_toolkit; ./make-configure)

configure-oxmath:

(cd ox_math; ./make-configure)