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