From e81de0520c85ece8e581963eab9c59ea5aef60d1 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Tue, 6 Sep 2016 12:46:10 +0000
Subject: [PATCH] ifdef parser

---
 Fltk/helpWindow.cpp | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Fltk/helpWindow.cpp b/Fltk/helpWindow.cpp
index 74de1ba84d..cc9362dfb5 100644
--- a/Fltk/helpWindow.cpp
+++ b/Fltk/helpWindow.cpp
@@ -18,10 +18,13 @@
 #include "StringUtils.h"
 #include "OS.h"
 #include "Options.h"
-#include "Parser.h"
 #include "Context.h"
 #include "drawContext.h"
 
+#if defined(HAVE_PARSER)
+#include "Parser.h"
+#endif
+
 #if defined(HAVE_PETSC)
 #include "petsc.h"
 #endif
@@ -257,7 +260,9 @@ void help_options_cb(Fl_Widget *w, void *data)
   std::transform(search.begin(), search.end(), search.begin(), ::tolower);
 
   PrintOptions(0, GMSH_FULLRC, diff, help, 0, &s0);
+#if defined(HAVE_PARSER)
   PrintParserSymbols(help, s0);
+#endif
 
   int top = FlGui::instance()->help->browser->topline();
   FlGui::instance()->help->browser->clear();
-- 
GitLab