14 #ifndef CPROVER_GOTO_CC_LD_MODE_H 15 #define CPROVER_GOTO_CC_LD_MODE_H 32 const std::string &_base_name);
47 #endif // CPROVER_GOTO_CC_LD_MODE_H void help_mode() final
display command line help
const std::string goto_binary_tmp_suffix
int ld_hybrid_binary(compilet &compiler)
std::string native_tool_name
int run_ld()
call ld with original command line
gcc_message_handlert gcc_message_handler
Compile and link source and object files.
Command line interpretation for goto-cc.
ld_modet(goto_cc_cmdlinet &_cmdline, const std::string &_base_name)