diff options
| -rw-r--r-- | third_party/overlays/patches/crate2nix-tests-debug.patch | 12 | ||||
| -rw-r--r-- | third_party/overlays/tvl.nix | 5 | ||||
| -rw-r--r-- | tvix/Cargo.nix | 1 |
3 files changed, 17 insertions, 1 deletions
diff --git a/third_party/overlays/patches/crate2nix-tests-debug.patch b/third_party/overlays/patches/crate2nix-tests-debug.patch new file mode 100644 index 000000000000..384178c805f7 --- /dev/null +++ b/third_party/overlays/patches/crate2nix-tests-debug.patch @@ -0,0 +1,12 @@ +diff --git a/templates/nix/crate2nix/default.nix b/templates/nix/crate2nix/default.nix +index 4eefda8..d064118 100644 +--- a/templates/nix/crate2nix/default.nix ++++ b/templates/nix/crate2nix/default.nix +@@ -111,6 +111,7 @@ rec { + ( + _: { + buildTests = true; ++ release = false; + } + ); + # If the user hasn't set any pre/post commands, we don't want to diff --git a/third_party/overlays/tvl.nix b/third_party/overlays/tvl.nix index fd6b35163ebc..3a4664631797 100644 --- a/third_party/overlays/tvl.nix +++ b/third_party/overlays/tvl.nix @@ -94,7 +94,10 @@ depot.nix.readTree.drvTargets { hash = "sha256-JTMe8GViCQt51WUiaaoIPmWtwEeeYrl6pBxo2DNuKig="; }; - patches = [ ./patches/crate2nix-run-tests-in-build-source.patch ]; + patches = [ + ./patches/crate2nix-tests-debug.patch + ./patches/crate2nix-run-tests-in-build-source.patch + ]; sourceRoot = "${src.name}/crate2nix"; diff --git a/tvix/Cargo.nix b/tvix/Cargo.nix index 628ceb9f621f..b53ae3477615 100644 --- a/tvix/Cargo.nix +++ b/tvix/Cargo.nix @@ -13342,6 +13342,7 @@ rec { ( _: { buildTests = true; + release = false; } ); # If the user hasn't set any pre/post commands, we don't want to |