From 112aa37f9607fce5b2c8c013bee92fa1f3948e87 Mon Sep 17 00:00:00 2001 From: Claude Marche Date: Thu, 5 Jan 2012 09:18:52 +0100 Subject: [PATCH] install why.o --- Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.in b/Makefile.in index d799721b7..f9d7045c7 100644 --- a/Makefile.in +++ b/Makefile.in @@ -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: -- GitLab