From d4586f73b25657ccefcb8b10c660394969d48137 Mon Sep 17 00:00:00 2001
From: Markus Groß
Date: Wed, 9 Feb 2011 08:36:28 +0100
Subject: Updated stp to rev 1134

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
---
 Library/Formula/stp.rb | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

(limited to 'Library')

diff --git a/Library/Formula/stp.rb b/Library/Formula/stp.rb
index 2099393b8..d17a36c50 100644
--- a/Library/Formula/stp.rb
+++ b/Library/Formula/stp.rb
@@ -1,20 +1,10 @@
 require 'formula'
 
 class Stp < Formula
-  head 'http://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp', :revision => '1028'
+  head 'http://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp', :revision => '1134'
   homepage 'http://sites.google.com/site/stpfastprover/'
 
-  def options
-    [["--32-bit", "Force 32-bit."]]
-  end
-
   def install
-    unless ARGV.include? "--32-bit"
-      inreplace "./scripts/Makefile.common" do |s|
-        s.remove_make_var! "CFLAGS_M32"
-      end
-    end
-
     system "./scripts/configure", "--with-prefix=#{prefix}"
     system "make install"
   end
-- 
cgit v1.2.3