3 LOCALLINKOPTS = -package helm-cic_disambiguation,helm-content_pres,helm-grafite,helm-grafite_parser,helm-tactics
5 include ../../Makefile.common
7 all $(PACKAGE).cma :saturate
9 opt $(PACKAGE).cmxa:saturate.opt
12 saturate: saturate_main.ml $(LIBRARIES)
14 @$(OCAMLC) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
15 saturate.opt: saturate_main.ml $(LIBRARIES)
17 @$(OCAMLOPT) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
20 rm -f saturate saturate.opt