PREDICATES =
INTERFACE_FILES = \
+ metadataTypes.mli \
metadataExtractor.mli \
metadataPp.mli \
metadataDb.mli \
- metadataConstraints.mli
-IMPLEMENTATION_FILES = metadataTypes.ml $(INTERFACE_FILES:%.mli=%.ml)
+ metadataConstraints.mli
+IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
EXTRA_OBJECTS_TO_INSTALL =
EXTRA_OBJECTS_TO_CLEAN =