diff options
Diffstat (limited to 'pkgs/development/tools/build-managers/boot/builder.sh')
-rw-r--r-- | pkgs/development/tools/build-managers/boot/builder.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/pkgs/development/tools/build-managers/boot/builder.sh b/pkgs/development/tools/build-managers/boot/builder.sh new file mode 100644 index 00000000000..a6073308920 --- /dev/null +++ b/pkgs/development/tools/build-managers/boot/builder.sh @@ -0,0 +1,13 @@ +source $stdenv/setup + +boot_bin=$out/bin/boot + +mkdir -pv $(dirname $boot_bin) +cp -v $src $boot_bin +chmod -v 755 $boot_bin + +patchShebangs $boot_bin + +wrapProgram $boot_bin \ + --set JAVA_HOME "${jdk}" \ + --prefix PATH ":" "${jdk}/bin" |