mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-07-26 08:55:57 +02:00
11 lines
865 B
Diff
11 lines
865 B
Diff
--- 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)" />
|