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