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