From 6729388e9f51d7efb86ac64d10cc3eb4fffe44a0 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 4 Sep 2017 15:37:00 +0200 Subject: dev/build/windows/makecoq_mingw.sh: install camlp5's META file --- dev/build/windows/makecoq_mingw.sh | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'dev/build') diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh index f3e4cec0b..f12cbe0a7 100644 --- a/dev/build/windows/makecoq_mingw.sh +++ b/dev/build/windows/makecoq_mingw.sh @@ -910,6 +910,10 @@ function make_camlp5 { log2 make install # For some reason gramlib.a is not copied, but it is required by Coq cp lib/gramlib.a "$PREFIXOCAML/libocaml/camlp5/" + # For some reason META is not copied, but it is required by coq_makefile + log2 make -C etc META + mkdir -p "$PREFIXOCAML/libocaml/site-lib/camlp5/" + cp etc/META "$PREFIXOCAML/libocaml/site-lib/camlp5/" log2 make clean build_post fi -- cgit v1.2.3