diff options
| -rw-r--r-- | var/spack/repos/builtin/packages/bazel/fix_env_handling.patch | 7 | ||||
| -rw-r--r-- | var/spack/repos/builtin/packages/bazel/link.patch | 7 |
2 files changed, 12 insertions, 2 deletions
diff --git a/var/spack/repos/builtin/packages/bazel/fix_env_handling.patch b/var/spack/repos/builtin/packages/bazel/fix_env_handling.patch index 9be9f97d69..14deccf950 100644 --- a/var/spack/repos/builtin/packages/bazel/fix_env_handling.patch +++ b/var/spack/repos/builtin/packages/bazel/fix_env_handling.patch @@ -1,7 +1,7 @@ diff -pu bazel-0.3.1/src/main/java/com/google/devtools/build/lib/bazel/rules/BazelConfiguration.java bazel-0.3.1/src/main/java/com/google/devtools/build/lib/bazel/rules/BazelConfiguration.java --- bazel-0.3.1/src/main/java/com/google/devtools/build/lib/bazel/rules/BazelConfiguration.java 2016-09-14 11:56:01.565756979 +0200 +++ bazel-0.3.1/src/main/java/com/google/devtools/build/lib/bazel/rules/BazelConfiguration.java 2016-09-14 12:04:13.292839801 +0200 -@@ -92,5 +92,115 @@ public class BazelConfiguration extends +@@ -92,5 +92,120 @@ public class BazelConfiguration extends if (tmpdir != null) { builder.put("TMPDIR", tmpdir); } @@ -16,6 +16,11 @@ diff -pu bazel-0.3.1/src/main/java/com/google/devtools/build/lib/bazel/rules/Baz + builder.put("SPACK_ENV_PATH", spack_env_path); + } + ++ String spack_debug_log_id = System.getenv("SPACK_DEBUG_LOG_ID"); ++ if (spack_debug_log_id != null) { ++ builder.put("SPACK_DEBUG_LOG_ID", spack_debug_log_id); ++ } ++ + String spack_debug_log_dir = System.getenv("SPACK_DEBUG_LOG_DIR"); + if (spack_debug_log_dir != null) { + builder.put("SPACK_DEBUG_LOG_DIR", spack_debug_log_dir); diff --git a/var/spack/repos/builtin/packages/bazel/link.patch b/var/spack/repos/builtin/packages/bazel/link.patch index 69d100f62c..5c8824b87d 100644 --- a/var/spack/repos/builtin/packages/bazel/link.patch +++ b/var/spack/repos/builtin/packages/bazel/link.patch @@ -1,6 +1,6 @@ --- bazel-0.3.1/src/main/java/com/google/devtools/build/lib/rules/cpp/CppLinkAction.java 2016-07-29 10:22:16.000000000 +0200 +++ bazel-0.3.1/src/main/java/com/google/devtools/build/lib/rules/cpp/CppLinkAction.java 2016-10-13 15:21:35.036617890 +0200 -@@ -214,6 +214,130 @@ +@@ -214,6 +214,135 @@ .getParentDirectory() .getPathString()); } @@ -28,6 +28,11 @@ + result.put("SPACK_ENV_PATH", spack_env_path); + } + ++ String spack_debug_log_id = System.getenv("SPACK_DEBUG_LOG_ID"); ++ if (spack_debug_log_id != null) { ++ result.put("SPACK_DEBUG_LOG_ID", spack_debug_log_id); ++ } ++ + String spack_debug_log_dir = System.getenv("SPACK_DEBUG_LOG_DIR"); + if (spack_debug_log_dir != null) { + result.put("SPACK_DEBUG_LOG_DIR", spack_debug_log_dir); |