wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

z3 4.5.0

Browse source 
Closes #6717.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
This commit is contained in:
ilovezfs 2016-11-08 00:47:53 -08:00
parent a1adfaacda
commit 3bf571a47e
1 changed files with 3 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
Formula/z3.rb
View file

@ -1,8 +1,8 @@
class Z3 < Formula class Z3 < Formula
desc "High-performance theorem prover" desc "High-performance theorem prover"
homepage "https://github.com/Z3Prover/z3" homepage "https://github.com/Z3Prover/z3"
url "https://github.com/Z3Prover/z3/archive/z3-4.4.1.tar.gz" url "https://github.com/Z3Prover/z3/archive/z3-4.5.0.tar.gz"
sha256 "50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce" sha256 "aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c"
head "https://github.com/Z3Prover/z3.git" head "https://github.com/Z3Prover/z3.git"
bottle do bottle do
@ -23,17 +23,8 @@ class Z3 < Formula
odie "z3: --with-python3 must be specified when using --without-python" odie "z3: --with-python3 must be specified when using --without-python"
end end
# This `inreplace` can be removed on next stable release.
inreplace "scripts/mk_util.py", "dist-packages", "site-packages" if build.stable?
Language::Python.each_python(build) do |python, version| Language::Python.each_python(build) do |python, version|
# On next stable release remove the `if` condition and use system python, "scripts/mk_make.py", "--prefix=#{prefix}", "--python", "--pypkgdir=#{lib}/python#{version}/site-packages", "--staticlib"
# the first statement in the condition below.
if build.head?
system python, "scripts/mk_make.py", "--prefix=#{prefix}", "--python", "--pypkgdir=#{lib}/python#{version}/site-packages", "--staticlib"
else
system python, "scripts/mk_make.py", "--prefix=#{prefix}", "--staticlib"
end
cd "build" do cd "build" do
system "make" system "make"
system "make", "install" system "make", "install"