diff options
Diffstat (limited to 'pkgs/development/compilers/mozart/builder.sh')
| -rw-r--r-- | pkgs/development/compilers/mozart/builder.sh | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/pkgs/development/compilers/mozart/builder.sh b/pkgs/development/compilers/mozart/builder.sh index 75914121611..b606d4c1bde 100644 --- a/pkgs/development/compilers/mozart/builder.sh +++ b/pkgs/development/compilers/mozart/builder.sh @@ -12,13 +12,15 @@ 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 + 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 \ + --set TK_LIBRARY $TK_LIBRARY done |