diff options
Diffstat (limited to 'Library/Formula/stp.rb')
| -rw-r--r-- | Library/Formula/stp.rb | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Library/Formula/stp.rb b/Library/Formula/stp.rb index fe4eef5d3..7f301260d 100644 --- a/Library/Formula/stp.rb +++ b/Library/Formula/stp.rb @@ -5,15 +5,13 @@ class Stp < Formula homepage 'http://sites.google.com/site/stpfastprover/' def options - [ - ["--32-bit", "Force 32-bit."] - ] + [["--32-bit", "Force 32-bit."]] end def install unless ARGV.include? "--32-bit" inreplace "./scripts/Makefile.common" do |s| - s.change_make_var! "CFLAGS_M32", "" + s.remove_make_var! "CFLAGS_M32" end end |
