OpenXM/src/gmp/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / src / gmp

version 1.8, 2004/03/25 03:17:09

version 1.9, 2004/03/25 04:54:36

Line 1

# $OpenXM: OpenXM/src/gmp/Makefile,v 1.7 2004/03/25 01:52:18 takayama Exp $

# $OpenXM: OpenXM/src/gmp/Makefile,v 1.8 2004/03/25 03:17:09 ohara Exp $

OpenXM_HOME=../..

PREFIX=${OpenXM_HOME}

DISTDIR=${OpenXM_HOME}/../OpenXM_dist

Line 25 extract: fetch

patch: extract

@touch .patch_done

build : patch

configure: patch

@if test ! -f .build_done ; then \

@if [ ! -f .configure_done ]; then \

(cd work/${GMP} ; ./configure --prefix `cd ../..; cd ${OpenXM_HOME}; pwd`; ${MAKE}) ; \

(cd work/${GMP} ; ./configure --prefix `cd ../..; cd ${OpenXM_HOME}; pwd`) ; \

@touch .configure_done

build : configure

@if [ ! -f .build_done ]; then \

(cd work/${GMP} ; ${MAKE}) ; \

@touch .build_done