blob: 3f6f62c6fad2d798ec6e28be5f108ef60cdb3d1c (
plain)
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.6/E.tgz'
version '1.6'
sha1 'd70add47b1a71ee2139d7e56a9118483dfc79ff5'
def install
system "./configure", "--bindir=#{bin}", "--man-prefix=#{man}"
system "make install"
end
def test
system "#{bin}/eproof"
end
end
|
