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
%_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: