diff options
| -rw-r--r-- | Library/Formula/stp.rb | 23 |
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 |