matitaMisc.cmo \
matitamakeLib.cmo \
matitaInit.cmo \
- disambiguatePp.cmo \
- matitaSync.cmo \
- matitaDisambiguator.cmo \
matitaExcPp.cmo \
matitaEngine.cmo \
matitacLib.cmo \
matitaMisc.cmo \
matitamakeLib.cmo \
matitaInit.cmo \
- disambiguatePp.cmo \
- matitaSync.cmo \
- matitaDisambiguator.cmo \
matitaExcPp.cmo \
matitaEngine.cmo \
matitacLib.cmo \
$(PROGRAMS_UPX) \
$(NULL)
-tests: matitac matitadep matitaclean
+tests: matitac matitadep matitaclean coq.moo
@-(cd library && make -k clean all)
@-(cd tests && make -k clean all)
@-(cd tests/bad_tests && make -k clean all)