build.sh output

log

❯ ./build.sh
# To setup the new switch in the current shell, you need to run:
eval (opam config env)
/Applications/Xcode.app/Contents/Developer/usr/bin/make -C coq-js jscoq32
CAML_LD_LIBRARY_PATH=/Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//kernel/byterun:/Users/joel/.opam/4.06.0+32bit/lib/stublibs \
	ocamlfind ocamlc -rectypes -safe-string  -w @a-39-44-45 -w -31 -linkall -linkpkg -thread -verbose  \
	   -package str,dynlink,threads,camlp5,camlp5.gramlib                     \
	   -package js_of_ocaml-ppx,js_of_ocaml-lwt,yojson,ppx_deriving_yojson /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//lib/clib.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//lib/lib.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//intf/intf.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//kernel/kernel.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//library/library.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//engine/engine.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//pretyping/pretyping.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//interp/interp.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//proofs/proofs.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//parsing/parsing.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//printing/printing.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//tactics/tactics.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//vernac/vernac.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//stm/stm.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//toplevel/toplevel.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//parsing/highparsing.cma                                                \
           +nums.cma jslib.cmo icoq.cmo jslibmng.cmo jscoq.cmo -o jscoq.byte
Effective set of compiler predicates: pkg_unix,pkg_threads.posix,pkg_threads,pkg_str,pkg_dynlink,pkg_camlp5,pkg_camlp5.gramlib,pkg_bytes,pkg_uchar,pkg_js_of_ocaml,pkg_js_of_ocaml-ppx,pkg_result,pkg_lwt,pkg_js_of_ocaml-lwt,pkg_easy-format,pkg_biniou,pkg_yojson,pkg_ppx_deriving.runtime,pkg_ppx_deriving,pkg_ppx_deriving_yojson.runtime,pkg_ppx_deriving_yojson,autolink,mt,mt_posix,byte
+ ocamlc.opt -rectypes -safe-string -w @a-39-44-45 -w -31 -linkall -verbose -o jscoq.byte -thread -I /Users/joel/.opam/4.06.0+32bit/lib/camlp5 -I /Users/joel/.opam/4.06.0+32bit/lib/bytes -I /Users/joel/.opam/4.06.0+32bit/lib/uchar -I /Users/joel/.opam/4.06.0+32bit/lib/js_of_ocaml -I /Users/joel/.opam/4.06.0+32bit/lib/js_of_ocaml-ppx -I /Users/joel/.opam/4.06.0+32bit/lib/result -I /Users/joel/.opam/4.06.0+32bit/lib/lwt -I /Users/joel/.opam/4.06.0+32bit/lib/js_of_ocaml-lwt -I /Users/joel/.opam/4.06.0+32bit/lib/easy-format -I /Users/joel/.opam/4.06.0+32bit/lib/biniou -I /Users/joel/.opam/4.06.0+32bit/lib/yojson -I /Users/joel/.opam/4.06.0+32bit/lib/ppx_deriving -I /Users/joel/.opam/4.06.0+32bit/lib/ppx_deriving_yojson -ppx "/Users/joel/.opam/4.06.0+32bit/lib/js_of_ocaml-ppx/./ppx.exe --as-ppx" -ppx "/Users/joel/.opam/4.06.0+32bit/lib/ppx_deriving/./ppx_deriving /Users/joel/.opam/4.06.0+32bit/lib/ppx_deriving_yojson/./ppx_deriving_yojson.cma" /Users/joel/.opam/4.06.0+32bit/lib/ocaml/unix.cma /Users/joel/.opam/4.06.0+32bit/lib/ocaml/threads/threads.cma /Users/joel/.opam/4.06.0+32bit/lib/ocaml/str.cma /Users/joel/.opam/4.06.0+32bit/lib/ocaml/dynlink.cma /Users/joel/.opam/4.06.0+32bit/lib/camlp5/gramlib.cma /Users/joel/.opam/4.06.0+32bit/lib/js_of_ocaml/js_of_ocaml.cma /Users/joel/.opam/4.06.0+32bit/lib/result/result.cma /Users/joel/.opam/4.06.0+32bit/lib/lwt/lwt.cma /Users/joel/.opam/4.06.0+32bit/lib/js_of_ocaml-lwt/js_of_ocaml_lwt.cma /Users/joel/.opam/4.06.0+32bit/lib/easy-format/easy_format.cma /Users/joel/.opam/4.06.0+32bit/lib/biniou/biniou.cma /Users/joel/.opam/4.06.0+32bit/lib/yojson/yojson.cma /Users/joel/.opam/4.06.0+32bit/lib/ppx_deriving/ppx_deriving_runtime.cma /Users/joel/.opam/4.06.0+32bit/lib/ppx_deriving_yojson/ppx_deriving_yojson_runtime.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//lib/clib.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//lib/lib.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//intf/intf.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//kernel/kernel.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//library/library.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//engine/engine.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//pretyping/pretyping.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//interp/interp.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//proofs/proofs.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//parsing/parsing.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//printing/printing.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//tactics/tactics.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//vernac/vernac.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//stm/stm.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//toplevel/toplevel.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7+32bit//parsing/highparsing.cma /Users/joel/.opam/4.06.0+32bit/lib/ocaml/nums.cma jslib.cmo icoq.cmo jslibmng.cmo jscoq.cmo
Fatal error: exception Failure("input_value: integer too large")
ocamlc.opt returned with exit code 2
make[1]: *** [jscoq.byte] Error 2
make: *** [jscoq32] Error 2