diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-12-13 23:41:49 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-12-13 23:41:49 +0000 |
commit | 19c8b8a8f8b32674ec998dbe20afef83b447a2fb (patch) | |
tree | e5c1c53092c4abd0ec982991c013a0e1ae8c4c7b /dev-lang/dafny/files/dafny-4.4.0-no-output-jar.patch | |
parent | ca04d5f1b74639bc2db1e371abbf0182fc431828 (diff) |
gentoo auto-resync : 13:12:2023 - 23:41:49
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>
|