7bd947eb0b
* Use new "url" features * Use keg_only DSL * Use "skip_clean :all" DSL * Whitespace and style cleanups * Make bash invocations less silly * Use new man2-man8 helpers * Remove "FileUtils." since it is included in Formula * Use real names for deps instead of aliases * ENV.x11 now updates path, so remove that from individual brews
21 lines
515 B
Ruby
21 lines
515 B
Ruby
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.remove_make_var! "CFLAGS_M32"
|
|
end
|
|
end
|
|
|
|
system "./clean-install.sh", "--with-prefix=#{prefix}"
|
|
system "make install"
|
|
end
|
|
end
|