Return to Makefile CVS log

Up to [local] / OpenXM / src / asir2018

add configure for interval arithmetic

# $OpenXM: OpenXM/src/asir2018/Makefile,v 1.2 2018/12/22 01:54:58 kondoh Exp $

OpenXM_HOME=../..
PREFIX=${OpenXM_HOME}
DISTDIR=${OpenXM_HOME}/../OpenXM_dist
MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/
# Original. http://www.hboehm.info/gc/gc_source
DISTNAME=gc-7.4.2
DISTFILES=${DISTNAME}.tar.gz libatomic_ops-7.4.0.tar.gz

ASIR = ../../../OpenXM_contrib2/asir2018
PARI = ../pari

all: configure install-pari
	@if [ ! -f ./.make_done ]; then \
		(cd ${ASIR} ; ${MAKE} all) \
	fi
	@touch ./.make_done

all-nox: configure-nox install-pari
	@if [ ! -f ./.make_done ]; then \
		(cd ${ASIR} ; ${MAKE} all) \
	fi
	@touch ./.make_done

install: all
	(cd ${ASIR} ; ${MAKE} install-openxm)

clean:
	(cd ${ASIR} ; ${MAKE} clean)
	@rm -f ./.make_* ./.configure_* ./.install-* ./.fetch*

distclean: clean
	@cat BINARIES | xargs -t rm -rf

fetch:
	@if [ ! -f .fetch_done ]; then \
		for i in ${DISTFILES}; do \
			${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}$$i ${DISTDIR}; \
		done \
	fi
	@touch .fetch_done

configure: fetch
	@if [ ! -f ./.configure_done ]; then \
		(cd $(ASIR) ; \
            ./configure --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
	fi
	@touch ./.configure_done

configure-nox: fetch
	@if [ ! -f ./.configure_done ]; then \
		(cd $(ASIR) ; \
            ./configure --disable-plot --prefix="`cd ../../OpenXM; pwd`") \
	fi
	@touch ./.configure_done

configure-static: fetch
	@if [ ! -f ./.configure_done ]; then \
		(cd $(ASIR) ; \
            ./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
	fi
	@touch ./.configure_done

configure-interval: fetch
	@if [ ! -f ./.configure_done ]; then \
		(cd $(ASIR) ; \
            ./configure --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \
	fi
	@touch ./.configure_done

install-pari:
	@if [ ! -f ./.install-pari_done ]; then \
		(cd ${PARI} ; ${MAKE} install) \
	fi
	@touch ./.install-pari_done