Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit 6818b29d02 - Show all commits

View File

@@ -79,9 +79,22 @@ let
preSrun = ''
cp -r ${input}/SodTubeBenchmark/* .
chmod +w -R .
rm -f nanos6.toml
'';
};
exec = {nextStage, conf, ...}: with conf; stages.exec {
inherit nextStage;
env = ''
export NANOS6_CONFIG_OVERRIDE="version.dependencies=regions"
'';
# Remove restarts as is not needed and is huge
post = ''
rm -rf restarts || true
'';
};
# Creams program
creams = {nextStage, conf, ...}: with conf;
let
@@ -96,7 +109,7 @@ let
# Replace the stdandard srun stage with our own
srun = customSrun;
};
} ++ [ creams ];
} ++ [ exec creams ];
in