44 compiler.object_file_extension =
"obj";
56 compiler.output_file_executable = values.back();
69 if(arg.is_infile_name)
70 compiler.add_input_file(arg.arg);
82 std::cout <<
"goto-link understands the options of " 83 <<
"link plus the following.\n\n";
const std::list< std::string > & get_values(const std::string &option) const
static unsigned eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)
Parse a (user-)provided string as a verbosity level and set it as the verbosity of dest...
std::string get_value(char option) const
std::string get_base_name(const std::string &in, bool strip_suffix)
cleans a filename from path and extension
bool set(const cmdlinet &cmdline)
virtual bool isset(char option) const
goto_cc_cmdlinet & cmdline
console_message_handlert message_handler
void help_mode() final
display command line help
virtual void help()
display command line help
ms_link_modet(goto_cc_cmdlinet &)
goto_programt coverage_criteriont message_handlert & message_handler