]> matita.cs.unibo.it Git - helm.git/blobdiff - components/metadata/Makefile
New module to extract from the Db direct and inverse dependencies starting from
[helm.git] / components / metadata / Makefile
index 6c9aa763c535a934c394beaa95ef425d79813301..9943237dd59be199131cf93519c1439bc364a7ca 100644 (file)
@@ -7,7 +7,9 @@ INTERFACE_FILES = \
        metadataExtractor.mli \
        metadataPp.mli \
        metadataConstraints.mli \
-       metadataDb.mli 
+       metadataDb.mli \
+       metadataDeps.mli \
+       $(NULL)
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
 EXTRA_OBJECTS_TO_CLEAN =