PACKAGE = dummy

LOCALLINKOPTS = -package helm-cic_disambiguation,helm-content_pres,helm-grafite,helm-grafite_parser,helm-tactics

include ../../../Makefile.defs
include ../../Makefile.common

all $(PACKAGE).cma :saturate 
	@echo -n
opt $(PACKAGE).cmxa:saturate.opt
	@echo -n

saturate: saturate_main.ml $(LIBRARIES)
	@echo "  OCAMLC $<"
	@$(OCAMLC) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
saturate.opt: saturate_main.ml $(LIBRARIES)
	@echo "  OCAMLOPT $<"
	@$(OCAMLOPT) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<

clean:
	rm -f saturate saturate.opt