SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
SSHSettings.cpp
Go to the documentation of this file.
1 #include "SSHSettings.h"
2 
3 #include <benchmax/config.h>
5 
6 namespace benchmax {
7 namespace settings {
8 
10  namespace po = boost::program_options;
11  auto& settings = settings::Settings::getInstance();
12  auto& s = settings.get<SSHBackendSettings>("backend-ssh");
13 
14 #ifdef BENCHMAX_SSH
15  parser->add("SSH Backend settings").add_options()
16 #else
17  parser->add("SSH Backend settings (disabled)").add_options()
18 #endif
19  ("ssh.node", po::value<std::vector<std::string>>(&s.nodes), "remote computation nodes")
20  ("ssh.basedir", po::value<std::string>(&s.basedir)->default_value("~/"), "remote base directory")
21  ("ssh.tmpdir", po::value<std::string>(&s.tmpdir)->default_value("/tmp/"), "remote temporary directory")
22  ("ssh.wallclock", po::bool_switch(&s.use_wallclock), "use wall clock for timeout")
23  ("ssh.resolvedeps", po::bool_switch(&s.resolve_deps), "resolve and upload dependencies of binary")
24  ;
25 }
26 }
27 }
Generic class to manage settings parsing using boost::program_options.
void registerSSHBackendSettings(SettingsParser *parser)
Registers SSH settings with settings parser.
Definition: SSHSettings.cpp:9
Settings for SSH backend.
Definition: SSHSettings.h:9