blob: 332fc4ffb49f06f59be33369723fe86cb19b6eb8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
--- a/Source/DafnyRuntime/DafnyRuntime.csproj
+++ b/Source/DafnyRuntime/DafnyRuntime.csproj
@@ -28,15 +28,5 @@
<PropertyGroup>
<DafnyRuntimeJar>DafnyRuntimeJava/build/libs/DafnyRuntime-4.4.0.jar</DafnyRuntimeJar>
</PropertyGroup>
- <Target Name="BuildDafnyRuntimeJar" AfterTargets="ResolveReferences" BeforeTargets="CoreCompile" Inputs="$(MSBuildProjectFile);@(DafnyRuntimeJavaInputFile)" Outputs="$(DafnyRuntimeJar)">
-
- <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. -->
- <ItemGroup>
- <!-- Register the generated file to be deleted when cleaning -->
- <FileWrites Include="$(DafnyRuntimeJar)" />
- </ItemGroup>
- </Target>
</Project>
|
