Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
2 changed files with 36 additions and 0 deletions
Showing only changes of commit b453c12253 - Show all commits

View File

@@ -118,6 +118,10 @@
# Takes a list of experiments and returns a file that contains
# all timetable results from the experiments.
merge = exps: mergeDatasets (map timetableFromTrebuchet exps);
# Automatic launcher
launcher = callPackage ./pp/launcher.nix { };
resultFromLauncher = l: import (builtins.readFile l);
};
# Apps for Garlic

32
garlic/pp/launcher.nix Normal file
View File

@@ -0,0 +1,32 @@
{
stdenv
}:
trebuchet:
stdenv.mkDerivation {
name = "launcher";
preferLocalBuild = true;
phases = [ "installPhase" ];
installPhase = ''
if [ ! -e /garlic/run ]; then
echo "Missing /garlic/run, cannot continue"
echo "Are you running the garlicd daemon?"
echo
echo "You can manually run the experiment and fetch the results with:"
echo
echo -e "\e[30;48;5;2mgarlic -RFv ${trebuchetStage}\e[0m"
echo
echo "See garlic(1) for more details."
exit 1
fi
echo ${trebuchet} >> /garlic/run
echo "Waiting for experiment results..."
results=$(cat /garlic/completed)
#ln -s $results $out
echo -n "$results" > $out
'';
}