]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_notation/Makefile
packaging cleanup: get rid of ancient debhelpers, use dh_install
[helm.git] / helm / ocaml / cic_notation / Makefile
index 38859414d27a4dba7bb4d68b12ca23490c2f3d0f..61c3f6d08f22a9291434ff3939d863937f0fbacc 100644 (file)
@@ -5,22 +5,27 @@ REQUIRES = \
        helm-cic                \
        helm-utf8_macros        \
        camlp4.gramlib          \
-       helm-cic_transformations\
        helm-cic_proof_checking \
        ulex                    \
        $(NULL)
 INTERFACE_FILES = \
+       renderingAttrs.mli      \
        cicNotationUtil.mli     \
        cicNotationTag.mli      \
        cicNotationLexer.mli    \
        cicNotationEnv.mli      \
        cicNotationPp.mli       \
+       grafiteAstPp.mli        \
        cicNotationMatcher.mli  \
        cicNotationFwd.mli      \
+       cicNotationRew.mli      \
        cicNotationParser.mli   \
        grafiteParser.mli       \
-       cicNotationRew.mli      \
+       mpresentation.mli       \
+       box.mli                 \
        cicNotationPres.mli     \
+       boxPp.mli               \
+       cicNotation.mli         \
        $(NULL)
 IMPLEMENTATION_FILES = \
        cicNotationPt.ml        \