diff options
Diffstat (limited to 'dev-lang/dafny/files/dafny-4.4.0-no-output-jar.patch')
| -rw-r--r-- | dev-lang/dafny/files/dafny-4.4.0-no-output-jar.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/dev-lang/dafny/files/dafny-4.4.0-no-output-jar.patch b/dev-lang/dafny/files/dafny-4.4.0-no-output-jar.patch deleted file mode 100644 index 332fc4ffb49f..000000000000 --- a/dev-lang/dafny/files/dafny-4.4.0-no-output-jar.patch +++ /dev/null @@ -1,18 +0,0 @@ ---- 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>
|