]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/common/Makefile.overrides
- the mathql interpreter is not helm-dependent any more
[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) -package threads -c $<
5 threadSafe.cmx: threadSafe.ml threadSafe.cmi
6         $(OCAMLOPT) -package threads -c $<