From 936e3e407c1abdcac3ee6bd199b8c437b4a48fab Mon Sep 17 00:00:00 2001
From: Jan Vcelak <jan.vcelak@nic.cz>
Date: Tue, 15 Apr 2014 10:23:26 +0200
Subject: [PATCH] configure: add --with-ragel option

The support for this option can disable checking for Ragel forcibly,
thus enforcing the usage of precompiled scanner.c.
---
 configure.ac | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/configure.ac b/configure.ac
index 11526e29f9..a1f16e4f21 100644
--- a/configure.ac
+++ b/configure.ac
@@ -65,7 +65,17 @@ AS_IF([test "x$YACC_BISON" != "xbison"],
 AC_PROG_INSTALL
 
 # Check for Ragel
-AC_PATH_PROG([RAGEL], [ragel], [false])
+AC_ARG_WITH([ragel],
+    AC_HELP_STRING([--with-ragel=path], [Path to Ragel binary. [default=auto]]),
+    [with_ragel=$withval],
+    [with_ragel=auto])
+
+AS_CASE([$with_ragel],
+    [yes|auto], [AC_PATH_PROG([RAGEL], [ragel], [false])],
+    [no], [RAGEL=false],
+    [*], [RAGEL=$with_ragel],
+)
+
 AM_CONDITIONAL([HAVE_RAGEL], test "$RAGEL" != "false")
 
 # Set FSM type for Ragel
-- 
GitLab