diff options
| author | Markus Groß | 2011-02-09 08:36:28 +0100 |
|---|---|---|
| committer | Adam Vandenberg | 2011-02-09 08:09:46 -0800 |
| commit | d4586f73b25657ccefcb8b10c660394969d48137 (patch) | |
| tree | 47bc3f667c7e32d06011019de532054fd18012e8 /Library/Formula/stp.rb | |
| parent | ecd06f329a1216a30cb6c61a2edaf2cc68e77005 (diff) | |
| download | homebrew-d4586f73b25657ccefcb8b10c660394969d48137.tar.bz2 | |
Updated stp to rev 1134
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library/Formula/stp.rb')
| -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 |