]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/acic_procedural/Makefile
added config.ac to the tarball for debian packages
[helm.git] / helm / software / components / acic_procedural / Makefile
1 PACKAGE = acic_procedural
2 PREDICATES =
3
4 INTERFACE_FILES =                \
5         proceduralHelpers.mli    \
6         proceduralClassify.mli   \
7         proceduralOptimizer.mli  \
8         proceduralTypes.mli      \
9         proceduralMode.mli       \
10         proceduralConversion.mli \
11         procedural1.mli          \
12         procedural2.mli          \
13         proceduralTeX.mli        \
14         acic2Procedural.mli      \
15         $(NULL)
16 IMPLEMENTATION_FILES =           \
17         $(INTERFACE_FILES:%.mli=%.ml)
18
19 include ../../Makefile.defs
20 include ../Makefile.common