buildTimeConf.cmo \
matitaGeneratedGui.cmo \
matitaTypes.cmo \
+ matitaCicMisc.cmo \
matitaGtkMisc.cmo \
matitaConsole.cmo \
matitaGui.cmo \
matitaProof.cmo \
matitaDisambiguator.cmo \
+ matitaMathView.cmo \
matitaInterpreter.cmo
CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))