Merge pull request #1772 from certik/rtl

Implement --get-rtl-dir

Author: certik

src/bin/lpython.cpp

@@ -809,9 +809,14 @@ int compile_python_to_object_file(
 
 #endif
 
-void do_print_rtlib_header_dir() {
-    std::string rtlib_header_dir = LCompilers::LPython::get_runtime_library_header_dir();
-    std::cout << rtlib_header_dir << std::endl;
+void do_print_rtl_header_dir() {
+    std::string rtl_header_dir = LCompilers::LPython::get_runtime_library_header_dir();
+    std::cout << rtl_header_dir << std::endl;
+}
+
+void do_print_rtl_dir() {
+    std::string rtl_dir = LCompilers::LPython::get_runtime_library_dir();
+    std::cout << rtl_dir << std::endl;
 }
 
 int compile_to_binary_wasm(
@@ -1436,7 +1441,8 @@ int main(int argc, char *argv[])
         std::string arg_backend = "llvm";
         std::string arg_kernel_f;
         bool print_targets = false;
-        bool print_rtlib_header_dir = false;
+        bool print_rtl_header_dir = false;
+        bool print_rtl_dir = false;
 
         std::string arg_fmt_file;
         // int arg_fmt_indent = 4;
@@ -1507,7 +1513,8 @@ int main(int argc, char *argv[])
         app.add_flag("--fast", compiler_options.fast, "Best performance (disable strict standard compliance)");
         app.add_option("--target", compiler_options.target, "Generate code for the given target")->capture_default_str();
         app.add_flag("--print-targets", print_targets, "Print the registered targets");
-        app.add_flag("--get-rtlib-header-dir", print_rtlib_header_dir, "Print the path to the runtime library header file");
+        app.add_flag("--get-rtl-header-dir", print_rtl_header_dir, "Print the path to the runtime library header file");
+        app.add_flag("--get-rtl-dir", print_rtl_dir, "Print the path to the runtime library file");
         app.add_flag("--verbose", compiler_options.verbose, "Print debugging statements");
 
         // LSP specific options
@@ -1585,8 +1592,13 @@ int main(int argc, char *argv[])
 #endif
         }
 
-        if (print_rtlib_header_dir) {
-            do_print_rtlib_header_dir();
+        if (print_rtl_header_dir) {
+            do_print_rtl_header_dir();
+            return 0;
+        }
+
+        if (print_rtl_dir) {
+            do_print_rtl_dir();
             return 0;
         }