OpenXM/src/gmp/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / src / gmp

version 1.3, 2004/02/13 00:47:12

version 1.5, 2004/02/23 05:56:32

Line 1

# $OpenXM: OpenXM/src/gmp/Makefile,v 1.2 2003/09/14 01:19:57 takayama Exp $

# $OpenXM: OpenXM/src/gmp/Makefile,v 1.4 2004/02/22 08:28:20 takayama Exp $

OpenXM_HOME=../..

OpenXM_contrib=${OpenXM_HOME}/../OpenXM_contrib

OpenXM_lib=${OpenXM_HOME}/lib

OpenXM_include=${OpenXM_HOME}/include

GMP=${OpenXM_contrib}/gmp

RM=rm

all:

all: configure

@if [ ! -f ./.use_ports ]; then \

make all-l ; \

else \

make -f Makefile-ports all ; \

install:

@if [ ! -f ./.use_ports ]; then \

make install-l ; \

else \

make -f Makefile-ports install ; \

all-l: configure-l

-@if [ ! -f ./.make_done ]; then \

(cd ${GMP} ; make) ; \

touch ./.make_done ; \

install: install-exec

install-l: install-exec-l

install-exec: all

install-exec-l: all-l

if [ ! -f ./.install_done ]; then \

(cd ${GMP}; make install-exec) ; \

cp ${GMP}/gmp.h ${OpenXM_include} ; \

touch ./.install_done ; \

configure:

@if [ ! -f ./.use_ports ]; then \

make configure-l ; \

configure-l:

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

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

touch ./.configure_done ; \