hybrid_binary.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Create hybrid binary with goto-binary section
 
Author: Daniel Kroening
 
Date: May 2018
 
\*******************************************************************/
 
 
#ifndef CPROVER_GOTO_CC_HYBRID_BINARY_H
#define CPROVER_GOTO_CC_HYBRID_BINARY_H
 
#include <string>
 
class message_handlert;
 
int hybrid_binary(
  const std::string &compiler_or_linker,
  const std::string &goto_binary_file,
  const std::string &output_file,
  bool building_executable,
  message_handlert &message_handler,
  bool linking_efi = false);
 
std::string objcopy_command(const std::string &compiler_or_linker);
 
#endif // CPROVER_GOTO_CC_HYBRID_BINARY_H