diff options
author | Guillaume Maudoux <guillaume.maudoux@tweag.io> | 2022-08-10 12:34:31 +0200 |
---|---|---|
committer | whonore <wolfhonore@gmail.com> | 2023-04-29 18:54:04 -0400 |
commit | a3c2acc931fca975bd51aa0a07180036bfb75c2c (patch) | |
tree | 6257eb1c581e6535ddd3d0818f7a5ce9ba410e4e /pkgs/top-level/dotnet-packages.nix | |
parent | 4025de07898e602876cb55ad636ff8857ed7b50f (diff) | |
download | nixlib-a3c2acc931fca975bd51aa0a07180036bfb75c2c.tar nixlib-a3c2acc931fca975bd51aa0a07180036bfb75c2c.tar.gz nixlib-a3c2acc931fca975bd51aa0a07180036bfb75c2c.tar.bz2 nixlib-a3c2acc931fca975bd51aa0a07180036bfb75c2c.tar.lz nixlib-a3c2acc931fca975bd51aa0a07180036bfb75c2c.tar.xz nixlib-a3c2acc931fca975bd51aa0a07180036bfb75c2c.tar.zst nixlib-a3c2acc931fca975bd51aa0a07180036bfb75c2c.zip |
dafny: fix build by simulating gradle
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 ''; |