]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/Makefile
- bugfix: installs also cmi for modules which doesn't have mli
[helm.git] / helm / DEVEL / ocaml-http / Makefile
index 94e38968584fb865b722fb6753c9f33c8b308c0e..90ab28781a500ab06f3721cc8ce253d47feabf9b 100644 (file)
@@ -102,6 +102,7 @@ install: META
                $(patsubst %, %.mli, $(PUBLIC_MODULES)) \
                $(patsubst %, %.ml, $(PUBLIC_IMPL))     \
                $(patsubst %, %.cmi, $(PUBLIC_MODULES)) \
+               $(patsubst %, %.cmi, $(PUBLIC_IMPL))    \
                http{,_mt}.cm{,x}a http{,_mt}.a META
 
 .PHONY:        \