Updated stp to revision 774.

1 files changed, 23 insertions, 0 deletions

diff --git a/Library/Formula/stp.rb b/Library/Formula/stp.rb
new file mode 100644
index 000000000..fe4eef5d3
--- /dev/null
+++ b/Library/Formula/stp.rb
@@ -0,0 +1,23 @@
+require 'formula'
+
+class Stp < Formula
+  head 'http://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp', :revision => '774'
+  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.change_make_var! "CFLAGS_M32", ""
+      end
+    end
+
+    system "./clean-install.sh", "--with-prefix=#{prefix}"
+    system "make install"
+  end
+end