]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/tutors/Makefile
added support for slaves killing
[helm.git] / helm / hbugs / tutors / Makefile
index 6a3f718d59a7aed1d75387112a113dc1c7b69d9d..65c559bd56070d3a3f61500777902344c1dab100 100644 (file)
@@ -16,7 +16,7 @@ BUILD_TUTORS = ./build_tutors.ml
 CTL = ./sabba.sh
 TUTORS_OPT = $(patsubst %,%.opt,$(TUTORS))
 GENERATED_TUTORS_SRC = $(patsubst %,%.ml,$(GENERATED_TUTORS))
-COMMON = hbugs_tutors_common.cmo
+COMMON = hbugs_deity.cmo hbugs_tutors_common.cmo
 COMMON_OPT = $(patsubst %.cmo,%.cmx,$(COMMON))
 
 all: byte
@@ -35,11 +35,11 @@ $(GENERATED_TUTORS_SRC): $(TUTORS_TEMPLATE) $(TUTORS_INDEX)
 %_tutor.opt: $(COMMON_OPT) %_tutor.ml
        $(OCAMLOPT) $(LINK_OPTIONS) -o $@ $^
 
-hbugs_tutors_common.cmi: hbugs_tutors_common.mli
+%.cmi: %.mli
        $(OCAMLC) -c $<
-$(COMMON): hbugs_tutors_common.ml hbugs_tutors_common.cmi
+%.cmo: %.ml %.cmi
        $(OCAMLC) -c $<
-$(COMMON_OPT): hbugs_tutors_common.ml
+%.cmx: %.ml %.cmi
        $(OCAMLOPT) -c $<
 
 clean: