]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/common/Makefile.overrides
62506b5052df8edc5d5df2394358724e36e6d0aa
[helm.git] / helm / hbugs / common / Makefile.overrides
1 hbugs_types.cmi hbugs_types.cmo: hbugs_types.ml
2         $(OCAMLC) -c $<
3 threadSafe.cmi threadSafe.cmo: threadSafe.ml
4         $(OCAMLC) -thread -package threads -c $<
5 threadSafe.cmx: threadSafe.ml threadSafe.cmi
6         $(OCAMLOPT) -thread -package threads -c $<