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.123, 2003/09/02 03:35:56

Line 1

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

## $OpenXM: OpenXM/src/Makefile,v 1.122 2003/08/26 05:04:40 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)

Line 113 install-asir-gc : configure-asir

Line 116 install-asir-gc : configure-asir

install-gmp : all-gmp

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

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

then \

(cd gmp; make install) ; \

(cd gmp; make install-exec) ; \

(cd gmp; cp gmp.h ../../OpenXM/include) ; \

@touch gmp/.gmp_installed

Line 275 configure-gnuplot:

Line 279 configure-gnuplot:

-(cd gnuplot ; make configure)

configure-k097: configure-links configure-util

(cd k097 ; ./configure)

configure-kan96xx: configure-links configure-util

(cd kan96xx ; make configure)