cic \
cic_proof_checking \
cic_acic \
+ cic_exportation \
metadata \
library \
acic_content \
whelp \
tactics \
acic_procedural \
+ disambiguation \
cic_disambiguation \
lexicon \
+ ng_kernel \
+ ng_refiner \
+ ng_disambiguation \
grafite_engine \
grafite_parser \
tptp_grafite \
endif
all: metas $(MODULES:%=rec@all@%)
-opt: metas $(MODULES:%=rec@opt@%)
+opt: metas syntax-extensions $(MODULES:%=rec@opt@%)
ifeq ($(HAVE_OCAMLOPT),yes)
world: opt