Apparently there are issues when ocamlc is used as a C driver. This reverts commit 5eaaf40c379c9f7239b3fe7660c062211ce7aa4a.
Unified · Split
| @@ -73,9 +73,7 @@ oincs() { · 72 unmodified lines | ||
| 73 | 73 | oflags() { |
| 74 | 74 | case "${1#$outd/}" in |
| 75 | 75 | lablGL/*) f="-g";; |
| 76 | − utf8syms.cm*|confstruct.cm*|config.cm*|ffi.cm*) | |
| 77 | − f="-g -strict-sequence -strict-formats -alert @all-missing-mli";; | |
| 78 | − *) f="-g -strict-sequence -strict-formats -alert @all";; | |
| 76 | + *) f="-g -strict-sequence -strict-formats -alert @all -warn-error @A";; | |
| 79 | 77 | esac |
| 80 | 78 | echo $(oincs $outd $1) $f |
| 81 | 79 | } |
| @@ -104,8 +102,8 @@ mflags() { · 22 unmodified lines | ||
| 104 | 102 | } |
| 105 | 103 | |
| 106 | 104 | overs=$(ocamlc -vnum 2>/dev/null) || overs="" |
| 107 | −if test "$overs" != "4.13.0~alpha1"; then | |
| 108 | − url=https://caml.inria.fr/pub/distrib/ocaml-4.13/ocaml-4.13.0~alpha1.tar.xz | |
| 105 | +if test "$overs" != "4.12.0"; then | |
| 106 | + url=https://caml.inria.fr/pub/distrib/ocaml-4.12/ocaml-4.12.0.tar.xz | |
| 109 | 107 | txz=$outd/$(basename $url) |
| 110 | 108 | keycmd="printf $url; digest $txz;" |
| 111 | 109 | isfresh $txz "$(eval $keycmd)" || { |