matitaGeneratedGui.ml matitaGeneratedGui.mli: matita.glade
$(LABLGLADECC) $< > matitaGeneratedGui.ml
- $(OCAMLC) -i matitaGeneratedGui.ml > matitaGeneratedGui.mli
+ $(OCAMLC) $(PKGS) -i matitaGeneratedGui.ml > matitaGeneratedGui.mli
%.cmi: %.mli
$(OCAMLC) $(PKGS) -c $<