47 compiler.object_file_extension =
"obj";
59 compiler.output_file_executable = values.back();
72 if(arg.is_infile_name)
85 std::cout <<
"goto-link understands the options of "
86 <<
"link plus the following.\n\n";
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
std::string get_value(char option) const
virtual bool isset(char option) const
const std::list< std::string > & get_values(const std::string &option) const
bool set(const cmdlinet &cmdline)
goto_cc_cmdlinet & cmdline
void help()
display command line help
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.
ms_link_modet(goto_cc_cmdlinet &)
cl_message_handlert message_handler
void help_mode() final
display command line help
Compile and link source and object files.
std::string get_base_name(const std::string &in, bool strip_suffix)
cleans a filename from path and extension
Command line interpretation for goto-cc.