diff --git a/tools/luadevel/wscript b/tools/luadevel/wscript
index 7cf7803889..c3c4d90aa6 100755
--- a/tools/luadevel/wscript
+++ b/tools/luadevel/wscript
@@ -22,6 +22,7 @@ def configure(conf):
             header_name='stdio.h readline/readline.h',
             lib='readline',
             uselib_store='READLINE',
+            define_name='HAVE_READLINE',
             mandatory=False)
     autowaf.configure(conf)