Just-mr: Add --local-launcher option

Also update just-mr section-1 man page

1 files changed, 8 insertions, 0 deletions

diff --git a/src/other_tools/just_mr/main.cpp b/src/other_tools/just_mr/main.cpp
index 7157034d..b479e1f2 100644
--- a/src/other_tools/just_mr/main.cpp
+++ b/src/other_tools/just_mr/main.cpp
@@ -1241,6 +1241,7 @@ void DefaultReachableRepositories(
 
     bool use_config{false};
     bool use_build_root{false};
+    bool use_launcher{false};
     std::optional<std::filesystem::path> mr_config_path{std::nullopt};
 
     if (subcommand and kKnownJustSubcommands.contains(*subcommand)) {
@@ -1256,6 +1257,7 @@ void DefaultReachableRepositories(
             }
         }
         use_build_root = kKnownJustSubcommands.at(*subcommand).build_root;
+        use_launcher = kKnownJustSubcommands.at(*subcommand).launch;
     }
     // build just command
     std::vector<std::string> cmd = {arguments.common.just_path->string()};
@@ -1270,6 +1272,12 @@ void DefaultReachableRepositories(
         cmd.emplace_back("--local-build-root");
         cmd.emplace_back(*arguments.common.just_mr_paths->root);
     }
+    if (use_launcher and arguments.common.local_launcher and
+        not arguments.common.local_launcher->empty()) {
+        cmd.emplace_back("--local-launcher");
+        cmd.emplace_back(
+            nlohmann::json(*arguments.common.local_launcher).dump());
+    }
     // forward logging arguments
     if (not arguments.log.log_files.empty()) {
         cmd.emplace_back("--log-append");