Remove CLI from default build config
diff --git a/REFAL.pro b/REFAL.pro
index 6ff0562..320dc5b 100644
--- a/REFAL.pro
+++ b/REFAL.pro
@@ -13,8 +13,7 @@
 	main.cpp \
 	Matcher.cpp \
 	Parser.cpp \
-	PPrint.cpp \
-	Repl.cpp \
+        PPrint.cpp \
 	StdLib.cpp \
 	Token.cpp \
 	VarContext.cpp
@@ -25,12 +24,16 @@
 	Function.h \
 	Matcher.h \
 	Parser.h \
-	PPrint.h \
-	Repl.h \
+        PPrint.h \
 	StdLib.h \
 	Token.h \
 	VarContext.h
 
+includeCli {
+    SOURCES += Repl.cpp
+    HEADERS += Repl.h
+}
+
 include(ide/IDE.pri)
 
 # Default rules for deployment.
@@ -38,7 +41,10 @@
 else: unix:!android: target.path = /opt/$${TARGET}/bin
 !isEmpty(target.path): INSTALLS += target
 
-LIBS += -lreadline
+includeCli {
+    LIBS += -lreadline
+    DEFINES += INCLUDE_CLI
+}
 
 TRANSLATIONS += $$files(ts/*.ts)
 RESOURCES += translations.qrc
diff --git a/main.cpp b/main.cpp
index 42cc0a4..5e00583 100644
--- a/main.cpp
+++ b/main.cpp
@@ -8,7 +8,9 @@
 #include "Parser.h"
 #include "Evaluator.h"
 #include "VarContext.h"
+#ifdef INCLUDE_CLI
 #include "Repl.h"
+#endif
 #include "PPrint.h"
 
 #ifdef NO_IDE
@@ -308,11 +310,13 @@
 
         return testResults();
     }
+#ifdef INCLUDE_CLI
     else if (cli.isSet(replOption))
     {
         Repl repl;
         repl.start();
     }
+#endif
     else
     {
         return ideMain(&a);