2012-12-02 07:12:33 +00:00
|
|
|
require 'formula'
|
|
|
|
|
|
|
|
|
|
class Prooftree < Formula
|
|
|
|
|
homepage 'http://askra.de/software/prooftree'
|
|
|
|
|
url 'http://askra.de/software/prooftree/releases/prooftree-0.10.tar.gz'
|
|
|
|
|
sha1 'ac9ba265062382109673320635d822f92e6a126c'
|
|
|
|
|
|
|
|
|
|
depends_on :x11
|
|
|
|
|
depends_on 'lablgtk'
|
|
|
|
|
|
|
|
|
|
def install
|
|
|
|
|
system "./configure", "--prefix=#{prefix}"
|
|
|
|
|
system "make"
|
|
|
|
|
system "make install"
|
|
|
|
|
end
|
|
|
|
|
|
2013-03-25 18:35:21 +00:00
|
|
|
test do
|
|
|
|
|
system "#{bin}/prooftree", "-help"
|
2012-12-02 07:12:33 +00:00
|
|
|
end
|
|
|
|
|
end
|
