diff options
| author | Markus Groß | 2010-11-25 11:44:41 +0100 |
|---|---|---|
| committer | Adam Vandenberg | 2010-11-28 08:29:28 -0800 |
| commit | 3dc86e0fa0129ebb357d03057c8a29f1b747484d (patch) | |
| tree | 892fbdcc304def98155bcbc31ec4779cfa1239be /Library/Formula/stp.rb | |
| parent | a3b05898c5a73e98418227b7fc0f70ea3de72971 (diff) | |
| download | homebrew-3dc86e0fa0129ebb357d03057c8a29f1b747484d.tar.bz2 | |
Updated stp to rev 1028
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library/Formula/stp.rb')
| -rw-r--r-- | Library/Formula/stp.rb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Library/Formula/stp.rb b/Library/Formula/stp.rb index b4ae202ce..2099393b8 100644 --- a/Library/Formula/stp.rb +++ b/Library/Formula/stp.rb @@ -1,7 +1,7 @@ require 'formula' class Stp < Formula - head 'http://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp', :revision => '986' + head 'http://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp', :revision => '1028' homepage 'http://sites.google.com/site/stpfastprover/' def options @@ -15,7 +15,7 @@ class Stp < Formula end end - system "./clean-install.sh", "--with-prefix=#{prefix}" + system "./scripts/configure", "--with-prefix=#{prefix}" system "make install" end end |