Last active
January 22, 2018 14:14
-
-
Save joelburget/c21450d3781600a1d2275eac7ef58be4 to your computer and use it in GitHub Desktop.
jscoq build failure
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
❯ ./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//kernel/byterun:/Users/joel/.opam/4.06.0/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//lib/clib.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//lib/lib.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//intf/intf.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//kernel/kernel.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//library/library.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//engine/engine.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//pretyping/pretyping.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//interp/interp.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//proofs/proofs.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//parsing/parsing.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//printing/printing.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//tactics/tactics.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//vernac/vernac.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//stm/stm.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//toplevel/toplevel.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//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/lib/camlp5 -I /Users/joel/.opam/4.06.0/lib/bytes -I /Users/joel/.opam/4.06.0/lib/uchar -I /Users/joel/.opam/4.06.0/lib/js_of_ocaml -I /Users/joel/.opam/4.06.0/lib/js_of_ocaml-ppx -I /Users/joel/.opam/4.06.0/lib/result -I /Users/joel/.opam/4.06.0/lib/lwt -I /Users/joel/.opam/4.06.0/lib/js_of_ocaml-lwt -I /Users/joel/.opam/4.06.0/lib/easy-format -I /Users/joel/.opam/4.06.0/lib/biniou -I /Users/joel/.opam/4.06.0/lib/yojson -I /Users/joel/.opam/4.06.0/lib/ppx_deriving -I /Users/joel/.opam/4.06.0/lib/ppx_deriving_yojson -ppx "/Users/joel/.opam/4.06.0/lib/js_of_ocaml-ppx/./ppx.exe --as-ppx" -ppx "/Users/joel/.opam/4.06.0/lib/ppx_deriving/./ppx_deriving /Users/joel/.opam/4.06.0/lib/ppx_deriving_yojson/./ppx_deriving_yojson.cma" /Users/joel/.opam/4.06.0/lib/ocaml/unix.cma /Users/joel/.opam/4.06.0/lib/ocaml/threads/threads.cma /Users/joel/.opam/4.06.0/lib/ocaml/str.cma /Users/joel/.opam/4.06.0/lib/ocaml/dynlink.cma /Users/joel/.opam/4.06.0/lib/camlp5/gramlib.cma /Users/joel/.opam/4.06.0/lib/js_of_ocaml/js_of_ocaml.cma /Users/joel/.opam/4.06.0/lib/result/result.cma /Users/joel/.opam/4.06.0/lib/lwt/lwt.cma /Users/joel/.opam/4.06.0/lib/js_of_ocaml-lwt/js_of_ocaml_lwt.cma /Users/joel/.opam/4.06.0/lib/easy-format/easy_format.cma /Users/joel/.opam/4.06.0/lib/biniou/biniou.cma /Users/joel/.opam/4.06.0/lib/yojson/yojson.cma /Users/joel/.opam/4.06.0/lib/ppx_deriving/ppx_deriving_runtime.cma /Users/joel/.opam/4.06.0/lib/ppx_deriving_yojson/ppx_deriving_yojson_runtime.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//lib/clib.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//lib/lib.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//intf/intf.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//kernel/kernel.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//library/library.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//engine/engine.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//pretyping/pretyping.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//interp/interp.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//proofs/proofs.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//parsing/parsing.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//printing/printing.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//tactics/tactics.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//vernac/vernac.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//stm/stm.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//toplevel/toplevel.cma /Users/joel/code/coq/jscoq//coq-external/coq-v8.7//parsing/highparsing.cma /Users/joel/.opam/4.06.0/lib/ocaml/nums.cma jslib.cmo icoq.cmo jslibmng.cmo jscoq.cmo | |
+ cc -O2 -pipe -O2 -fno-strict-aliasing -fwrapv -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-no_compact_unwind -o 'jscoq.byte' '-L/Users/joel/.opam/4.06.0/lib/camlp5' '-L/Users/joel/.opam/4.06.0/lib/bytes' '-L/Users/joel/.opam/4.06.0/lib/uchar' '-L/Users/joel/.opam/4.06.0/lib/js_of_ocaml' '-L/Users/joel/.opam/4.06.0/lib/js_of_ocaml-ppx' '-L/Users/joel/.opam/4.06.0/lib/result' '-L/Users/joel/.opam/4.06.0/lib/lwt' '-L/Users/joel/.opam/4.06.0/lib/js_of_ocaml-lwt' '-L/Users/joel/.opam/4.06.0/lib/easy-format' '-L/Users/joel/.opam/4.06.0/lib/biniou' '-L/Users/joel/.opam/4.06.0/lib/yojson' '-L/Users/joel/.opam/4.06.0/lib/ppx_deriving' '-L/Users/joel/.opam/4.06.0/lib/ppx_deriving_yojson' '-L/Users/joel/.opam/4.06.0/lib/ocaml/threads' '-L/Users/joel/.opam/4.06.0/lib/ocaml' '/var/folders/81/bs1ndxhx071gswfm7920bcyr0000gn/T/camlprimc08a16.c' '-lnums' '-ljs_of_ocaml_stubs' '-lcamlstr' '-lthreads' '-lunix' '-lpthread' '-lunix' '-lcamlrun' -I'/Users/joel/.opam/4.06.0/lib/ocaml' -lcurses -lpthread | |
Undefined symbols for architecture x86_64: | |
"_accumulate_code", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_closure_arity", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_eval_tcode", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_int_tcode", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_interprete_ml", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_is_accumulate_code", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_kind_of_closure", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_makeaccu", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_offset", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_offset_closure", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_offset_tcode", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_push_arguments", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_push_ra", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_push_val", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_push_vstack", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_pushpop", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_set_drawinstr", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_coq_tcode_of_code", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_get_coq_atom_tbl", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_get_coq_global_data", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_init_coq_vm", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_realloc_coq_atom_tbl", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
"_realloc_coq_global_data", referenced from: | |
_caml_builtin_cprim in camlprimc08a16-7668ef.o | |
ld: symbol(s) not found for architecture x86_64 | |
clang: error: linker command failed with exit code 1 (use -v to see invocation) | |
File "_none_", line 1: | |
Error: Error while building custom runtime system | |
ocamlc.opt returned with exit code 2 | |
make[1]: *** [jscoq.byte] Error 2 | |
make: *** [jscoq32] Error 2 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment