diff options
| author | Enrico Tassi | 2020-04-06 10:10:49 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-05-07 14:02:53 +0200 |
| commit | dd902173dd22bd603792f786b9f0abfa417b17a1 (patch) | |
| tree | 79fc7cb3e3be49196be6f8418a6e9765b5ea9ef5 /dev/build | |
| parent | d93b46d73b65135ab2714fa58044f53966bc4050 (diff) | |
[win] bump camlp5 to 7.11 since OCaml 4.08 requires it
Also fix an installation issue
Diffstat (limited to 'dev/build')
| -rwxr-xr-x | dev/build/windows/makecoq_mingw.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh index 5c3155cd16..10c85c686e 100755 --- a/dev/build/windows/makecoq_mingw.sh +++ b/dev/build/windows/makecoq_mingw.sh @@ -1102,13 +1102,14 @@ function make_camlp5 { make_ocaml make_findlib - if build_prep https://github.com/camlp5/camlp5/archive rel707 tar.gz 1 camlp5-rel707; then + if build_prep https://github.com/camlp5/camlp5/archive rel711 tar.gz 1 camlp5-rel711; then logn configure ./configure # Somehow my virus scanner has the boot.new/SAVED directory locked after the move for a second => repeat until success sed -i 's/mv boot.new boot/until mv boot.new boot; do sleep 1; done/' Makefile # shellcheck disable=SC2086 log1 make world.opt $MAKE_OPT log2 make install + cp lib/*.a "$PREFIXOCAML/libocaml/camlp5/" log2 make clean # For some reason META is not built / copied, but it is required log2 make -C etc META |