matitaGeneratedGui.ml matitaGeneratedGui.mli: matita.glade
$(H)$(LABLGLADECC) -embed $< > matitaGeneratedGui.ml
+ $(H)rm -f matitaGeneratedGui.mli
$(H)#$(OCAMLC) $(PKGS) -i matitaGeneratedGui.ml > matitaGeneratedGui.mli
.PHONY: clean
TEST_DIRS = \
library \
tests \
- tests/bad_tests \
contribs/LAMBDA-TYPES \
contribs/PREDICATIVE-TOPOLOGY \
$(NULL)