nix: Restore mistakenly dropped instances of release profile usage

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Jan 6, 2024 · 0740758 · 0740758
1 parent d872e79
commit 0740758
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git a/hacking/nix/scope/world/capdl/sel4-capdl-initializer.nix b/hacking/nix/scope/world/capdl/sel4-capdl-initializer.nix
@@ -17,6 +17,8 @@ mkTask {
 
   rootCrate = crates.sel4-capdl-initializer;
 
+  release = true;
+
   rustTargetInfo = seL4RustTargetInfoWithConfig { minimal = true; };
 
   # release = false;

diff --git a/hacking/nix/scope/world/instances/microkit/banscii/default.nix b/hacking/nix/scope/world/instances/microkit/banscii/default.nix
@@ -25,13 +25,16 @@ let
   pds = {
     pl011-driver = mkPD rec {
       rootCrate = crates.banscii-pl011-driver;
+      release = true;
     };
     assistant = mkPD rec {
       rootCrate = crates.banscii-assistant;
+      release = true;
       rustTargetInfo = seL4RustTargetInfoWithConfig { microkit = true; minimal = false; };
     };
     artist = mkPD rec {
       rootCrate = crates.banscii-artist;
+      release = true;
       extraProfile = {
         # For RSA key generation
         build-override = {

diff --git a/hacking/nix/scope/world/instances/microkit/http-server/default.nix b/hacking/nix/scope/world/instances/microkit/http-server/default.nix
@@ -128,6 +128,7 @@ let
   pds = {
     http-server = mkPD {
       rootCrate = crates.microkit-http-server-example-server;
+      release = true;
       # layers = [
       #   crateUtils.defaultIntermediateLayer
       #   {
@@ -154,14 +155,17 @@ let
     };
     sp804-driver = mkPD {
       rootCrate = crates.microkit-http-server-example-sp804-driver;
+      release = true;
       inherit rustTargetInfo;
     };
     virtio-net-driver = mkPD {
       rootCrate = crates.microkit-http-server-example-virtio-net-driver;
+      release = true;
       inherit rustTargetInfo;
     };
     virtio-blk-driver = mkPD {
       rootCrate = crates.microkit-http-server-example-virtio-blk-driver;
+      release = true;
       inherit rustTargetInfo;
     };
   };