2011-10-06 19:56:15 +00:00
|
|
|
require 'formula'
|
|
|
|
|
|
|
|
|
|
class Eprover < Formula
|
|
|
|
|
homepage 'http://www4.informatik.tu-muenchen.de/~schulz/E/E.html'
|
2012-08-05 03:28:05 +00:00
|
|
|
url 'http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.6/E.tgz'
|
|
|
|
|
version '1.6'
|
|
|
|
|
sha1 'd70add47b1a71ee2139d7e56a9118483dfc79ff5'
|
2011-10-06 19:56:15 +00:00
|
|
|
|
|
|
|
|
def install
|
|
|
|
|
system "./configure", "--bindir=#{bin}", "--man-prefix=#{man}"
|
|
|
|
|
system "make install"
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
def test
|
|
|
|
|
system "#{bin}/eproof"
|
|
|
|
|
end
|
|
|
|
|
end
|
