diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/gtk-sharp/builder.sh')
-rw-r--r-- | nixpkgs/pkgs/development/libraries/gtk-sharp/builder.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/libraries/gtk-sharp/builder.sh b/nixpkgs/pkgs/development/libraries/gtk-sharp/builder.sh new file mode 100644 index 000000000000..4b8f757540b5 --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/gtk-sharp/builder.sh @@ -0,0 +1,11 @@ +source $stdenv/setup + +genericBuild + +# !!! hack +export ALL_INPUTS="$out $pkgs" + +find $out -name "*.dll.config" | while read configFile; do + echo "modifying config file $configFile" + $monoDLLFixer "$configFile" +done |