]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/extlib/Makefile
Reshaped structure of ocaml/ libraries.
[helm.git] / helm / ocaml / extlib / Makefile
index 76370ee7307ef7abfb4cee96f04c4ed9ded9b6b6..9f6267a06a579e9290ab0aeb3ae1b0000cb8e8de 100644 (file)
@@ -1,8 +1,10 @@
 PACKAGE = extlib
 PREDICATES =
 
-INTERFACE_FILES = \
-        hExtlib.mli 
+INTERFACE_FILES =              \
+        hExtlib.mli            \
+       patternMatcher.mli      \
+       $(NULL)
 IMPLEMENTATION_FILES = \
        $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =