From df18435dfc59781aebd2ca76524cdde4e281d5ff Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Date: Wed, 12 Aug 2020 14:00:04 +0200 Subject: [PATCH] Provide argvWrapper --- bsc/garlic/argv.nix | 25 +++++++++++++ bsc/garlic/default.nix | 9 +++-- bsc/garlic/exp/nbody/bs.nix | 71 ++++++++++++++++++++++++------------ bsc/garlic/launcher.nix | 13 ++++++- bsc/garlic/nbody/argv.nix | 29 +++++++++++++++ bsc/garlic/nbody/default.nix | 17 ++------- 6 files changed, 122 insertions(+), 42 deletions(-) create mode 100644 bsc/garlic/argv.nix create mode 100644 bsc/garlic/nbody/argv.nix diff --git a/bsc/garlic/argv.nix b/bsc/garlic/argv.nix new file mode 100644 index 0000000..5978cb3 --- /dev/null +++ b/bsc/garlic/argv.nix @@ -0,0 +1,25 @@ +{ + stdenv +}: + +{ + app +, argv # bash array as string, example: argv=''(-f "file with spaces" -t 10)'' +}: + +stdenv.mkDerivation { + inherit argv; + name = "${app.name}-argv"; + preferLocalBuild = true; + phases = [ "installPhase" ]; + dontPatchShebangs = true; + installPhase = '' + mkdir -p $out/bin + cat > $out/bin/run < $out/bin/run < $out/bin/run <