termite-analyser / termite Goto Github PK

...
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- File "src/smtgraph.mli", line 12, characters 19-29:
- Error: Unbound module ZZ3_sigs
- Command exited with code 2.
- E: Failure("Command ''/home/<user>/.opam/4.06.1/bin/ocamlbuild' src/llvm2smt.cma src/llvm2smt.cmxa src/llvm2smt.a src/llvm2smt.cmxs -tag debug' terminated with error code 10")

[ERROR] The compilation of llvm2smt failed at "/home/<user>/.opam/opam-init/hooks/sandbox.sh build
        ocaml setup.ml -build".

#=== ERROR while compiling llvm2smt.dev =======================================#
# context     2.0.6 | linux/x86_64 | ocaml-base-compiler.4.06.1 | pinned(git+https://github.com/termite-analyser/llvm2smt.git#c1749a00)
# path        ~/.opam/4.06.1/.opam-switch/build/llvm2smt.dev
# command     ~/.opam/opam-init/hooks/sandbox.sh build ocaml setup.ml -build
# exit-code   1
# env-file    ~/.opam/log/llvm2smt-3419-60459a.env
# output-file ~/.opam/log/llvm2smt-3419-60459a.out
### output ###

$ cat ~/.opam/log/llvm2smt-3419-60459a.out

/home/<user>/.opam/4.06.1/bin/ocamlopt.opt unix.cmxa -I /home<user>/.opam/4.06.1/lib/ocamlbuild /home/<user>/.opam/4.06.1/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/<user>/.opam/4.06.1/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
/home/<user>/.opam/4.06.1/bin/ocamlfind ocamldep -package llvm -package llvmgraph -package ocamlgraph -package z3overlay -modules src/llvm2smt.mli > src/llvm2smt.mli.depends
/home/<user>/.opam/4.06.1/bin/ocamlfind ocamldep -package llvm -package llvmgraph -package ocamlgraph -package z3overlay -modules src/llvmcfg.mli > src/llvmcfg.mli.depends
/home/<user>/.opam/4.06.1/bin/ocamlfind ocamldep -package llvm -package llvmgraph -package ocamlgraph -package z3overlay -modules src/smtgraph.mli > src/smtgraph.mli.depends
/home/<user>/.opam/4.06.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package llvm -package llvmgraph -package ocamlgraph -package z3overlay -I src -o src/llvmcfg.cmi src/llvmcfg.mli
+ /home/<user>/.opam/4.06.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package llvm -package llvmgraph -package ocamlgraph -package z3overlay -I src -o src/llvmcfg.cmi src/llvmcfg.mli
ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
/home/<user>/.opam/4.06.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package llvm -package llvmgraph -package ocamlgraph -package z3overlay -I src -o src/smtgraph.cmi src/smtgraph.mli
+ /home/<user>/.opam/4.06.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package llvm -package llvmgraph -package ocamlgraph -package z3overlay -I src -o src/smtgraph.cmi src/smtgraph.mli
ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
File "src/smtgraph.mli", line 12, characters 19-29:
Error: Unbound module ZZ3_sigs
Command exited with code 2.
E: Failure("Command ''/home/<user>/.opam/4.06.1/bin/ocamlbuild' src/llvm2smt.cma src/llvm2smt.cmxa src/llvm2smt.a src/llvm2smt.cmxs -tag debug' terminated with error code 10")