1source $stdenv/setup 2 3boot_bin=$out/bin/boot 4 5mkdir -pv $(dirname $boot_bin) 6cp -v $src $boot_bin 7chmod -v 755 $boot_bin 8 9patchShebangs $boot_bin 10 11wrapProgram $boot_bin \ 12 --set JAVA_HOME "${jdk}" \ 13 --prefix PATH ":" "${jdk}/bin"