diff --git a/src/lisp/plat/linux.c b/src/lisp/plat/linux.c
index 82ecb10..fa6336f 100644
--- a/src/lisp/plat/linux.c
+++ b/src/lisp/plat/linux.c
@@ -4,8 +4,10 @@
 #include <string.h>
 #include <sys/mman.h>
 #include <unistd.h>
+#ifndef NO_READLINE
 #include <readline/readline.h>
 #include <readline/history.h>
+#endif
 
 void *malloc_aligned(size_t size)
 {
@@ -45,10 +47,16 @@
 
 char *read_input_line(char *prompt)
 {
+#ifndef NO_READLINE
 	return readline(prompt);
+#else
+	return "";
+#endif
 }
 
 void add_line_to_history(char *line)
 {
+#ifndef NO_READLINE
 	add_history(line);
+#endif
 }