]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/acic_content/Makefile
"21" -> "Implicit found"
[helm.git] / helm / software / components / acic_content / Makefile
1 PACKAGE = acic_content
2 PREDICATES =
3
4 INTERFACE_FILES =               \
5         content.mli             \
6         acic2content.mli        \
7         content2cic.mli         \
8         cicNotationUtil.mli     \
9         cicNotationEnv.mli      \
10         cicNotationPp.mli       \
11         acic2astMatcher.mli     \
12         termAcicContent.mli     \
13         $(NULL)
14 IMPLEMENTATION_FILES =          \
15         cicNotationPt.ml        \
16         $(INTERFACE_FILES:%.mli=%.ml)
17
18 include ../../Makefile.defs
19 include ../Makefile.common