diff options
Diffstat (limited to 'dev-lang/dafny/files/dafny-3.12.0-DafnyRuntime-csproj.patch')
-rw-r--r-- | dev-lang/dafny/files/dafny-3.12.0-DafnyRuntime-csproj.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-lang/dafny/files/dafny-3.12.0-DafnyRuntime-csproj.patch b/dev-lang/dafny/files/dafny-3.12.0-DafnyRuntime-csproj.patch new file mode 100644 index 000000000000..452763ef967d --- /dev/null +++ b/dev-lang/dafny/files/dafny-3.12.0-DafnyRuntime-csproj.patch @@ -0,0 +1,11 @@ +--- a/Source/DafnyRuntime/DafnyRuntime.csproj ++++ b/Source/DafnyRuntime/DafnyRuntime.csproj +@@ -33,8 +33,6 @@ + <Message Text="Compiling DafnyRuntimeJava to $(DafnyRuntimeJar)..." Importance="high" />
+ <!-- For some reason the DafnyRuntime.jar was often not (yet?) created after this Target was run, leading to build failures.
+ We've removed the 'clean' step that was before 'build', so the DafnyRuntime.jar from a previous run can be used. -->
+- <Exec WorkingDirectory="DafnyRuntimeJava" Condition="!$([MSBuild]::IsOSPlatform('Windows'))" Command="./gradlew build" />
+- <Exec WorkingDirectory="DafnyRuntimeJava" Condition="$([MSBuild]::IsOSPlatform('Windows'))" Command="./gradlew.bat build" />
+ <ItemGroup>
+ <!-- Register the generated file to be deleted when cleaning -->
+ <FileWrites Include="$(DafnyRuntimeJar)" />
|