OpenXM/src/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / src

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

version 1.123, 2003/09/02 03:35:56

Line 1

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

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

(cd gmp ; make) ; \

@touch gmp/.gmp_make_done

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 278 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)