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

z3: fix HEAD build

Browse source 
Closes issue #598
This commit is contained in:
Rakesh 2016-04-26 20:13:37 +05:30 committed by Dominyk Tiller
parent ec81fda74d
commit db99c61329
1 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
Formula/z3.rb
View file

@ -22,10 +22,17 @@ class Z3 < Formula
end
def install
inreplace "scripts/mk_util.py", "dist-packages", "site-packages"
# 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|
system python, "scripts/mk_make.py", "--prefix=#{prefix}", "--staticlib"
# On next stable release remove the `if` condition and use
# 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
system "make"
system "make", "install"