]> matita.cs.unibo.it Git - helm.git/blob - components/acic_procedural/Makefile
fix dependences for matita
[helm.git] / components / acic_procedural / Makefile
1 PACKAGE = acic_procedural
2 PREDICATES =
3
4 INTERFACE_FILES =                \
5         cicClassify.mli          \
6         proceduralConversion.mli \
7         proceduralTypes.mli      \
8         acic2Procedural.mli      \
9         $(NULL)
10 IMPLEMENTATION_FILES =           \
11         $(INTERFACE_FILES:%.mli=%.ml)
12
13 include ../../Makefile.defs
14 include ../Makefile.common