Skip to content

Instantly share code, notes, and snippets.

@joelburget
Last active January 22, 2018 14:14
Show Gist options
  • Save joelburget/c21450d3781600a1d2275eac7ef58be4 to your computer and use it in GitHub Desktop.
Save joelburget/c21450d3781600a1d2275eac7ef58be4 to your computer and use it in GitHub Desktop.
jscoq build failure
❯ ./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