termite-analyser / z3overlay Goto Github PK

#=== ERROR while compiling z3overlay.dev ======================================#
# context     2.0.6 | linux/x86_64 | ocaml-base-compiler.4.06.1 | pinned(git+https://github.com/termite-analyser/z3overlay.git#4c3b5ad4)
# path        ~/.opam/4.06.1/.opam-switch/build/z3overlay.dev
# command     ~/.opam/opam-init/hooks/sandbox.sh build dune subst
# exit-code   1
# env-file    ~/.opam/log/z3overlay-31358-835ba5.env
# output-file ~/.opam/log/z3overlay-31358-835ba5.out
### output ###
# Error: The project name is not defined, please add a (name <name>) field to
# your dune-project file.

opam install z3overlay
The following actions will be performed:
  ∗  install Z3overlay dev

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[Z3overlay] https://github.com/termite-analyser/z3overlay.git updated

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[ERROR] The compilation of Z3overlay failed at "ocaml setup.ml -build".
Processing  1/1: [Z3overlay: ocamlfind remove]
#=== ERROR while installing Z3overlay.dev =====================================#
# opam-version 1.2.2
# os           linux
# command      ocaml setup.ml -build
# path         /home/monsieurpi/.opam/4.04.0/build/Z3overlay.dev
# compiler     4.04.0
# exit-code    1
# env-file     /home/monsieurpi/.opam/4.04.0/build/Z3overlay.dev/Z3overlay-28461-e7966f.env
# stdout-file  /home/monsieurpi/.opam/4.04.0/build/Z3overlay.dev/Z3overlay-28461-e7966f.out
# stderr-file  /home/monsieurpi/.opam/4.04.0/build/Z3overlay.dev/Z3overlay-28461-e7966f.err
### stdout ###
# [...]
# Error: This function has type handle -> Expr.expr
#        It is applied to too many arguments; maybe you forgot a `;'.
# Command exited with code 2.
# + /home/monsieurpi/.opam/4.04.0/bin/ocamlopt.opt unix.cmxa -I /home/monsieurpi/.opam/4.04.0/lib/ocamlbuild /home/monsieurpi/.opam/4.04.0/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/monsieurpi/.opam/4.04.0/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
# File "myocamlbuild.ml", line 518, characters 43-62:
# Warning 3: deprecated: Ocamlbuild_plugin.String.uncapitalize
# Use String.uncapitalize_ascii instead.
# File "myocamlbuild.ml", line 531, characters 51-70:
# Warning 3: deprecated: Ocamlbuild_plugin.String.uncapitalize
# Use String.uncapitalize_ascii instead.
### stderr ###
# [...]
# File "./setup.ml", line 1831, characters 16-35:
# Warning 3: deprecated: String.uncapitalize
# Use String.uncapitalize_ascii instead.
# File "setup.ml", line 5847, characters 11-28:
# Warning 3: deprecated: String.capitalize
# Use String.capitalize_ascii instead.
# File "setup.ml", line 5848, characters 11-30:
# Warning 3: deprecated: String.uncapitalize
# Use String.uncapitalize_ascii instead.
# E: Failure("Command ''/home/monsieurpi/.opam/4.04.0/bin/ocamlbuild' src/Z3overlay.cma src/Z3overlay.cmxa src/Z3overlay.a src/Z3overlay.cmxs -tag debug' terminated with error code 10")



=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The following actions failed
  ∗  install Z3overlay dev
No changes have been performed
```

$ opam install z3
The following actions will be performed:
  ∗  install conf-python-2-7 1.0              [required by Z3]
  ∗  install Z3              dev
       Before installing any package depending on Z3, please export the following variable:
  export LD_LIBRARY_PATH=`ocamlfind printconf destdir`/stublibs
===== ∗  2 =====
Do you want to continue ? [Y/n] y

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[Z3] https://github.com/Z3Prover/z3.git updated

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
∗  installed conf-python-2-7.1.0
[ERROR] The compilation of Z3 failed at "make -C build ocamlfind_install".
Processing  2/2: [Z3: ocamlfind remove]
#=== ERROR while installing Z3.dev ============================================#
# opam-version 1.2.2
# os           linux
# command      make -C build ocamlfind_install
# path         /home/monniaux/.opam/4.02.3/build/Z3.dev
# compiler     4.02.3
# exit-code    2
# env-file     /home/monniaux/.opam/4.02.3/build/Z3.dev/Z3-4955-ad8886.env
# stdout-file  /home/monniaux/.opam/4.02.3/build/Z3.dev/Z3-4955-ad8886.out
# stderr-file  /home/monniaux/.opam/4.02.3/build/Z3.dev/Z3-4955-ad8886.err
### stdout ###
# make: Entering directory `/home/monniaux/.opam/4.02.3/build/Z3.dev/build'
# make: Leaving directory `/home/monniaux/.opam/4.02.3/build/Z3.dev/build'
### stderr ###
# make: *** No rule to make target `ocamlfind_install'.  Stop.



=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The following actions failed
  ∗  install Z3 dev
The following changes have been performed
  ∗  install conf-python-2-7 1.0