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 0 additions and 36 deletions
Showing only changes of commit 0015c7e4cd - Show all commits

View File

@@ -119,10 +119,6 @@
# 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);
};
garlicd = callPackage ./garlicd/default.nix {

View File

@@ -1,32 +0,0 @@
{
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 ${trebuchet}\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
'';
}