dafny: fix build by simulating gradle

2022-08-10 12:34:31 +02:00 · 2022-08-10 12:34:31 +02:00 · a3c2acc931
commit a3c2acc931
parent 4025de0789
1 changed files with 8 additions and 0 deletions
--- 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
    '';