aboutsummaryrefslogtreecommitdiffstats
path: root/Library/Formula/stp.rb
diff options
context:
space:
mode:
Diffstat (limited to 'Library/Formula/stp.rb')
-rw-r--r--Library/Formula/stp.rb6
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