CristalCaveGem » LustreC

OCAMLBUILD=@OCAMLBUILD@ -classic-display -no-links 

prefix=@prefix@

exec_prefix=@exec_prefix@

bindir=@bindir@

datarootdir = ${prefix}/share

includedir = ${prefix}/include

LUSI_LIBS=include/math.lusi include/conv.lusi

LUSI_MPFR_LIB=include/mpfr_lustre.lusi

LOCAL_BINDIR=bin

LOCAL_DOCDIR=doc/manual

all: lustrec lustret

lustrec:

	@echo Compiling binary lustrec

	@make -C src lustrec

lustret:

	@echo Compiling binary lustret

	@make -C src lustret

configure: configure.ac

	@echo configure.ac has changed relaunching autoconf

	@autoconf

Makefile: Makefile.in config.status configure

	@echo Makefile.in has changed relaunching autoconf

	@./config.status --recheck

doc:

	@echo Generating doc

	@make -C src doc

dot: doc

	@make -C src dot

clean: clean-lusic

	@make -C src clean

dist-src-clean: clean

	@rm -f config.log config.status include/*.lusic include/math.h include/conv.h include/mpfr_lustre.h

DIST_ARCHIVE_NAME=lustrec-$(shell $(LOCAL_BINDIR)/lustrec -version | grep version | cut -d, -f 2 | sed -e "s/ version //" -e "s/ (/-/" -e "s/ /-/" -e "s/\//-/" -e "s/)//")-src.tar.gz

dist-gzip: $(LOCAL_BINDIR)/lustrec dist-src-clean

	@rm -f $(shell ls ../*lustrec*src*tar.gz)

	@tar zcvf ../$(DIST_ARCHIVE_NAME) -C .. --exclude-vcs --exclude=Makefile  --exclude=$(LOCAL_BINDIR) $(shell basename $(PWD))

	@echo "Source distribution built: ../$(DIST_ARCHIVE_NAME)"

dist-clean: dist-src-clean

	@rm -f configure Makefile

%.lusic: %.lusi

	@echo Compiling $<

	@$(LOCAL_BINDIR)/lustrec -verbose 0 -d include $< 

clean-lusic:

	@rm -f $(LUSI_LIBS:%.lusi=%.lusic)

	@rm -f $(LUSI_MPFR_LIB:%.lusi=%.lusic)

compile-lusi: $(LUSI_LIBS:%.lusi=%.lusic)

compile-mpfr-lusi: $(LUSI_MPFR_LIB)

	@echo Compiling $<

	@$(LOCAL_BINDIR)/lustrec -verbose 0 -mpfr 1 -d include $<

install: clean-lusic compile-lusi compile-mpfr-lusi

	mkdir -p ${bindir}

	install -m 0755 $(LOCAL_BINDIR)/* ${bindir}

	mkdir -p ${includedir}/lustrec

	cp include/* ${includedir}/lustrec

	mkdir -p ${datarootdir}

	install -m 0655 share/FindLustre.cmake ${datarootdir}

.PHONY: all compile-lusi doc dot lustrec lustrec.odocl clean install dist-clean