OpenXM/src/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / src

version 1.120, 2003/07/21 11:36:09

version 1.121, 2003/08/25 14:24:45

Line 1

## $OpenXM: OpenXM/src/Makefile,v 1.119 2003/06/26 08:59:12 takayama Exp $

## $OpenXM: OpenXM/src/Makefile,v 1.120 2003/07/21 11:36:09 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 .gmp_make_done ; then cd gmp ; make ; touch .gmp_make_done ; fi) ;

@if test ! -f gmp/.gmp_make_done ; then \

(cd gmp ; make) ; \

@touch gmp/.gmp_make_done

all-oxtoolkit: configure-oxtoolkit install-gmp install-gc configure-util

(cd ox_toolkit; make)