Binary executable for Debian OS

[ritam9495]

I need the binary executable for Linux Debian OS. More specifically libz3.so would work as well as I guess I have all the other required files.

[aytey]

Have you tried https://github.com/Z3Prover/z3/releases/download/z3-4.8.10/z3-4.8.10-x64-ubuntu-18.04.zip? It says Ubuntu, but there's a good chance it is portable to other Linux's (e.g., it works for me on openSUSE Tumbleweed).

[aytey]

There's also https://github.com/Z3Prover/z3/releases/download/Nightly/z3-4.8.11-x64-glibc-2.31.zip if you want more bleeding edge (but 2.31 is more modern glibc vs. what might be in Ubuntu 18.04).

[ritam9495]

You can download one of the stable releases then follow the following commands:

tar zxvf z3-4.8.10.tar.gz
cd z3-z3-4.8.10
python scripts/mk_make.py
cd build
make -j60 examples

This will create all the necessary files and directories. To run the ./cpp_example:
either:
setenv LD_LIBRARY_PATH ${LD_LIBRARY_PATH}:.
then you can run ./cpp_example
or:
env LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:. ./cpp_example everytime

This will require no admin permission. Best for servers where you don't have any permissions (not even sudo)

[NikolajBjorner]

The builds use "ubuntu-latest" as specified by https://docs.microsoft.com/en-us/azure/devops/pipelines/agents/hosted?view=azure-devops&tabs=yaml

If 18.04 is more useful we can change the OS designation here:

z3/scripts/nightly.yaml

Line 25 in 7869cdb

vmImage: "ubuntu-latest"