all:build

include ./Makefile.version
-include mymakefile

slink:
	rm -f bin lib include
	ln -s $(HOSTTYPE)/bin
	ln -s $(HOSTTYPE)/lib
	ln -s $(HOSTTYPE)/include

# to run after a 'git clone', or a change in the ocaml version, or to compile on another arch

build:  setup.data
	ocaml setup.ml -build

setup.ml:_oasis lutin/src/version.ml polka/vector.ml lutin-utils/src/lutinutils.ml
	oasis setup 

# a clutch because oasis does not support camlidl
polka/vector.ml: polka/vector.idl
	cd polka; make idl

lutin-utils/src/lutinutils.ml: lutin-utils/src/lutinUtils.idl
	cd lutin-utils/src/; make 

setup.data:configure
configure: setup.ml
	ocaml setup.ml -configure \
		--prefix $(LURETTE_PATH) \
		--exec-prefix $(LURETTE_PATH)/$(HOSTTYPE) \
		--enable-tests


utest: build  
	 ./ounitTestRun.native -output-html-dir test/html  -output-junit-file test/result-junit.xml


.PHONY:doc
doc:
	ocaml setup.ml -doc

install:
	ocaml setup.ml -install
	cp lutin/src/lut4c_stubs.h $(shell ocamlc -where)/../lutin/

uninstall:
	ocaml setup.ml -uninstall

reinstall:
	ocaml setup.ml -reinstall
	cp lutin/src/lut4c_stubs.h $(shell ocamlc -where)/../lutin/


AR=ar
XXX= -I +ezdl -cclib -lezdl ezdl.cmxa
# essayons a la main
xxx:
	cd _build/lutin/src;	\
      ocamlopt -output-obj  \
      -I +rdbg-plugin   \
      str.cmxa unix.cmxa nums.cmxa rdbg-plugin.cmxa  \
      ../../polka/polka.cmxa ../../gbddml/gbddml.cmxa \
		$(XXX) \
		-o lut4c_lib.o \
		version.cmx lutVersion.cmx lexeme.cmx utils.cmx util.cmx sol_nb.cmx type.cmx prevar.cmx value.cmx var.cmx exp.cmx ne.cmx constraint.cmx   gne.cmx thickness.cmx poly_draw.cmx polyhedron.cmx formula_to_bdd.cmx store.cmx draw.cmx bddd.cmx fair_bddd.cmx solver.cmx prog.cmx fGen.cmx lucFGen.cmx lucky.cmx rif.cmx  reactive.cmx exprUtil.cmx expEval.cmx verbose.cmx lutErrors.cmx lutParser.cmx lutLexer.cmx syntaxe.cmx parsers.cmx syntaxeDump.cmx ckTypeEff.cmx ckIdentInfo.cmx checkEnv.cmx lutPredef.cmx checkType.cmx coIdent.cmx coAlgExp.cmx coTraceExp.cmx glue.cmx guard.cmx expand.cmx loopWeights.cmx  autoGen.cmx auto2Lucky.cmx   lutProg.cmx  luc2alice.cmx luc2c.cmx mainArg.cmx lutExe.cmx lut4c.cmx ;
	[ -d tmp_dir ] || mkdir tmp_dir && \
	cd tmp_dir && rm -f * && \
	$(AR) rcs  liblut4c.a   ../lut4c_lib.o  ../lut4c_stubs.o && \
	$(AR) x $(shell ocamlc -where)/libasmrun.a  &&\
	$(AR) q liblut4c.a *.o  && rm *.o  &&\
	cp  liblut4c.a .. 





distclean:
	ocaml setup.ml -distclean
	rm -rf _build/src


BIN_INSTALL_DIR=$(HOSTTYPE)/bin
cpcomp:
	cp `which lus2lic$(EXE)`  $(BIN_INSTALL_DIR) || true 
	cp `which lus2ec`  $(BIN_INSTALL_DIR) || true 
	cp `which ecexe$(EXE)`  $(BIN_INSTALL_DIR) || true 
	cp `which ec2c$(EXE)`  $(BIN_INSTALL_DIR) || true 
	cp `which simec$(EXE)`  $(BIN_INSTALL_DIR) || true 


.PHONY: test slink
test: slink cpcomp
	cd examples && make test


pull-pascal:
	git pull ~raymond/git/lurette

pull-erwan:
	git pull ~jahier/lurette

###############################
# for developpers
include ./Makefile.dev