Updated stp to revision 774.

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