From 8551a91a05468ab88fc7e021397ee3fa92379ab1 Mon Sep 17 00:00:00 2001
From: Nicolas Berthier <nicolas.berthier@inria.fr>
Date: Thu, 23 Oct 2014 11:05:38 +0200
Subject: [PATCH] Fix configure script for optional compilation of `ctrl2ept'.

---
 configure    | 1 +
 configure.in | 1 +
 2 files changed, 2 insertions(+)

diff --git a/configure b/configure
index 8da7622..8433ce6 100755
--- a/configure
+++ b/configure
@@ -4012,6 +4012,7 @@ $as_echo "not found" >&6; }
  if test "${OCAML_PKG_reatk_ctrlNbac}" = "no"; then
    package_reatk_ctrlNbac="ocaml"; #dummy flag
    ctrln_pp="-UENABLE_CTRLN"
+   enable_ctrl2ept=no
    { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Controllable-Nbac backend and translators disabled." >&5
 $as_echo "$as_me: WARNING: Controllable-Nbac backend and translators disabled." >&2;}
  else
diff --git a/configure.in b/configure.in
index 1a78401..9394f81 100644
--- a/configure.in
+++ b/configure.in
@@ -67,6 +67,7 @@ AC_CHECK_OCAML_PKG([reatk.ctrlNbac])
  if test "${OCAML_PKG_reatk_ctrlNbac}" = "no"; then
    package_reatk_ctrlNbac="ocaml"; #dummy flag
    ctrln_pp="-UENABLE_CTRLN"
+   enable_ctrl2ept=no
    AC_MSG_WARN([Controllable-Nbac backend and translators disabled.])
  else
    package_reatk_ctrlNbac="package(reatk.ctrlNbac)"