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

minisat: fix component order

Browse source
This commit is contained in:
commitay 2018-09-21 14:21:50 +10:00
parent 9b1fb33a4a
commit 4b83d58bbd
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
Formula/minisat.rb
View file

@ -14,6 +14,10 @@ class Minisat < Formula
depends_on "gcc"
fails_with :clang do
cause "error: friend declaration specifying a default argument must be a definition"
end
# Upstream commits to fix some declaration errors
patch do
url "https://github.com/niklasso/minisat/commit/9bd874980a7e5d65cecaba4edeb7127a41050ed1.patch?full_index=1"
@ -25,10 +29,6 @@ class Minisat < Formula
sha256 "72c4d0f2ba7ae3561eac04418d1757fc5bf185c5b29dcaa775b8e9efab3796bc"
end
fails_with :clang do
cause "error: friend declaration specifying a default argument must be a definition"
end
def install
ENV["MROOT"] = buildpath
system "make", "-C", "simp", "r"