1 files changed, 1 insertions, 2 deletions
diff --git a/src/configure b/src/configure
index b07190b..53d457d 100755
--- a/src/configure
+++ b/src/configure
@@ -143,8 +143,7 @@ CFLAGS := $CFLAGS
 LDFLAGS := $LDFLAGS
 STRIP := strip
 INSTALL := install
-FLEX := flex
-BISON := bison
+RAGEL := ragel
 
 PREFIX := '$PREFIX'
 BINDIR := '$BINDIR'