diff --git a/src/goto-cc/compile.h b/src/goto-cc/compile.h index 6f1f7117a5e..d81cdba809d 100644 --- a/src/goto-cc/compile.h +++ b/src/goto-cc/compile.h @@ -27,13 +27,10 @@ class compilet : public messaget { public: // compilation results - namespacet ns; goto_modelt goto_model; // configuration bool echo_file_name; - std::string working_directory; - std::string override_language; bool validate_goto_model = false; enum { PREPROCESS_ONLY, // gcc -E @@ -48,8 +45,6 @@ class compilet : public messaget std::list source_files; std::list object_files; std::list libraries; - std::list tmp_dirs; - std::list seen_modes; std::string object_file_extension; std::string output_file_executable; @@ -93,6 +88,14 @@ class compilet : public messaget } protected: + namespacet ns; + + std::string working_directory; + std::string override_language; + + std::list tmp_dirs; + std::list seen_modes; + cmdlinet &cmdline; bool warning_is_fatal;