homebrew-core/Formula/eprover.rb

18 lines
405 B
Ruby

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.8/E.tgz'
version '1.8'
sha1 '43cec71bc1187798352036b550794a4d03137f87'
def install
system "./configure", "--bindir=#{bin}", "--man-prefix=#{man}"
system "make install"
end
test do
system "#{bin}/eproof"
end
end