]> matita.cs.unibo.it Git - helm.git/blobdiff - components/metadata/Makefile
now destruct takes an optional list of term rather than a sigle optional term
[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 =