Commit 257b1cbb authored by Julien Lopez's avatar Julien Lopez
Browse files

Fix library setup of make install

parent e9ffdf1a
......@@ -114,7 +114,7 @@ install_lib:
$(HIDE)(sed "s/%REQ%/$(PACKAGES)/" < | sed "s/%VER%/$(VERSION)/" > META)
$(HIDE)-$(OCAMLFIND) remove cduce
$(HIDE)-$(OCAMLFIND) install cduce META \
cduce_lib.cmi $(wildcard *.cma) $(wildcard *.cmxa) $(wildcard *.a) \
cduce_lib.cmi cduce_lib.cma cduce_lib.cmxa cduce_lib.a \
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment