Skip to content

Commit

Permalink
minisat: fails with clang
Browse files Browse the repository at this point in the history
  • Loading branch information
adamv committed May 13, 2014
1 parent 54cfae5 commit c204651
Showing 1 changed file with 12 additions and 9 deletions.
21 changes: 12 additions & 9 deletions Formula/minisat.rb
Original file line number Diff line number Diff line change
@@ -1,19 +1,22 @@
require 'formula'
require "formula"

class Minisat < Formula
homepage 'http://minisat.se'
url 'https://github.com/niklasso/minisat/archive/releases/2.2.0.tar.gz'
sha1 '28c14eed485f4adb8dde9e26f05476f7eedc8f77'
homepage "http://minisat.se"
url "https://github.com/niklasso/minisat/archive/releases/2.2.0.tar.gz"
sha1 "28c14eed485f4adb8dde9e26f05476f7eedc8f77"

# Fixes compilation on mac; in next upstream release. See:
# Fix some declaration errors; see:
# http://groups.google.com/group/minisat/browse_thread/thread/f5b6a180cadbb214
patch :DATA

fails_with :clang do
cause "error: friend declaration specifying a default argument must be a definition"
end

def install
ENV['MROOT'] = Dir.pwd
Dir.chdir 'simp'
system "make", "r"
bin.install 'minisat_release' => 'minisat'
ENV["MROOT"] = buildpath
system "make", "-C", "simp", "r"
bin.install "simp/minisat_release" => "minisat"
end
end

Expand Down

0 comments on commit c204651

Please sign in to comment.