2010-05-21 16:31:42 +00:00
|
|
|
require 'formula'
|
|
|
|
|
|
|
|
|
|
class Stp < Formula
|
2011-02-09 07:36:28 +00:00
|
|
|
head 'http://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp', :revision => '1134'
|
2010-05-21 16:31:42 +00:00
|
|
|
homepage 'http://sites.google.com/site/stpfastprover/'
|
|
|
|
|
|
|
|
|
|
def install
|
2010-11-25 10:44:41 +00:00
|
|
|
system "./scripts/configure", "--with-prefix=#{prefix}"
|
2010-05-21 16:31:42 +00:00
|
|
|
system "make install"
|
|
|
|
|
end
|
|
|
|
|
end
|
