diff --git a/Fltk/helpWindow.cpp b/Fltk/helpWindow.cpp index 74de1ba84db59317f0955b883a6f19705ba12b84..cc9362dfb5404a486a2dfe1d49d82f0a4e9bdf96 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();