ms_link_mode.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Visual Studio Link Mode
 
Author: Daniel Kroening
 
\*******************************************************************/
 
 
#include "ms_link_mode.h"
 
#include <iostream>
 
#include <util/config.h>
#include <util/get_base_name.h>
 
#include "compile.h"
#include "goto_cc_cmdline.h"
 
ms_link_modet::ms_link_modet(goto_cc_cmdlinet &_cmdline)
  : goto_cc_modet(_cmdline, "link", message_handler)
{
}
 
int ms_link_modet::doit()
{
  if(cmdline.isset("help"))
  {
    help();
    return 0;
  }
 
  messaget::eval_verbosity(
    cmdline.get_value("verbosity"), messaget::M_ERROR, message_handler);
 
  compilet compiler(cmdline, message_handler, false);
 
  // determine actions to be undertaken
  compiler.mode = compilet::LINK_LIBRARY;
 
  // get configuration
  config.set(cmdline);
 
  compiler.object_file_extension = "obj";
 
  if(cmdline.isset("LIBPATH"))
    compiler.library_paths = cmdline.get_values("LIBPATH");
  // Don't add the system paths!
 
  if(cmdline.isset("OUT"))
  {
    // This must be a file, not a directory.
    // If the option is given multiple times, the last instance wins.
    const auto &values = cmdline.get_values("OUT");
    if(!values.empty())
      compiler.output_file_executable = values.back();
  }
  else
  {
    // The first input file is used to determine the default
    // name of the executable.
    if(!cmdline.args.empty())
      compiler.output_file_executable = get_base_name(cmdline.args[0], true)+".exe";
  }
 
  // We now iterate over any input files
 
  for(const auto &arg : cmdline.parsed_argv)
    if(arg.is_infile_name)
      compiler.add_input_file(arg.arg);
 
  // do all the rest
  if(compiler.doit())
    return 1;
 
  return 0;
}
 
void ms_link_modet::help_mode()
{
  std::cout << "goto-link understands the options of "
            << "link plus the following.\n\n";
}