OCAMLBUILD=@OCAMLBUILD@ -use-ocamlfind -no-links

prefix=@prefix@
exec_prefix=@exec_prefix@
bindir=@bindir@
datarootdir = ${prefix}/share
includedir = ${prefix}/include

LUSI_LIBS=include/math.lusi include/conv.lusi
LOCAL_BINDIR=../bin
LOCAL_DOCDIR=../doc/manual

all: lustrec lustret lustrev

lustrec:
	@echo Compiling binary lustrec
	@$(OCAMLBUILD) main_lustre_compiler.native
	@mkdir -p $(LOCAL_BINDIR)
	@mv _build/main_lustre_compiler.native $(LOCAL_BINDIR)/lustrec

lustret:
	@echo Compiling binary lustret
	@$(OCAMLBUILD) main_lustre_testgen.native
	@mkdir -p $(LOCAL_BINDIR)
	@mv _build/main_lustre_testgen.native $(LOCAL_BINDIR)/lustret

lustrev:
	@echo Compiling binary lustrev
	@$(OCAMLBUILD) main_lustre_verifier.native
	@mkdir -p $(LOCAL_BINDIR)
	@mv _build/main_lustre_verifier.native $(LOCAL_BINDIR)/lustrev

lustrei:
	@echo Compiling binary lustrei
	@$(OCAMLBUILD) tools/importer/main_lustre_importer.native
	@mkdir -p $(LOCAL_BINDIR)
	@mv _build/tools/importer/main_lustre_importer.native $(LOCAL_BINDIR)/lustrei

@lustresf_src@

doc:
	@echo Generating doc
	@$(OCAMLBUILD) lustrec.docdir/index.html
	@rm -rf $(LOCAL_DOCDIR)
	@cp -rf _build/lustrec.docdir $(LOCAL_DOCDIR)

dot: doc
	$(OCAMLBUILD) lustrec.docdir/lustrec.dot
	dot -T svg -o $(LOCAL_DOCDIR)/lustrec.svg _build/lustrec.docdir/lustrec.dot

clean:
	$(OCAMLBUILD) -clean

dist-clean: clean
	rm -f Makefile myocamlbuild.ml config.log config.status configure
	rm -f include/*.lusic include/math.h include/conv.h

install:
	make -C .. install

.PHONY: compile-lusi doc dot lustrec lustret lustrev lustrec.odocl clean install dist-clean tests