Commit 112aa37f authored by MARCHE Claude's avatar MARCHE Claude

install why.o

parent f5efdfc0
......@@ -234,6 +234,7 @@ install_no_local_lib::
cp -f src/why3.cm* $(OCAMLLIB)/why3
cp -f META $(OCAMLLIB)/why3
if test -f src/why3.a; then cp -f src/why3.a $(OCAMLLIB)/why3; fi
if test -f src/why3.o; then cp -f src/why3.o $(OCAMLLIB)/why3; fi
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