]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/acic_content/Makefile
subst_vars optimized for the explicit_named_subst=[] case (the most common
[helm.git] / helm / ocaml / acic_content / Makefile
1 PACKAGE = acic_content
2 PREDICATES =
3
4 INTERFACE_FILES =               \
5         content.mli             \
6         contentPp.mli           \
7         acic2content.mli        \
8         content2cic.mli         \
9         cicNotationUtil.mli     \
10         cicNotationEnv.mli      \
11         cicNotationPp.mli       \
12         acic2astMatcher.mli     \
13         termAcicContent.mli     \
14         $(NULL)
15 IMPLEMENTATION_FILES =          \
16         cicNotationPt.ml        \
17         $(INTERFACE_FILES:%.mli=%.ml)
18
19 include ../Makefile.common