Commit 47b21ce4 authored by Andrei Paskevich's avatar Andrei Paskevich

install why3.a and why3.o

parent a421daaf
......@@ -247,8 +247,8 @@ install_no_local::
install_no_local_lib::
rm -rf $(OCAMLLIB)/why3
mkdir -p $(OCAMLLIB)/why3
cp -f lib/why3/why3.cm* $(OCAMLLIB)/why3
cp -f lib/why3/META $(OCAMLLIB)/why3
cp -f lib/why3/why3.cm* lib/why3/why3.[ao] \
lib/why3/META $(OCAMLLIB)/why3
ifeq (@enable_local@,yes)
install install-lib:
......
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