3 LOCALLINKOPTS = -package helm-cic_disambiguation,helm-content_pres,helm-grafite,helm-grafite_parser,helm-tactics
5 include ../../../Makefile.defs
6 include ../../Makefile.common
8 all $(PACKAGE).cma :saturate
10 opt $(PACKAGE).cmxa:saturate.opt
13 saturate: saturate_main.ml $(LIBRARIES)
15 @$(OCAMLC) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
16 saturate.opt: saturate_main.ml $(LIBRARIES)
18 @$(OCAMLOPT) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
21 rm -f saturate saturate.opt