3 LOCALLINKOPTS = -package helm-cic_disambiguation,helm-content_pres,helm-grafite,helm-grafite_parser,helm-tactics
5 saturate: saturate_main.ml $(LIBRARIES)
6 $(OCAMLC) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
7 saturate.opt: saturate_main.ml $(PARAMOD_OBJS_OPT) $(LIBRARIES)
8 $(OCAMLOPT) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $(PARAMOD_OBJS_OPT) <
11 rm saturate saturate.cmo saturate.cmx
13 include ../../Makefile.common