Failed to install

[harrison-peng]

Hi, when I install llvm2smt, it's failed with error Error: Unbound module ZZ3_sigs

The log is below:

[NOTE] Package llvm2smt is already pinned to git+https://github.com/termite-analyser/llvm2smt.git (version dev).
[llvm2smt.dev] no changes from git+https://github.com/termite-analyser/llvm2smt.git
[WARNING] Failed checks on llvm2smt package definition from source at git+https://github.com/termite-analyser/llvm2smt.git:
    error 57: Synopsis and description must not be both empty
llvm2smt is now pinned to git+https://github.com/termite-analyser/llvm2smt.git (version dev)

The following actions will be performed:
  - install llvm2smt dev*
Do you want to continue? [Y/n] Y

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

#=== ERROR while compiling llvm2smt.dev =======================================#
# context     2.0.7 | macos/x86_64 | ocaml-system.4.09.0 | pinned(git+https://github.com/termite-analyser/llvm2smt.git#c1749a00)
# path        ~/.opam/default/.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-78170-a00279.env
# output-file ~/.opam/log/llvm2smt-78170-a00279.out
### output ###
# Use Stdlib instead.
# [...]
# If you need to stay compatible with OCaml < 4.07, you can use the
# stdlib-shims library: https://github.com/ocaml/stdlib-shims
# /Users/Harrison/.opam/default/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
# + /Users/Harrison/.opam/default/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:
# 12 | module Make (ZZ3 : ZZ3_sigs.S) : sig
#                         ^^^^^^^^^^
# Error: Unbound module ZZ3_sigs
# Command exited with code 2.
# E: Failure("Command ''/Users/Harrison/.opam/default/bin/ocamlbuild' src/llvm2smt.cma src/llvm2smt.cmxa src/llvm2smt.a src/llvm2smt.cmxs -tag debug' terminated with error code 10")



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build llvm2smt dev
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
[NOTE] Pinning command successful, but your installed packages may be out of sync.

Do you know how to fix it? Thank you.