diff options
| -rw-r--r-- | Library/Formula/stp.rb | 12 |
1 files changed, 1 insertions, 11 deletions
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 |