Commit c09f4de2 authored by Julien Lopez's avatar Julien Lopez

Patch make install

parent 9cfd0b92
......@@ -115,7 +115,7 @@ install_lib:
$(HIDE)(sed "s/%REQ%/$(PACKAGES)/" < META.in | sed "s/%VER%/$(VERSION)/" > META)
$(HIDE)-$(OCAMLFIND) remove cduce
$(HIDE)-$(OCAMLFIND) install cduce META \
cduce_lib.cmi cduce_lib.cma cduce_lib.cmxa cduce_lib.a \
lib/cduce_lib.cmi lib/cduce_lib.cma lib/cduce_lib.cmxa lib/cduce_lib.a \
uninstall:
......
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