class Prooftree < Formula
  desc "Proof tree visualization program"
  homepage "https://askra.de/software/prooftree"
  url "https://askra.de/software/prooftree/releases/prooftree-0.12.tar.gz"
  sha256 "952ca2efec290808ffac093abe7ac9b10ae471f5d8cd9ef66db3dd02a431d723"

  bottle do
    cellar :any
    sha256 "564387d65bcff022dfc76581bfecc91bc63a7a85a342bf71b8b580980040676d" => :el_capitan
    sha256 "0a48e2ac01ca8fcad293a36928a2a7cd2111aa767ba30f49ea8e41ad786fed16" => :yosemite
    sha256 "b9d31069363c481c3fb5c3bbf885ecb92e39b71e8ee288b96c28e8ed3d36f832" => :mavericks
  end

  depends_on "lablgtk"
  depends_on "ocaml" => :build

  # Fixes the compilation with OCaml 4.02.x+; reported upstream on 2015/11/18
  patch :DATA

  def install
    system "./configure", "--prefix", prefix
    system "make"
    system "make", "install"
  end

  test do
    system "#{bin}/prooftree", "--help"
  end
end

__END__
diff --git a/input.ml b/input.ml
index 934943c..aeee520 100644
--- a/input.ml
+++ b/input.ml
@@ -27,7 +27,7 @@

 (*****************************************************************************
  *****************************************************************************)
-(** {2 Communition Protocol with Proof General}
+(**{| {2 Communition Protocol with Proof General}

     The communication protocol with Proof General is almost one-way
     only: Proof General sends display messages to Prooftree and
@@ -207,7 +207,7 @@
     }
     }
     }
-*)
+|}*)

 (** Version number of the communication protocol described and
     implemented by this module.
@@ -438,7 +438,7 @@ let parse_configure com_buf =
   Scanf.bscanf com_buf
     " for \"%s@\" and protocol version %d" configure_prooftree

-(******************************************************************************
+(*{|***************************************************************************
  ******************************************************************************
  * current-goals state %d current-sequent %s {cheated|not-cheated} \
  * {new-layer|current-layer}
@@ -449,7 +449,7 @@ let parse_configure com_buf =
  * <data-current-sequent>\n\
  * <data-additional-ids>\n\
  * <data-existentials>\n
- *)
+ |}*)

 (** {3 Current-goals command parser} *)

@@ -624,13 +624,13 @@ let parse_switch_goal com_buf =



-(******************************************************************************
+(*{|***************************************************************************
  * branch-finished state %d {cheated|not-cheated} \
  * proof-name-bytes %d command-bytes %d existential-bytes %d\n\
  * <data-proof-name>\n\
  * <data-command>\n\
  * <data-existentials>\n
-*)
+ |}*)

 (** {3 Branch-finished command parser} *)
