OpenXM/src/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / src

version 1.95, 2000/08/31 13:23:12

version 1.96, 2000/09/17 03:12:09

Line 1

## $OpenXM: OpenXM/src/Makefile,v 1.94 2000/03/25 13:35:12 takayama Exp $

## $OpenXM: OpenXM/src/Makefile,v 1.95 2000/08/31 13:23:12 takayama Exp $

OpenXM_HOME=../../OpenXM

OPENXM_CONTRIB=../../OpenXM_contrib

Line 19 all-gc:

@touch gc/.gc_make_done

all-gmp: configure-gmp

if test -f /usr/lib/libgmp.a ; \

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

then \

echo "Using /usr/lib/libgmp.a" ; \

/bin/rm -rf gmp/libgmp.a ; \

ln -s /usr/lib/libgmp.a gmp/libgmp.a ; \

else \

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

all-oxtoolkit: configure-oxtoolkit install-gmp install-kxx

(cd ox_toolkit; make)

Line 99 install-gc : all-gc

Line 92 install-gc : all-gc

install-gmp : all-gmp

-@if test ! -f gmp/.gmp_installed ; \

then \

mkdir ../lib ; \

(cd gmp; make install) ; \

cp gmp/libgmp.a ../lib ; \

mkdir ../include ; \

cp gmp/gmp.h ../include ; \

@touch gmp/.gmp_installed

Line 209 configure: configure-links configure-bin configure-asi

Line 199 configure: configure-links configure-bin configure-asi

configure-gmp: configure-links

@if test -f gmp/.gmp_configured ; \

then \

echo "MESSAGE(kan96xx/Makefile): gmp is already configured. (.gmp_configured) " ; \

echo "MESSAGE: gmp is already configured. (.gmp_configured) " ; \

else \

(cd gmp ; ./configure ; touch .gmp_configured) ; \

(cd gmp ; ./configure --prefix=`pwd`/../../OpenXM; touch .gmp_configured) ; \

configure-asir: