diff options
Diffstat (limited to 'pkgs/top-level/dotnet-packages.nix')
| -rw-r--r-- | pkgs/top-level/dotnet-packages.nix | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix index 53d9d51ad4c6..5688a6800e67 100644 --- a/pkgs/top-level/dotnet-packages.nix +++ b/pkgs/top-level/dotnet-packages.nix @@ -183,6 +183,14 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; { sha256 = "1knv6zvpq0bnngmlwkcqgjpdkqsgbiihs6a0cycb8ssn18s4ippr"; }; + postPatch = '' + cp ${pkgs.writeScript "fake-gradlew-for-dafny" '' + mkdir -p build/libs/ + javac $(find -name "*.java" | grep "^./src/main") -d classes + jar cf build/libs/DafnyRuntime.jar -C classes dafny + ''} Source/DafnyRuntime/DafnyRuntimeJava/gradlew + ''; + preBuild = '' ln -s ${pkgs.z3} Binaries/z3 ''; |