diff options
Diffstat (limited to 'pkgs/development/compilers/mozart/builder.sh')
-rw-r--r-- | pkgs/development/compilers/mozart/builder.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/pkgs/development/compilers/mozart/builder.sh b/pkgs/development/compilers/mozart/builder.sh new file mode 100644 index 00000000000..75914121611 --- /dev/null +++ b/pkgs/development/compilers/mozart/builder.sh @@ -0,0 +1,24 @@ +source $stdenv/setup + +echo "unpacking $src..." +tar xvfz $src + +mkdir -p $out/bin +mkdir -p $out/share + +mv mozart*linux/bin/* $out/bin +mv mozart*linux/share/* $out/share + +patchShebangs $out + +for f in $out/bin/*; do + b=$(basename $f) + if [ $b == "ozemulator" ] || [ $b == "ozwish" ]; then + patchelf --interpreter "$(cat $NIX_CC/nix-support/dynamic-linker)" \ + --set-rpath $libPath \ + $f + continue; + fi + wrapProgram $f \ + --set OZHOME $out +done |