Library/Formula/stp.rb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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