From 3b27de81462169262e0c185d4e868cdc498d47dd Mon Sep 17 00:00:00 2001
From: Nicolas Berthier <nicolas.berthier@inria.fr>
Date: Tue, 21 Oct 2014 13:43:30 +0200
Subject: [PATCH] Configure script now checks for `reatk.ctrlnbac' package.

---
 configure    | 29 +++++++++++++++++++++++++++++
 configure.in |  5 +++++
 2 files changed, 34 insertions(+)

diff --git a/configure b/configure
index 14d736b..06d229d 100755
--- a/configure
+++ b/configure
@@ -586,6 +586,7 @@ LIBOBJS
 enable_simulator
 stdlib_dir
 INSTALL
+OCAML_PKG_reatk_ctrlNbac
 OCAML_PKG_lablgtk2
 OCAML_PKG_ocamlgraph
 OCAML_PKG_menhirLib
@@ -3971,6 +3972,34 @@ $as_echo "not found" >&6; }
 $as_echo "$as_me: WARNING: Could not find 'lablgtk2'. The simulator will not be built" >&2;}
  fi
 
+
+  { $as_echo "$as_me:${as_lineno-$LINENO}: checking for OCaml findlib package reatk.ctrlNbac" >&5
+$as_echo_n "checking for OCaml findlib package reatk.ctrlNbac... " >&6; }
+
+  unset found
+  unset pkg
+  found=no
+  for pkg in reatk.ctrlNbac  ; do
+    if $OCAMLFIND query $pkg >/dev/null 2>/dev/null; then
+      { $as_echo "$as_me:${as_lineno-$LINENO}: result: found" >&5
+$as_echo "found" >&6; }
+      OCAML_PKG_reatk_ctrlNbac=$pkg
+      found=yes
+      break
+    fi
+  done
+  if test "$found" = "no" ; then
+    { $as_echo "$as_me:${as_lineno-$LINENO}: result: not found" >&5
+$as_echo "not found" >&6; }
+    OCAML_PKG_reatk_ctrlNbac=no
+  fi
+
+
+
+ if test "${OCAML_PKG_reatk_ctrlNbac}" = "no"; then
+   as_fn_error $? "Please install reatk package." "$LINENO" 5
+ fi
+
 if test "$enable_local_stdlib" = "yes"; then
     stdlib_dir=$PWD/lib
 else
diff --git a/configure.in b/configure.in
index 785dd90..0982bc2 100644
--- a/configure.in
+++ b/configure.in
@@ -59,6 +59,11 @@ AC_CHECK_OCAML_PKG([lablgtk2])
     AC_MSG_WARN([Could not find 'lablgtk2'. The simulator will not be built])
  fi
 
+AC_CHECK_OCAML_PKG([reatk.ctrlNbac])
+ if test "${OCAML_PKG_reatk_ctrlNbac}" = "no"; then
+   AC_MSG_ERROR([Please install reatk package.])
+ fi
+
 if test "$enable_local_stdlib" = "yes"; then
     stdlib_dir=$PWD/lib
 else