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

z3: include qprofdiff

Browse source 
Closes #38423.

Signed-off-by: FX Coudert <fxcoudert@gmail.com>
This commit is contained in:
Tej Chajed 2019-03-27 12:24:25 -04:00 committed by FX Coudert
parent 6cc27c82ff
commit d090872bbd
1 changed files with 2 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
Formula/z3.rb
View file

@ -28,12 +28,8 @@ class Z3 < Formula
system "make", "install"
end
# qprofdiff is not yet part of the source release (it will be as soon as a
# version is released after 4.5.0), so we only include it in HEAD builds
if build.head?
system "make", "-C", "contrib/qprofdiff"
bin.install "contrib/qprofdiff/qprofdiff"
end
system "make", "-C", "contrib/qprofdiff"
bin.install "contrib/qprofdiff/qprofdiff"
pkgshare.install "examples"
end