blob: d17a36c509c4955d3ff470477fae869d375cae86 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
require 'formula'
class Stp < Formula
head 'http://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp', :revision => '1134'
homepage 'http://sites.google.com/site/stpfastprover/'
def install
system "./scripts/configure", "--with-prefix=#{prefix}"
system "make install"
end
end
|
