Library/Formula/eprover.rb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

require 'formula'

class Eprover < Formula
  homepage 'http://www4.informatik.tu-muenchen.de/~schulz/E/E.html'
  url 'http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.4/E.tgz'
  version '1.4'
  md5 '4da7b0c06dddd96ce8ffeb77462d7f77'

  def install
    system "./configure", "--bindir=#{bin}", "--man-prefix=#{man}"
    system "make install"
  end

  def test
    system "#{bin}/eproof"
  end
end