From fd70cdc3c58a9f240ef8dbbef73ed13054917220 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Thu, 23 Oct 2014 15:43:25 +0100
Subject: [PATCH] ocaml: Pass -annot flag to compiler.

This generates .annot files that contain type information.
In emacs + tuareg mode, using C-c C-t displays the type of the
underlying expression.
---
 .gitignore   | 1 +
 configure.ac | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 269d735e1..fa1cee4af 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 *~
 *.a
+*.annot
 *.bak
 *.class
 *.cma
diff --git a/configure.ac b/configure.ac
index 20f87ca3c..6c3344405 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1096,7 +1096,7 @@ AM_CONDITIONAL([HAVE_OCAML_GETTEXT],
 dnl Flags we want to pass to every OCaml compiler call.
 OCAML_WARN_ERROR="-warn-error CDEFLMPSUVYZX-3"
 AC_SUBST([OCAML_WARN_ERROR])
-OCAML_FLAGS="-g"
+OCAML_FLAGS="-g -annot"
 AC_SUBST([OCAML_FLAGS])
 
 dnl Check for Perl (optional, for Perl bindings and Perl tools).