cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #11667 from ethereum/z3PPAScriptUpdate

Browse Source 
Update Z3 version to 4.8.12 in PPA script and add static binary package.
This commit is contained in:
Daniel Kirchner 2021-08-09 12:06:57 +02:00 committed by GitHub
commit 6ec711b2f0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 24 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
scripts/deps-ppa/static_z3.sh
View File

@ -24,10 +24,10 @@ set -ev
keyid=70D110489D66E2F6 keyid=70D110489D66E2F6
email=builds@ethereum.org email=builds@ethereum.org
packagename=libz3-static-dev packagename=z3-static
version=4.8.10 version=4.8.12
DISTRIBUTIONS="focal groovy" DISTRIBUTIONS="focal groovy hirsute"
for distribution in $DISTRIBUTIONS for distribution in $DISTRIBUTIONS
do do
@ -62,7 +62,7 @@ mkdir debian
echo 9 > debian/compat echo 9 > debian/compat
# TODO: the Z3 packages have different build dependencies # TODO: the Z3 packages have different build dependencies
cat <<EOF > debian/control cat <<EOF > debian/control
Source: libz3-static-dev Source: z3-static
Section: science Section: science
Priority: extra Priority: extra
Maintainer: Daniel Kirchner <daniel@ekpyron.org> Maintainer: Daniel Kirchner <daniel@ekpyron.org>
@ -78,6 +78,22 @@ Homepage: https://github.com/Z3Prover/z3
Vcs-Git: git://github.com/Z3Prover/z3.git Vcs-Git: git://github.com/Z3Prover/z3.git
Vcs-Browser: https://github.com/Z3Prover/z3 Vcs-Browser: https://github.com/Z3Prover/z3
Package: z3-static
Architecture: any
Breaks: z3
Replaces: z3
Depends: \${misc:Depends}, \${shlibs:Depends}
Description: theorem prover from Microsoft Research
Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
used to check the satisfiability of logical formulas over one or more
theories. Z3 offers a compelling match for software analysis and verification
tools, since several common software constructs map directly into supported
theories.
.
The Z3 input format is an extension of the one defined by the SMT-LIB 2.0
standard.
Package: libz3-static-dev Package: libz3-static-dev
Section: libdevel Section: libdevel
Architecture: any-amd64 Architecture: any-amd64
@ -133,6 +149,9 @@ usr/include/*
usr/lib/*/libz3.a usr/lib/*/libz3.a
usr/lib/*/cmake/z3/* usr/lib/*/cmake/z3/*
EOF EOF
cat <<EOF > debian/z3-static.install
usr/bin/z3
EOF
cat <<EOF > debian/copyright cat <<EOF > debian/copyright
Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: z3 Upstream-Name: z3
@ -179,7 +198,7 @@ This program is free software: you can redistribute it and/or modify
Public License version 3 can be found in "/usr/share/common-licenses/GPL-3". Public License version 3 can be found in "/usr/share/common-licenses/GPL-3".
EOF EOF
cat <<EOF > debian/changelog cat <<EOF > debian/changelog
libz3-static-dev (0.0.1-1ubuntu0) saucy; urgency=low z3-static (0.0.1-1ubuntu0) saucy; urgency=low
* Initial release. * Initial release.