]> matita.cs.unibo.it Git - helm.git/blob - cic_transformations/Makefile
made executable again
[helm.git] / cic_transformations / Makefile
1 PACKAGE = cic_transformations
2 REQUIRES =                      \
3         gdome2                  \
4         helm-xml                \
5         helm-cic_proof_checking \
6         helm-cic_omdoc          \
7         helm-registry           \
8         helm-utf8_macros        \
9         helm-cic_notation       \
10         $(NULL)
11 PREDICATES =
12
13 # modules which have both a .ml and a .mli
14 INTERFACE_FILES =               \
15         cic2Xml.mli             \
16         content2pres.mli        \
17         sequent2pres.mli        \
18         domMisc.mli             \
19         xml2Gdome.mli           \
20         applyTransformation.mli \
21         $(NULL)
22 IMPLEMENTATION_FILES = \
23         $(INTERFACE_FILES:%.mli=%.ml)
24 EXTRA_OBJECTS_TO_INSTALL =
25 EXTRA_OBJECTS_TO_CLEAN =
26
27 all:
28
29 clean: extra_clean
30 distclean: extra_clean
31 extra_clean:
32         rm -f make_table
33
34 include ../Makefile.common