diff options
| -rw-r--r-- | Library/Formula/eprover.rb | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Library/Formula/eprover.rb b/Library/Formula/eprover.rb new file mode 100644 index 000000000..5601f8dcf --- /dev/null +++ b/Library/Formula/eprover.rb @@ -0,0 +1,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 |