homebrew-core/Formula/eprover.rb

18 lines
397 B
Ruby
Raw Normal View History

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