hbugs_types.cmi hbugs_types.cmo: hbugs_types.ml
	$(OCAMLC) -c $<
threadSafe.cmi threadSafe.cmo: threadSafe.ml
	$(OCAMLC) -package threads -c $<
threadSafe.cmx: threadSafe.ml threadSafe.cmi
	$(OCAMLOPT) -package threads -c $<