cic \
cic_proof_checking \
cic_acic \
+ cic_exportation \
metadata \
library \
acic_content \
endif
all: metas $(MODULES:%=rec@all@%)
-opt: metas $(MODULES:%=rec@opt@%)
+opt: metas syntax-extensions $(MODULES:%=rec@opt@%)
ifeq ($(HAVE_OCAMLOPT),yes)
world: opt
$(H)$(MAKE) -C syntax_extensions
depend: syntax-extensions $(MODULES:%=rec@depend@%)
depend.opt: syntax-extensions $(MODULES:%=rec@depend.opt@%)
-install: $(MODULES:%=rec@install@%)
+install-arch: $(MODULES:%=rec@install@%)
+install-indep:
uninstall: $(MODULES:%=rec@uninstall@%)
clean: $(MODULES:%=rec@clean@%) clean_metas