homebrew-core/Formula/stp.rb

12 lines
314 B
Ruby
Raw Normal View History

2010-05-21 16:31:42 +00:00
require 'formula'
class Stp < Formula
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
system "./scripts/configure", "--with-prefix=#{prefix}"
2010-05-21 16:31:42 +00:00
system "make install"
end
end