From 040281135aef2f5f9a589f43f5654982985497e0 Mon Sep 17 00:00:00 2001
From: Markus Groß
Date: Fri, 21 May 2010 18:31:42 +0200
Subject: Updated stp to revision 774.

---
 Library/Formula/stp.rb | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 Library/Formula/stp.rb

(limited to 'Library')

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
-- 
cgit v1.2.3