1 files changed, 20 insertions, 0 deletions
diff --git a/Library/Formula/prooftree.rb b/Library/Formula/prooftree.rb
new file mode 100644
index 000000000..09beb97d3
--- /dev/null
+++ b/Library/Formula/prooftree.rb
@@ -0,0 +1,20 @@
+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
+
+  def test
+    system "prooftree -help"
+  end
+end