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

z3: fix audit errors

Browse source 
Closes #602.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
This commit is contained in:
Rakesh 2016-04-26 20:16:12 +05:30 committed by Dominyk Tiller
parent db99c61329
commit f6bd407bfe
1 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
Formula/z3.rb
View file

@ -5,14 +5,6 @@ class Z3 < Formula
sha256 "50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce"
head "https://github.com/Z3Prover/z3.git"
option "without-python", "Build without python 2 support"
depends_on :python => :recommended if MacOS.version <= :snow_leopard
depends_on :python3 => :optional
if build.without?("python3") && build.without?("python")
odie "z3: --with-python3 must be specified when using --without-python"
end
bottle do
cellar :any
revision 1
@ -21,6 +13,14 @@ class Z3 < Formula
sha256 "81c89c70da771d0d1faae38657e43849f741cb68486afbf50a21be76bf612799" => :mavericks
end
option "without-python", "Build without python 2 support"
depends_on :python => :recommended if MacOS.version <= :snow_leopard
depends_on :python3 => :optional
if build.without?("python3") && build.without?("python")
odie "z3: --with-python3 must be specified when using --without-python"
end
def install
# This `inreplace` can be removed on next stable release.
inreplace "scripts/mk_util.py", "dist-packages", "site-packages" if build.stable?