Merge pull request #507 from madsbk/master

Fixed #499
bh107 · Feb 20, 2018 · edf88ab · edf88ab
2 parents f38d5e8 + 12ad795
commit edf88ab
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/core/jitk/codegen_util.cpp b/core/jitk/codegen_util.cpp
@@ -53,14 +53,22 @@ boost::filesystem::path write_source2file(const std::string &src,
 }
 
 boost::filesystem::path get_tmp_path(const ConfigParser &config) {
-    boost::filesystem::path tmp_path;
+    boost::filesystem::path tmp_path, unique_path;
     const boost::filesystem::path tmp_dir = config.defaultGet<boost::filesystem::path>("tmp_dir", "");
     if (tmp_dir.empty()) {
         tmp_path = boost::filesystem::temp_directory_path();
     } else {
         tmp_path = boost::filesystem::path(tmp_dir);
     }
-    return tmp_path / boost::filesystem::unique_path("bh_%%%%");
+    // On some systems `boost::filesystem::unique_path()` throws a runtime error
+    // when `LC_ALL` is undefined (or invalid). In this case, we set `LC_ALL=C` and try again.
+    try {
+        unique_path = boost::filesystem::unique_path("bh_%%%%");
+    } catch(std::runtime_error &e) {
+        setenv("LC_ALL", "C", 1); // Force C locale
+        unique_path = boost::filesystem::unique_path("bh_%%%%");
+    }
+    return tmp_path / unique_path;
 }
 
 void create_directories(const boost::filesystem::path &path) {