termite-analyser / z3overlay Goto Github PK
View Code? Open in Web Editor NEWAn overlay for the OCaml Z3 binding.
Home Page: https://termite-analyser.github.io/z3overlay/
License: MIT License
An overlay for the OCaml Z3 binding.
Home Page: https://termite-analyser.github.io/z3overlay/
License: MIT License
$ 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
I'm running the installation as suggested with:
opam pin add z3overlay https://github.com/termite-analyser/z3overlay.git
#=== 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.
Any idea of why this error?
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
```
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.