From 19c8b8a8f8b32674ec998dbe20afef83b447a2fb Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Wed, 13 Dec 2023 23:41:49 +0000 Subject: gentoo auto-resync : 13:12:2023 - 23:41:49 --- dev-lang/Manifest.gz | Bin 21170 -> 21173 bytes dev-lang/dafny/Manifest | 4 +- dev-lang/dafny/dafny-4.4.0-r1.ebuild | 592 +++++++++++++++++++++ dev-lang/dafny/dafny-4.4.0.ebuild | 558 ------------------- dev-lang/dafny/files/dafny-4.4.0-no-copy-jar.patch | 21 - .../dafny/files/dafny-4.4.0-no-output-jar.patch | 18 - 6 files changed, 593 insertions(+), 600 deletions(-) create mode 100644 dev-lang/dafny/dafny-4.4.0-r1.ebuild delete mode 100644 dev-lang/dafny/dafny-4.4.0.ebuild delete mode 100644 dev-lang/dafny/files/dafny-4.4.0-no-copy-jar.patch delete mode 100644 dev-lang/dafny/files/dafny-4.4.0-no-output-jar.patch (limited to 'dev-lang') diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz index fa530aa4d474..70b9facde33d 100644 Binary files a/dev-lang/Manifest.gz and b/dev-lang/Manifest.gz differ diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index 018f7181ec1f..e8e4e4b4a3d7 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -5,8 +5,6 @@ AUX dafny-4.2.0-lit-use-system-boogie.patch 531 BLAKE2B a9b37e00fcbd204e525caecd AUX dafny-4.3.0-net6.0-upgrade.patch 949 BLAKE2B 3ea7a94a6786193c35228ed721140b1304b706ae14398e718d55a7d1a6469af63534b82d24ed52c34e12996d89ef196472b322c10fdeef16fd922cd17f920734 SHA512 f5fb2dcb40078038b26525e986004612c6d161904ffb3379d15e4c4082a1d9e04218ab4a6800e095e11636f1b0f2743415b91fb2b0ce9ec1aa797257782e103c AUX dafny-4.4.0-lit-config.patch 421 BLAKE2B 70c442fd505fbe350e31212ee23746d2b43c8f713de004a8ea0c801d46be5bf98f7a2feddad94ed91661621003ae6d20c10e57b3c8a7ecd8699a012507535740 SHA512 9c010d990ebfc6ba046c61489a138f4047ed7e17121f093fac19bee274baa40fc1fbff11d6f637aaf93e55de69c30709b53291fd3991adf9938d811f6c1f9599 AUX dafny-4.4.0-lit-system-boogie.patch 623 BLAKE2B e10f224ad87ce64af785b8f2409395d69824c921be51b6271c2c1beaf3d2020a293dadd5b2735aed32d25737431bd6d4307ac7ee28cfd3753393ac262d88395c SHA512 97e06ec2ad1f1086aeb8726f90a0316ff1d1ccfd6aaaeadd00f913d79c5e88abaa7f6ea7899a0f37ae521ad27f674bb4cbce9b7f25a1b5ee462c06adf594d146 -AUX dafny-4.4.0-no-copy-jar.patch 885 BLAKE2B 898da1cef1d53532cf7426a46877ce17f1351d76ec73c5c1482de1dbc9c5241fe1c952c7eacd565a639261a2ecf61132eae38a04cd794c4178acf0d365195163 SHA512 11c0bf2088b7fae2ec714b5ead4cfc9381a51a8946d32ae33147fba54072c275b6775195cc16bf1c232fc1b5799317c72d785de4097cd9dc9340e6ff2fffe28c -AUX dafny-4.4.0-no-output-jar.patch 987 BLAKE2B d75565200cdd120def48af780e6b11d0ae8f5e9f1192ad6c4930d807f982fea235dc9a50502c68eaf4c55529465a972e2442efd3ec8fd1947bbd295d643a518d SHA512 10e421ccfaed82f756219003d046605595974d4359aa58085a9d7affedc921b506432af05acc11bd918d322f363724ab850a8e8fa2714bf9bbcd86f99b3955ce DIST bignumber.js-9.1.2.tgz 79226 BLAKE2B 3d2ff19d73a6fcfbcc0d03d1e9808796baae639e19973cbe0c26af4b514abc299129b8a7bc3e4e803c61af44b76f4381b1965d8fa331ea43e8a4c8fc7f98d8e7 SHA512 dbf98ac991fd2bce5bcce11f8570c11594c6775093b3ee481e9785428f65ba2046ee1821742f39d4f8f658085be84dd1e9bf6d663fd72a16e0e1fba6f8a7a9ba DIST boogie.abstractinterpretation.2.16.8.nupkg 29244 BLAKE2B 0e8deed122c8109b145bd2fe8f4134dbb9dfac1b934081b45e5ce89ce9147d47e6b26f6408fe47a9fb3228f8eaf783e289062991d07580d21b4092b36e6571e7 SHA512 04dcf0db58ced0f65ded090a7429bb213c9f45c7387ea0cf20f4c37ecd7630d03ead35e8029cd416296df6c5e9d2ca0cbd1c329b90fe96c19669cbf0be8828e6 DIST boogie.abstractinterpretation.3.0.9.nupkg 29646 BLAKE2B 20b0e150d3a9a6ed11a24cd9920a97971d515207d86864a9b1cd4d554b2b3c34e27778051a9bf6d8b3178352a6cfbb33c363b2d69958f6503e17e366ca3e1147 SHA512 26b75a409b4bfe5dd4ac982ca2c1b03df2118254a9becaab74f4d44b652746faa0448ab943ee9177f6a0fd105f8ce015a4403b6ff58df12201b542c50618b222 @@ -375,5 +373,5 @@ DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e DIST xunit.runner.visualstudio.2.5.1.nupkg 348549 BLAKE2B 530ffc6b699a1589ad6a7fb5aa826d7238b63ea8dcd13ce5705a3d29a0ba70edeac2d9950cd1a00a13a779add761e4e14335689051a43b4cd662a330734e4df7 SHA512 0cc7887e7c7c3315db31aab79df236db9b5542e0234c27543dd5b11cf917674a8fdebc384e7331663b08d586fcf20628479a20ad7edbed4e61667903e812c6f0 DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1 EBUILD dafny-4.3.0-r1.ebuild 19287 BLAKE2B 3d9e22094a7fc2f6ec8117760a1d009cf338f42c2a81becdffcbb17a828207473a11e7cb42d4e5e8013629ef77473b691240bb9cc06a76b869a3114428189bd7 SHA512 854890a61314c76b55bc823f730979f9d06d4f67abb65012f4ad2d2fbdf826d5845a268a0239f33169c8d6aae34acadbe85877358cb9eaaf0fb796d93c79cc13 -EBUILD dafny-4.4.0.ebuild 17918 BLAKE2B 22c57059fccf1a6ff66563f9a8405bbb5240326d4cd0d694ae81785f8ab4dcd163308f31b9e4a5971062e075da3ebc852fdb1e9737b2821c8f689d991355cded SHA512 21e1f06dcfc025d8b6ed3da3ca91b4037498badc47e158a424f58bd603d88dbdb07916f863b076bb42caa61569aff4db657092041a808c7343592bc247a919a9 +EBUILD dafny-4.4.0-r1.ebuild 18792 BLAKE2B 358087074aaf1b24fd56f202a171baa06bd9b008a79b228b0b2b8d1268cec4c657934dbe1c65aede09d1d9717f60a7512dfe14052f720115fcf8e9c235543ec5 SHA512 3e59ae339b0795b08de1d6eb319ae79717628f1920b8d5c1d64f4760f18f681d2a978b5e6b875c304380d328c72485dcbd2e634ec781b1b531c7033bf1c286da MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e diff --git a/dev-lang/dafny/dafny-4.4.0-r1.ebuild b/dev-lang/dafny/dafny-4.4.0-r1.ebuild new file mode 100644 index 000000000000..617b0a373ba8 --- /dev/null +++ b/dev-lang/dafny/dafny-4.4.0-r1.ebuild @@ -0,0 +1,592 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +PYTHON_COMPAT=( python3_{10..12} ) + +DOTNET_PKG_COMPAT=6.0 +NUGETS=" +boogie.abstractinterpretation@3.0.9 +boogie.basetypes@3.0.9 +boogie.codecontractsextender@3.0.9 +boogie.concurrency@3.0.9 +boogie.core@3.0.9 +boogie.executionengine@3.0.9 +boogie.graph@3.0.9 +boogie.houdini@3.0.9 +boogie.model@3.0.9 +boogie.provers.smtlib@3.0.9 +boogie.vcexpr@3.0.9 +boogie.vcgeneration@3.0.9 +castle.core@4.4.0 +commandlineparser@2.8.0 +commandlineparser@2.9.1 +coverlet.collector@3.2.0 +diffplex@1.7.0 +humanizer.core@2.2.0 +jetbrains.annotations@2021.1.0 +mediatr@8.1.0 +microsoft.bcl.asyncinterfaces@1.1.1 +microsoft.bcl.asyncinterfaces@5.0.0 +microsoft.bcl.asyncinterfaces@6.0.0 +microsoft.build.framework@17.0.0 +microsoft.build.locator@1.4.1 +microsoft.build.tasks.core@17.0.0 +microsoft.build.utilities.core@17.0.0 +microsoft.build@17.0.0 +microsoft.codeanalysis.analyzers@3.0.0 +microsoft.codeanalysis.analyzers@3.3.2 +microsoft.codeanalysis.common@3.7.0 +microsoft.codeanalysis.common@4.0.1 +microsoft.codeanalysis.csharp.workspaces@4.0.1 +microsoft.codeanalysis.csharp@3.7.0 +microsoft.codeanalysis.csharp@4.0.1 +microsoft.codeanalysis.visualbasic.workspaces@4.0.1 +microsoft.codeanalysis.visualbasic@4.0.1 +microsoft.codeanalysis.workspaces.common@4.0.1 +microsoft.codeanalysis.workspaces.msbuild@4.0.1 +microsoft.codeanalysis@4.0.1 +microsoft.codecoverage@16.11.0 +microsoft.codecoverage@16.9.4 +microsoft.codecoverage@17.1.0 +microsoft.csharp@4.0.1 +microsoft.dotnet.platformabstractions@2.0.4 +microsoft.extensions.configuration.abstractions@2.0.0 +microsoft.extensions.configuration.abstractions@5.0.0 +microsoft.extensions.configuration.binder@2.0.0 +microsoft.extensions.configuration.binder@5.0.0 +microsoft.extensions.configuration.commandline@5.0.0 +microsoft.extensions.configuration.fileextensions@5.0.0 +microsoft.extensions.configuration.json@5.0.0 +microsoft.extensions.configuration@2.0.0 +microsoft.extensions.configuration@5.0.0 +microsoft.extensions.dependencyinjection.abstractions@2.0.0 +microsoft.extensions.dependencyinjection.abstractions@5.0.0 +microsoft.extensions.dependencyinjection@2.0.0 +microsoft.extensions.dependencyinjection@5.0.0 +microsoft.extensions.dependencymodel@2.0.4 +microsoft.extensions.fileproviders.abstractions@5.0.0 +microsoft.extensions.fileproviders.physical@5.0.0 +microsoft.extensions.filesystemglobbing@5.0.0 +microsoft.extensions.logging.abstractions@2.0.0 +microsoft.extensions.logging.abstractions@5.0.0 +microsoft.extensions.logging.configuration@5.0.0 +microsoft.extensions.logging.console@5.0.0 +microsoft.extensions.logging@2.0.0 +microsoft.extensions.logging@5.0.0 +microsoft.extensions.options.configurationextensions@2.0.0 +microsoft.extensions.options.configurationextensions@5.0.0 +microsoft.extensions.options@2.0.0 +microsoft.extensions.options@5.0.0 +microsoft.extensions.primitives@2.0.0 +microsoft.extensions.primitives@5.0.0 +microsoft.net.stringtools@1.0.0 +microsoft.net.test.sdk@16.11.0 +microsoft.net.test.sdk@16.9.4 +microsoft.net.test.sdk@17.1.0 +microsoft.netcore.platforms@1.0.1 +microsoft.netcore.platforms@1.1.0 +microsoft.netcore.platforms@2.1.2 +microsoft.netcore.platforms@3.0.0 +microsoft.netcore.platforms@3.1.0 +microsoft.netcore.targets@1.0.1 +microsoft.netcore.targets@1.1.0 +microsoft.netframework.referenceassemblies.net452@1.0.2 +microsoft.netframework.referenceassemblies@1.0.2 +microsoft.testplatform.extensions.trxlogger@17.0.0 +microsoft.testplatform.objectmodel@16.11.0 +microsoft.testplatform.objectmodel@16.9.4 +microsoft.testplatform.objectmodel@17.0.0 +microsoft.testplatform.objectmodel@17.1.0 +microsoft.testplatform.testhost@16.11.0 +microsoft.testplatform.testhost@16.9.4 +microsoft.testplatform.testhost@17.1.0 +microsoft.visualstudio.threading.analyzers@16.7.56 +microsoft.visualstudio.threading@16.7.56 +microsoft.visualstudio.validation@15.5.31 +microsoft.win32.primitives@4.3.0 +microsoft.win32.registry@4.3.0 +microsoft.win32.registry@4.6.0 +microsoft.win32.systemevents@4.7.0 +microsoft.win32.systemevents@6.0.0 +moq@4.16.1 +nerdbank.streams@2.6.81 +netstandard.library@1.6.1 +netstandard.library@2.0.3 +newtonsoft.json@11.0.2 +newtonsoft.json@13.0.1 +newtonsoft.json@9.0.1 +nuget.frameworks@5.0.0 +nuget.frameworks@5.11.0 +omnisharp.extensions.jsonrpc.generators@0.19.5 +omnisharp.extensions.jsonrpc.testing@0.19.5 +omnisharp.extensions.jsonrpc@0.19.5 +omnisharp.extensions.languageclient@0.19.5 +omnisharp.extensions.languageprotocol.testing@0.19.5 +omnisharp.extensions.languageprotocol@0.19.5 +omnisharp.extensions.languageserver.shared@0.19.5 +omnisharp.extensions.languageserver@0.19.5 +rangetree@3.0.1 +runtime.any.system.collections@4.3.0 +runtime.any.system.diagnostics.tools@4.3.0 +runtime.any.system.diagnostics.tracing@4.3.0 +runtime.any.system.globalization.calendars@4.3.0 +runtime.any.system.globalization@4.3.0 +runtime.any.system.io@4.3.0 +runtime.any.system.reflection.extensions@4.3.0 +runtime.any.system.reflection.primitives@4.3.0 +runtime.any.system.reflection@4.3.0 +runtime.any.system.resources.resourcemanager@4.3.0 +runtime.any.system.runtime.handles@4.3.0 +runtime.any.system.runtime.interopservices@4.3.0 +runtime.any.system.runtime@4.3.0 +runtime.any.system.text.encoding.extensions@4.3.0 +runtime.any.system.text.encoding@4.3.0 +runtime.any.system.threading.tasks@4.3.0 +runtime.any.system.threading.timer@4.3.0 +runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0 +runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0 +runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0 +runtime.native.system.io.compression@4.3.0 +runtime.native.system.net.http@4.3.0 +runtime.native.system.security.cryptography.apple@4.3.0 +runtime.native.system.security.cryptography.openssl@4.3.0 +runtime.native.system@4.0.0 +runtime.native.system@4.3.0 +runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0 +runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0 +runtime.osx.10.10-x64.runtime.native.system.security.cryptography.apple@4.3.0 +runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0 +runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0 +runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0 +runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0 +runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0 +runtime.unix.microsoft.win32.primitives@4.3.0 +runtime.unix.system.console@4.3.0 +runtime.unix.system.diagnostics.debug@4.3.0 +runtime.unix.system.io.filesystem@4.3.0 +runtime.unix.system.net.primitives@4.3.0 +runtime.unix.system.net.sockets@4.3.0 +runtime.unix.system.private.uri@4.3.0 +runtime.unix.system.runtime.extensions@4.3.0 +serilog.extensions.logging@3.0.1 +serilog.settings.configuration@3.1.0 +serilog.sinks.debug@2.0.0 +serilog.sinks.file@5.0.0 +serilog.sinks.inmemory@0.11.0 +serilog@2.10.0 +serilog@2.12.0 +system.appcontext@4.1.0 +system.appcontext@4.3.0 +system.buffers@4.3.0 +system.buffers@4.4.0 +system.codedom@4.4.0 +system.collections.concurrent@4.3.0 +system.collections.immutable@1.5.0 +system.collections.immutable@1.7.0 +system.collections.immutable@1.7.1 +system.collections.immutable@5.0.0 +system.collections.nongeneric@4.0.1 +system.collections.nongeneric@4.3.0 +system.collections.specialized@4.0.1 +system.collections.specialized@4.3.0 +system.collections@4.0.11 +system.collections@4.3.0 +system.commandline@2.0.0-beta4.22272.1 +system.componentmodel.primitives@4.3.0 +system.componentmodel.typeconverter@4.3.0 +system.componentmodel@4.3.0 +system.composition.attributedmodel@1.0.31 +system.composition.convention@1.0.31 +system.composition.hosting@1.0.31 +system.composition.runtime@1.0.31 +system.composition.typedparts@1.0.31 +system.composition@1.0.31 +system.configuration.configurationmanager@4.7.0 +system.configuration.configurationmanager@6.0.0 +system.console@4.3.0 +system.diagnostics.debug@4.0.11 +system.diagnostics.debug@4.3.0 +system.diagnostics.diagnosticsource@4.3.0 +system.diagnostics.tools@4.0.1 +system.diagnostics.tools@4.3.0 +system.diagnostics.tracesource@4.3.0 +system.diagnostics.tracing@4.3.0 +system.drawing.common@4.7.0 +system.drawing.common@6.0.0 +system.dynamic.runtime@4.0.11 +system.dynamic.runtime@4.3.0 +system.globalization.calendars@4.3.0 +system.globalization.extensions@4.0.1 +system.globalization.extensions@4.3.0 +system.globalization@4.0.11 +system.globalization@4.3.0 +system.io.compression.zipfile@4.3.0 +system.io.compression@4.3.0 +system.io.filesystem.primitives@4.0.1 +system.io.filesystem.primitives@4.3.0 +system.io.filesystem@4.0.1 +system.io.filesystem@4.3.0 +system.io.pipelines@4.7.3 +system.io.pipelines@5.0.1 +system.io@4.1.0 +system.io@4.3.0 +system.linq.async@6.0.1 +system.linq.expressions@4.1.0 +system.linq.expressions@4.3.0 +system.linq@4.1.0 +system.linq@4.3.0 +system.memory@4.5.3 +system.memory@4.5.4 +system.net.http@4.3.0 +system.net.nameresolution@4.3.0 +system.net.primitives@4.3.0 +system.net.sockets@4.3.0 +system.net.websockets@4.3.0 +system.numerics.vectors@4.4.0 +system.objectmodel@4.0.12 +system.objectmodel@4.3.0 +system.private.uri@4.3.0 +system.reactive@4.4.1 +system.reflection.emit.ilgeneration@4.0.1 +system.reflection.emit.ilgeneration@4.3.0 +system.reflection.emit.lightweight@4.0.1 +system.reflection.emit.lightweight@4.3.0 +system.reflection.emit@4.0.1 +system.reflection.emit@4.3.0 +system.reflection.extensions@4.0.1 +system.reflection.extensions@4.3.0 +system.reflection.metadata@1.6.0 +system.reflection.metadata@5.0.0 +system.reflection.primitives@4.0.1 +system.reflection.primitives@4.3.0 +system.reflection.typeextensions@4.1.0 +system.reflection.typeextensions@4.3.0 +system.reflection@4.1.0 +system.reflection@4.3.0 +system.resources.extensions@4.6.0 +system.resources.resourcemanager@4.0.1 +system.resources.resourcemanager@4.3.0 +system.runtime.caching@6.0.0 +system.runtime.compilerservices.unsafe@4.4.0 +system.runtime.compilerservices.unsafe@4.5.2 +system.runtime.compilerservices.unsafe@4.7.0 +system.runtime.compilerservices.unsafe@4.7.1 +system.runtime.compilerservices.unsafe@5.0.0 +system.runtime.extensions@4.1.0 +system.runtime.extensions@4.3.0 +system.runtime.handles@4.0.1 +system.runtime.handles@4.3.0 +system.runtime.interopservices.runtimeinformation@4.0.0 +system.runtime.interopservices.runtimeinformation@4.3.0 +system.runtime.interopservices@4.1.0 +system.runtime.interopservices@4.3.0 +system.runtime.numerics@4.3.0 +system.runtime.serialization.primitives@4.1.1 +system.runtime@4.1.0 +system.runtime@4.3.0 +system.security.accesscontrol@4.6.0 +system.security.accesscontrol@4.7.0 +system.security.accesscontrol@6.0.0 +system.security.claims@4.3.0 +system.security.cryptography.algorithms@4.3.0 +system.security.cryptography.cng@4.3.0 +system.security.cryptography.cng@4.7.0 +system.security.cryptography.csp@4.3.0 +system.security.cryptography.encoding@4.3.0 +system.security.cryptography.openssl@4.3.0 +system.security.cryptography.pkcs@4.7.0 +system.security.cryptography.primitives@4.3.0 +system.security.cryptography.protecteddata@4.7.0 +system.security.cryptography.protecteddata@6.0.0 +system.security.cryptography.x509certificates@4.3.0 +system.security.cryptography.xml@4.7.0 +system.security.permissions@4.7.0 +system.security.permissions@6.0.0 +system.security.principal.windows@4.3.0 +system.security.principal.windows@4.6.0 +system.security.principal.windows@4.7.0 +system.security.principal@4.3.0 +system.text.encoding.codepages@4.0.1 +system.text.encoding.codepages@4.5.1 +system.text.encoding.extensions@4.0.11 +system.text.encoding.extensions@4.3.0 +system.text.encoding@4.0.11 +system.text.encoding@4.3.0 +system.text.json@4.7.0 +system.text.json@5.0.2 +system.text.regularexpressions@4.1.0 +system.text.regularexpressions@4.3.0 +system.threading.channels@4.7.1 +system.threading.tasks.dataflow@4.9.0 +system.threading.tasks.extensions@4.0.0 +system.threading.tasks.extensions@4.3.0 +system.threading.tasks.extensions@4.5.3 +system.threading.tasks.extensions@4.5.4 +system.threading.tasks@4.0.11 +system.threading.tasks@4.3.0 +system.threading.threadpool@4.3.0 +system.threading.timer@4.3.0 +system.threading@4.0.11 +system.threading@4.3.0 +system.windows.extensions@4.7.0 +system.windows.extensions@6.0.0 +system.xml.readerwriter@4.0.11 +system.xml.readerwriter@4.3.0 +system.xml.xdocument@4.0.11 +system.xml.xdocument@4.3.0 +system.xml.xmldocument@4.3.0 +tomlyn@0.16.2 +validation@2.4.18 +xunit.abstractions@2.0.2 +xunit.abstractions@2.0.3 +xunit.analyzers@0.10.0 +xunit.analyzers@1.0.0 +xunit.assert@2.4.1 +xunit.assert@2.4.2 +xunit.assertmessages@2.4.0 +xunit.core@2.4.1 +xunit.core@2.4.2 +xunit.extensibility.core@2.4.0 +xunit.extensibility.core@2.4.1 +xunit.extensibility.core@2.4.2 +xunit.extensibility.execution@2.4.0 +xunit.extensibility.execution@2.4.1 +xunit.extensibility.execution@2.4.2 +xunit.runner.visualstudio@2.4.3 +xunit.runner.visualstudio@2.5.1 +xunit.skippablefact@1.4.8 +xunit@2.4.1 +xunit@2.4.2 +" + +inherit check-reqs dotnet-pkg edo java-pkg-2 multiprocessing python-any-r1 + +DESCRIPTION="Dafny is a verification-aware programming language" +HOMEPAGE="https://dafny.org/ + https://github.com/dafny-lang/dafny/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/dafny-lang/${PN}.git" +else + SRC_URI="https://github.com/dafny-lang/${PN}/archive/v${PV}.tar.gz + -> ${P}.tar.gz" + + KEYWORDS="~amd64" +fi + +SRC_URI+=" + ${NUGET_URIS} + test? ( https://registry.npmjs.org/bignumber.js/-/bignumber.js-9.1.2.tgz ) +" + +LICENSE="MIT" +SLOT="0" +IUSE="test" +RESTRICT="!test? ( test )" + +RDEPEND=" + !dev-lang/dafny-bin + >=virtual/jre-1.8:* + sci-mathematics/z3 +" +DEPEND=" + >=virtual/jdk-1.8:* +" +BDEPEND=" + ${RDEPEND} + dev-dotnet/coco + test? ( + ${PYTHON_DEPS} + dev-lang/boogie + dev-lang/go + dev-python/OutputCheck + dev-python/lit + net-libs/nodejs[npm] + ) +" + +CHECKREQS_DISK_BUILD="2G" +DOTNET_PKG_PROJECTS=( + "${S}/Source/Dafny/Dafny.csproj" + "${S}/Source/TestDafny/TestDafny.csproj" +) + +PATCHES=( + "${FILESDIR}/${PN}-3.12.0-DafnyCore-csproj.patch" + "${FILESDIR}/${PN}-3.12.0-DafnyRuntime-csproj.patch" + "${FILESDIR}/${PN}-4.4.0-lit-config.patch" + "${FILESDIR}/${PN}-4.4.0-lit-system-boogie.patch" +) + +DOCS=( + CODE_OF_CONDUCT.md + CONTRIBUTING.md + NOTICES.txt + README.md + RELEASE_NOTES.md + docs/DafnyCheatsheet.pdf + docs/DafnyRef/out/DafnyRef.pdf +) + +TEST_S="${S}/Source/IntegrationTests/TestFiles/LitTests/LitTest" + +pkg_setup() { + # Clean the environment. + unset NPM_CONFIG_USERCONFIG + + if [[ -n "${_JAVA_OPTIONS}" ]] ; then + ewarn "Cleaning _JAVA_OPTIONS because when set compile and test may fail" + + unset _JAVA_OPTIONS + fi + + check-reqs_pkg_setup + dotnet-pkg_pkg_setup + java-pkg-2_pkg_setup + + # We need to set up Python only for running test tools (called via lit). + if use test ; then + python-any-r1_pkg_setup + fi +} + +src_unpack() { + dotnet-pkg_src_unpack + + if [[ -n "${EGIT_REPO_URI}" ]] ; then + git-r3_src_unpack + fi +} + +src_prepare() { + # Using "for-each-compiler" will fail because of Cargo requiring network access. + while read -r test_file ; do + if grep "// RUN: %testDafnyForEachCompiler" "${test_file}" >/dev/null ; then + rm "${test_file}" || die + fi + done < <(find "${TEST_S}" -type f -name "*.dfy") + + # Remove bad tests (recursive). + local -a bad_tests=( + # Following tests fail: + VSComp2010/Problem2-Invert.dfy + auditor/TestAuditor.dfy + benchmarks/sequence-race/SequenceRace.dfy + dafny0/Fuel.legacy.dfy + dafny0/JavaUseRuntimeLib.dfy + dafny0/Stdin.dfy + dafny4/Lucas-up.legacy.dfy + git-issues/git-issue-2026.dfy + git-issues/git-issue-2299.dfy + git-issues/git-issue-2301.dfy + separate-verification/assumptions.dfy + server/counterexample_none.transcript + wishlist/exists-b-exists-not-b.dfy + + # Following tests are very slow: + VSI-Benchmarks/b4.dfy + comp/CompileWithArguments.dfy + comp/MainMethod.dfy + comp/compile3/JustRun.dfy + concurrency/07-CounterThreadOwnership.dfy + concurrency/09-CounterNoStateMachine.dfy + concurrency/10-SequenceInvariant.dfy + concurrency/12-MutexLifetime-short.dfy + dafny1/SchorrWaite.dfy + dafny2/SnapshotableTrees.dfy + dafny4/git-issue250.dfy + git-issues/git-issue-Main4.dfy + git-issues/git-issue-MainE.dfy + unicodechars/comp/CompileWithArguments.dfy + ) + local bad_test + for bad_test in "${bad_tests[@]}" ; do + rm "${TEST_S}/${bad_test}" || die "failed to remove test ${bad_test}" + done + + dotnet-pkg_src_prepare + + # Update lit's "lit.site.cfg" file. + local dotnet_exec="${DOTNET_PKG_EXECUTABLE} exec ${DOTNET_PKG_OUTPUT}" + local lit_config="${TEST_S}/lit.site.cfg" + + sed "/^defaultDafnyExecutable/s|=.*|= '${dotnet_exec}/Dafny.dll '|" \ + -i "${lit_config}" || die "failed to update ${lit_config}" + sed "/^dafnyExecutable/s|=.*|= '${dotnet_exec}/Dafny.dll '|" \ + -i "${lit_config}" || die "failed to update ${lit_config}" + sed "/^testDafnyExecutableCompiler/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-compiler '|" \ + -i "${lit_config}" || die "failed to update ${lit_config}" + sed "/^testDafnyExecutableResolver/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-resolver '|" \ + -i "${lit_config}" || die "failed to update ${lit_config}" + sed "/^defaultServerExecutable/s|=.*|= '${dotnet_exec}/DafnyServer.dll'|" \ + -i "${lit_config}" || die "failed to update ${lit_config}" + sed "/^serverExecutable/s|=.*|= '${dotnet_exec}/DafnyServer.dll'|" \ + -i "${lit_config}" || die "failed to update ${lit_config}" +} + +src_compile () { + einfo "Building DafnyRuntimeJava JAR." + local dafny_runtime_java="${S}/Source/DafnyRuntime/DafnyRuntimeJava" + mkdir -p "${dafny_runtime_java}/build/libs/" || die + pushd "${dafny_runtime_java}/build" || die + + ejavac -d ./ $(find "${dafny_runtime_java}/src/main" -type f -name "*.java") + edo jar cvf "DafnyRuntime-${PV}.jar" dafny/* + + cp "DafnyRuntime-${PV}.jar" "${dafny_runtime_java}/build/libs/" || die + popd || die + + # Build main dotnet package. + dotnet-pkg_src_compile +} + +src_test() { + # The test "dafny0/DafnyLibClient.dfy" expects to use "DafnyRuntime.dll" + # from the "Binaries" directory. + ln -s "${DOTNET_PKG_OUTPUT}/DafnyRuntime.dll" "${S}/Binaries/" || die + + einfo "Installing bignumber.js package required for tests using NodeJS." + local -a npm_opts=( + --audit false + --color false + --foreground-scripts + --offline + --progress false + --verbose + ) + edob npm "${npm_opts[@]}" install "${DISTDIR}/bignumber.js-9.1.2.tgz" + + einfo "Starting tests using the lit test tool." + local -a lit_opts=( + --order=lexical + --time-tests + --verbose + --workers="$(makeopts_jobs)" + ) + edob lit "${lit_opts[@]}" "${TEST_S}" +} + +src_install() { + dotnet-pkg-base_install + + local -a dafny_exes=( + Dafny + DafnyDriver + DafnyLanguageServer + DafnyServer + TestDafny + ) + local dafny_exe + for dafny_exe in "${dafny_exes[@]}" ; do + dotnet-pkg-base_dolauncher "/usr/share/${P}/${dafny_exe}" "${dafny_exe}" + done + + dosym -r /usr/bin/Dafny /usr/bin/dafny + dosym -r /usr/bin/DafnyServer /usr/bin/dafny-server + + einstalldocs +} diff --git a/dev-lang/dafny/dafny-4.4.0.ebuild b/dev-lang/dafny/dafny-4.4.0.ebuild deleted file mode 100644 index 50a6fd8da3c2..000000000000 --- a/dev-lang/dafny/dafny-4.4.0.ebuild +++ /dev/null @@ -1,558 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -PYTHON_COMPAT=( python3_{10..12} ) - -DOTNET_PKG_COMPAT=6.0 -NUGETS=" -boogie.abstractinterpretation@3.0.9 -boogie.basetypes@3.0.9 -boogie.codecontractsextender@3.0.9 -boogie.concurrency@3.0.9 -boogie.core@3.0.9 -boogie.executionengine@3.0.9 -boogie.graph@3.0.9 -boogie.houdini@3.0.9 -boogie.model@3.0.9 -boogie.provers.smtlib@3.0.9 -boogie.vcexpr@3.0.9 -boogie.vcgeneration@3.0.9 -castle.core@4.4.0 -commandlineparser@2.8.0 -commandlineparser@2.9.1 -coverlet.collector@3.2.0 -diffplex@1.7.0 -humanizer.core@2.2.0 -jetbrains.annotations@2021.1.0 -mediatr@8.1.0 -microsoft.bcl.asyncinterfaces@1.1.1 -microsoft.bcl.asyncinterfaces@5.0.0 -microsoft.bcl.asyncinterfaces@6.0.0 -microsoft.build.framework@17.0.0 -microsoft.build.locator@1.4.1 -microsoft.build.tasks.core@17.0.0 -microsoft.build.utilities.core@17.0.0 -microsoft.build@17.0.0 -microsoft.codeanalysis.analyzers@3.0.0 -microsoft.codeanalysis.analyzers@3.3.2 -microsoft.codeanalysis.common@3.7.0 -microsoft.codeanalysis.common@4.0.1 -microsoft.codeanalysis.csharp.workspaces@4.0.1 -microsoft.codeanalysis.csharp@3.7.0 -microsoft.codeanalysis.csharp@4.0.1 -microsoft.codeanalysis.visualbasic.workspaces@4.0.1 -microsoft.codeanalysis.visualbasic@4.0.1 -microsoft.codeanalysis.workspaces.common@4.0.1 -microsoft.codeanalysis.workspaces.msbuild@4.0.1 -microsoft.codeanalysis@4.0.1 -microsoft.codecoverage@16.11.0 -microsoft.codecoverage@16.9.4 -microsoft.codecoverage@17.1.0 -microsoft.csharp@4.0.1 -microsoft.dotnet.platformabstractions@2.0.4 -microsoft.extensions.configuration.abstractions@2.0.0 -microsoft.extensions.configuration.abstractions@5.0.0 -microsoft.extensions.configuration.binder@2.0.0 -microsoft.extensions.configuration.binder@5.0.0 -microsoft.extensions.configuration.commandline@5.0.0 -microsoft.extensions.configuration.fileextensions@5.0.0 -microsoft.extensions.configuration.json@5.0.0 -microsoft.extensions.configuration@2.0.0 -microsoft.extensions.configuration@5.0.0 -microsoft.extensions.dependencyinjection.abstractions@2.0.0 -microsoft.extensions.dependencyinjection.abstractions@5.0.0 -microsoft.extensions.dependencyinjection@2.0.0 -microsoft.extensions.dependencyinjection@5.0.0 -microsoft.extensions.dependencymodel@2.0.4 -microsoft.extensions.fileproviders.abstractions@5.0.0 -microsoft.extensions.fileproviders.physical@5.0.0 -microsoft.extensions.filesystemglobbing@5.0.0 -microsoft.extensions.logging.abstractions@2.0.0 -microsoft.extensions.logging.abstractions@5.0.0 -microsoft.extensions.logging.configuration@5.0.0 -microsoft.extensions.logging.console@5.0.0 -microsoft.extensions.logging@2.0.0 -microsoft.extensions.logging@5.0.0 -microsoft.extensions.options.configurationextensions@2.0.0 -microsoft.extensions.options.configurationextensions@5.0.0 -microsoft.extensions.options@2.0.0 -microsoft.extensions.options@5.0.0 -microsoft.extensions.primitives@2.0.0 -microsoft.extensions.primitives@5.0.0 -microsoft.net.stringtools@1.0.0 -microsoft.net.test.sdk@16.11.0 -microsoft.net.test.sdk@16.9.4 -microsoft.net.test.sdk@17.1.0 -microsoft.netcore.platforms@1.0.1 -microsoft.netcore.platforms@1.1.0 -microsoft.netcore.platforms@2.1.2 -microsoft.netcore.platforms@3.0.0 -microsoft.netcore.platforms@3.1.0 -microsoft.netcore.targets@1.0.1 -microsoft.netcore.targets@1.1.0 -microsoft.netframework.referenceassemblies.net452@1.0.2 -microsoft.netframework.referenceassemblies@1.0.2 -microsoft.testplatform.extensions.trxlogger@17.0.0 -microsoft.testplatform.objectmodel@16.11.0 -microsoft.testplatform.objectmodel@16.9.4 -microsoft.testplatform.objectmodel@17.0.0 -microsoft.testplatform.objectmodel@17.1.0 -microsoft.testplatform.testhost@16.11.0 -microsoft.testplatform.testhost@16.9.4 -microsoft.testplatform.testhost@17.1.0 -microsoft.visualstudio.threading.analyzers@16.7.56 -microsoft.visualstudio.threading@16.7.56 -microsoft.visualstudio.validation@15.5.31 -microsoft.win32.primitives@4.3.0 -microsoft.win32.registry@4.3.0 -microsoft.win32.registry@4.6.0 -microsoft.win32.systemevents@4.7.0 -microsoft.win32.systemevents@6.0.0 -moq@4.16.1 -nerdbank.streams@2.6.81 -netstandard.library@1.6.1 -netstandard.library@2.0.3 -newtonsoft.json@11.0.2 -newtonsoft.json@13.0.1 -newtonsoft.json@9.0.1 -nuget.frameworks@5.0.0 -nuget.frameworks@5.11.0 -omnisharp.extensions.jsonrpc.generators@0.19.5 -omnisharp.extensions.jsonrpc.testing@0.19.5 -omnisharp.extensions.jsonrpc@0.19.5 -omnisharp.extensions.languageclient@0.19.5 -omnisharp.extensions.languageprotocol.testing@0.19.5 -omnisharp.extensions.languageprotocol@0.19.5 -omnisharp.extensions.languageserver.shared@0.19.5 -omnisharp.extensions.languageserver@0.19.5 -rangetree@3.0.1 -runtime.any.system.collections@4.3.0 -runtime.any.system.diagnostics.tools@4.3.0 -runtime.any.system.diagnostics.tracing@4.3.0 -runtime.any.system.globalization.calendars@4.3.0 -runtime.any.system.globalization@4.3.0 -runtime.any.system.io@4.3.0 -runtime.any.system.reflection.extensions@4.3.0 -runtime.any.system.reflection.primitives@4.3.0 -runtime.any.system.reflection@4.3.0 -runtime.any.system.resources.resourcemanager@4.3.0 -runtime.any.system.runtime.handles@4.3.0 -runtime.any.system.runtime.interopservices@4.3.0 -runtime.any.system.runtime@4.3.0 -runtime.any.system.text.encoding.extensions@4.3.0 -runtime.any.system.text.encoding@4.3.0 -runtime.any.system.threading.tasks@4.3.0 -runtime.any.system.threading.timer@4.3.0 -runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.native.system.io.compression@4.3.0 -runtime.native.system.net.http@4.3.0 -runtime.native.system.security.cryptography.apple@4.3.0 -runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.native.system@4.0.0 -runtime.native.system@4.3.0 -runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.osx.10.10-x64.runtime.native.system.security.cryptography.apple@4.3.0 -runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.unix.microsoft.win32.primitives@4.3.0 -runtime.unix.system.console@4.3.0 -runtime.unix.system.diagnostics.debug@4.3.0 -runtime.unix.system.io.filesystem@4.3.0 -runtime.unix.system.net.primitives@4.3.0 -runtime.unix.system.net.sockets@4.3.0 -runtime.unix.system.private.uri@4.3.0 -runtime.unix.system.runtime.extensions@4.3.0 -serilog.extensions.logging@3.0.1 -serilog.settings.configuration@3.1.0 -serilog.sinks.debug@2.0.0 -serilog.sinks.file@5.0.0 -serilog.sinks.inmemory@0.11.0 -serilog@2.10.0 -serilog@2.12.0 -system.appcontext@4.1.0 -system.appcontext@4.3.0 -system.buffers@4.3.0 -system.buffers@4.4.0 -system.codedom@4.4.0 -system.collections.concurrent@4.3.0 -system.collections.immutable@1.5.0 -system.collections.immutable@1.7.0 -system.collections.immutable@1.7.1 -system.collections.immutable@5.0.0 -system.collections.nongeneric@4.0.1 -system.collections.nongeneric@4.3.0 -system.collections.specialized@4.0.1 -system.collections.specialized@4.3.0 -system.collections@4.0.11 -system.collections@4.3.0 -system.commandline@2.0.0-beta4.22272.1 -system.componentmodel.primitives@4.3.0 -system.componentmodel.typeconverter@4.3.0 -system.componentmodel@4.3.0 -system.composition.attributedmodel@1.0.31 -system.composition.convention@1.0.31 -system.composition.hosting@1.0.31 -system.composition.runtime@1.0.31 -system.composition.typedparts@1.0.31 -system.composition@1.0.31 -system.configuration.configurationmanager@4.7.0 -system.configuration.configurationmanager@6.0.0 -system.console@4.3.0 -system.diagnostics.debug@4.0.11 -system.diagnostics.debug@4.3.0 -system.diagnostics.diagnosticsource@4.3.0 -system.diagnostics.tools@4.0.1 -system.diagnostics.tools@4.3.0 -system.diagnostics.tracesource@4.3.0 -system.diagnostics.tracing@4.3.0 -system.drawing.common@4.7.0 -system.drawing.common@6.0.0 -system.dynamic.runtime@4.0.11 -system.dynamic.runtime@4.3.0 -system.globalization.calendars@4.3.0 -system.globalization.extensions@4.0.1 -system.globalization.extensions@4.3.0 -system.globalization@4.0.11 -system.globalization@4.3.0 -system.io.compression.zipfile@4.3.0 -system.io.compression@4.3.0 -system.io.filesystem.primitives@4.0.1 -system.io.filesystem.primitives@4.3.0 -system.io.filesystem@4.0.1 -system.io.filesystem@4.3.0 -system.io.pipelines@4.7.3 -system.io.pipelines@5.0.1 -system.io@4.1.0 -system.io@4.3.0 -system.linq.async@6.0.1 -system.linq.expressions@4.1.0 -system.linq.expressions@4.3.0 -system.linq@4.1.0 -system.linq@4.3.0 -system.memory@4.5.3 -system.memory@4.5.4 -system.net.http@4.3.0 -system.net.nameresolution@4.3.0 -system.net.primitives@4.3.0 -system.net.sockets@4.3.0 -system.net.websockets@4.3.0 -system.numerics.vectors@4.4.0 -system.objectmodel@4.0.12 -system.objectmodel@4.3.0 -system.private.uri@4.3.0 -system.reactive@4.4.1 -system.reflection.emit.ilgeneration@4.0.1 -system.reflection.emit.ilgeneration@4.3.0 -system.reflection.emit.lightweight@4.0.1 -system.reflection.emit.lightweight@4.3.0 -system.reflection.emit@4.0.1 -system.reflection.emit@4.3.0 -system.reflection.extensions@4.0.1 -system.reflection.extensions@4.3.0 -system.reflection.metadata@1.6.0 -system.reflection.metadata@5.0.0 -system.reflection.primitives@4.0.1 -system.reflection.primitives@4.3.0 -system.reflection.typeextensions@4.1.0 -system.reflection.typeextensions@4.3.0 -system.reflection@4.1.0 -system.reflection@4.3.0 -system.resources.extensions@4.6.0 -system.resources.resourcemanager@4.0.1 -system.resources.resourcemanager@4.3.0 -system.runtime.caching@6.0.0 -system.runtime.compilerservices.unsafe@4.4.0 -system.runtime.compilerservices.unsafe@4.5.2 -system.runtime.compilerservices.unsafe@4.7.0 -system.runtime.compilerservices.unsafe@4.7.1 -system.runtime.compilerservices.unsafe@5.0.0 -system.runtime.extensions@4.1.0 -system.runtime.extensions@4.3.0 -system.runtime.handles@4.0.1 -system.runtime.handles@4.3.0 -system.runtime.interopservices.runtimeinformation@4.0.0 -system.runtime.interopservices.runtimeinformation@4.3.0 -system.runtime.interopservices@4.1.0 -system.runtime.interopservices@4.3.0 -system.runtime.numerics@4.3.0 -system.runtime.serialization.primitives@4.1.1 -system.runtime@4.1.0 -system.runtime@4.3.0 -system.security.accesscontrol@4.6.0 -system.security.accesscontrol@4.7.0 -system.security.accesscontrol@6.0.0 -system.security.claims@4.3.0 -system.security.cryptography.algorithms@4.3.0 -system.security.cryptography.cng@4.3.0 -system.security.cryptography.cng@4.7.0 -system.security.cryptography.csp@4.3.0 -system.security.cryptography.encoding@4.3.0 -system.security.cryptography.openssl@4.3.0 -system.security.cryptography.pkcs@4.7.0 -system.security.cryptography.primitives@4.3.0 -system.security.cryptography.protecteddata@4.7.0 -system.security.cryptography.protecteddata@6.0.0 -system.security.cryptography.x509certificates@4.3.0 -system.security.cryptography.xml@4.7.0 -system.security.permissions@4.7.0 -system.security.permissions@6.0.0 -system.security.principal.windows@4.3.0 -system.security.principal.windows@4.6.0 -system.security.principal.windows@4.7.0 -system.security.principal@4.3.0 -system.text.encoding.codepages@4.0.1 -system.text.encoding.codepages@4.5.1 -system.text.encoding.extensions@4.0.11 -system.text.encoding.extensions@4.3.0 -system.text.encoding@4.0.11 -system.text.encoding@4.3.0 -system.text.json@4.7.0 -system.text.json@5.0.2 -system.text.regularexpressions@4.1.0 -system.text.regularexpressions@4.3.0 -system.threading.channels@4.7.1 -system.threading.tasks.dataflow@4.9.0 -system.threading.tasks.extensions@4.0.0 -system.threading.tasks.extensions@4.3.0 -system.threading.tasks.extensions@4.5.3 -system.threading.tasks.extensions@4.5.4 -system.threading.tasks@4.0.11 -system.threading.tasks@4.3.0 -system.threading.threadpool@4.3.0 -system.threading.timer@4.3.0 -system.threading@4.0.11 -system.threading@4.3.0 -system.windows.extensions@4.7.0 -system.windows.extensions@6.0.0 -system.xml.readerwriter@4.0.11 -system.xml.readerwriter@4.3.0 -system.xml.xdocument@4.0.11 -system.xml.xdocument@4.3.0 -system.xml.xmldocument@4.3.0 -tomlyn@0.16.2 -validation@2.4.18 -xunit.abstractions@2.0.2 -xunit.abstractions@2.0.3 -xunit.analyzers@0.10.0 -xunit.analyzers@1.0.0 -xunit.assert@2.4.1 -xunit.assert@2.4.2 -xunit.assertmessages@2.4.0 -xunit.core@2.4.1 -xunit.core@2.4.2 -xunit.extensibility.core@2.4.0 -xunit.extensibility.core@2.4.1 -xunit.extensibility.core@2.4.2 -xunit.extensibility.execution@2.4.0 -xunit.extensibility.execution@2.4.1 -xunit.extensibility.execution@2.4.2 -xunit.runner.visualstudio@2.4.3 -xunit.runner.visualstudio@2.5.1 -xunit.skippablefact@1.4.8 -xunit@2.4.1 -xunit@2.4.2 -" - -inherit check-reqs dotnet-pkg edo multiprocessing python-any-r1 - -DESCRIPTION="Dafny is a verification-aware programming language" -HOMEPAGE="https://dafny.org/ - https://github.com/dafny-lang/dafny/" - -if [[ "${PV}" == *9999* ]] ; then - inherit git-r3 - - EGIT_REPO_URI="https://github.com/dafny-lang/${PN}.git" -else - SRC_URI="https://github.com/dafny-lang/${PN}/archive/v${PV}.tar.gz - -> ${P}.tar.gz" - - KEYWORDS="~amd64" -fi - -SRC_URI+=" - ${NUGET_URIS} - test? ( https://registry.npmjs.org/bignumber.js/-/bignumber.js-9.1.2.tgz ) -" - -LICENSE="MIT" -SLOT="0" -IUSE="test" -RESTRICT="!test? ( test )" - -RDEPEND=" - !dev-lang/dafny-bin - sci-mathematics/z3 -" -BDEPEND=" - ${RDEPEND} - dev-dotnet/coco - test? ( - ${PYTHON_DEPS} - dev-lang/boogie - dev-lang/go - dev-python/OutputCheck - dev-python/lit - net-libs/nodejs[npm] - ) -" - -CHECKREQS_DISK_BUILD="2G" -DOTNET_PKG_PROJECTS=( - "${S}/Source/Dafny/Dafny.csproj" - "${S}/Source/TestDafny/TestDafny.csproj" -) - -PATCHES=( - "${FILESDIR}/${PN}-3.12.0-DafnyCore-csproj.patch" - "${FILESDIR}/${PN}-3.12.0-DafnyRuntime-csproj.patch" - "${FILESDIR}/${PN}-4.4.0-lit-config.patch" - "${FILESDIR}/${PN}-4.4.0-lit-system-boogie.patch" - "${FILESDIR}/${PN}-4.4.0-no-copy-jar.patch" - "${FILESDIR}/${PN}-4.4.0-no-output-jar.patch" -) - -DOCS=( - CODE_OF_CONDUCT.md - CONTRIBUTING.md - NOTICES.txt - README.md - RELEASE_NOTES.md - docs/DafnyCheatsheet.pdf - docs/DafnyRef/out/DafnyRef.pdf -) - -TEST_S="${S}/Source/IntegrationTests/TestFiles/LitTests/LitTest" - -pkg_setup() { - # Clean the environment. - unset NPM_CONFIG_USERCONFIG - - check-reqs_pkg_setup - dotnet-pkg_pkg_setup - - # We need to set up Python only for running test tools (called via lit). - if use test ; then - python-any-r1_pkg_setup - fi -} - -src_unpack() { - dotnet-pkg_src_unpack - - if [[ -n "${EGIT_REPO_URI}" ]] ; then - git-r3_src_unpack - fi -} - -src_prepare() { - # Using "for-each-compiler" will fail because of Cargo requiring network access. - while read -r test_file ; do - if grep "// RUN: %testDafnyForEachCompiler" "${test_file}" >/dev/null ; then - rm "${test_file}" || die - fi - done < <(find "${TEST_S}" -type f -name "*.dfy") - - # Remove bad tests (recursive). - local -a bad_tests=( - # Following tests fail: - DafnyTests/TestAttribute.dfy - VSComp2010/Problem2-Invert.dfy - auditor/TestAuditor.dfy - benchmarks/sequence-race/SequenceRace.dfy - comp/CoverageReport.dfy - dafny0/Fuel.legacy.dfy - dafny0/JavaUseRuntimeLib.dfy - dafny0/Stdin.dfy - dafny4/Lucas-up.legacy.dfy - examples/Simple_compiler/Compiler.dfy - git-issues/git-issue-2026.dfy - git-issues/git-issue-2299.dfy - git-issues/git-issue-2301.dfy - metatests/InconsistentCompilerBehavior.dfy - metatests/TestBeyondVerifierExpect.dfy - separate-verification/assumptions.dfy - server/counterexample_none.transcript - unicodechars/expectations/Expect.dfy - wishlist/exists-b-exists-not-b.dfy - - # Following tests are very slow: - ) - local bad_test - for bad_test in "${bad_tests[@]}" ; do - rm "${TEST_S}/${bad_test}" || die "failed to remove test ${bad_test}" - done - - # Update lit's "lit.site.cfg" file. - local dotnet_exec="${DOTNET_PKG_EXECUTABLE} exec ${DOTNET_PKG_OUTPUT}" - local lit_config="${TEST_S}/lit.site.cfg" - sed "/^defaultDafnyExecutable/s|=.*|= '${dotnet_exec}/Dafny.dll '|" \ - -i "${lit_config}" || die "failed to update ${lit_config}" - sed "/^dafnyExecutable/s|=.*|= '${dotnet_exec}/Dafny.dll '|" \ - -i "${lit_config}" || die "failed to update ${lit_config}" - sed "/^testDafnyExecutableCompiler/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-compiler '|" \ - -i "${lit_config}" || die "failed to update ${lit_config}" - sed "/^testDafnyExecutableResolver/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-resolver '|" \ - -i "${lit_config}" || die "failed to update ${lit_config}" - sed "/^defaultServerExecutable/s|=.*|= '${dotnet_exec}/DafnyServer.dll'|" \ - -i "${lit_config}" || die "failed to update ${lit_config}" - sed "/^serverExecutable/s|=.*|= '${dotnet_exec}/DafnyServer.dll'|" \ - -i "${lit_config}" || die "failed to update ${lit_config}" - - dotnet-pkg_src_prepare -} - -src_test() { - # The test "dafny0/DafnyLibClient.dfy" expects to use "DafnyRuntime.dll" - # from the "Binaries" directory. - ln -s "${DOTNET_PKG_OUTPUT}/DafnyRuntime.dll" "${S}/Binaries/" || die - - einfo "Installing bignumber.js package required for tests using NodeJS." - local -a npm_opts=( - --audit false - --color false - --foreground-scripts - --offline - --progress false - --verbose - ) - edob npm "${npm_opts[@]}" install "${DISTDIR}/bignumber.js-9.1.2.tgz" - - einfo "Starting tests using the lit test tool." - local -a lit_opts=( - --order=lexical - --time-tests - --verbose - --workers="$(makeopts_jobs)" - ) - edob lit "${lit_opts[@]}" "${TEST_S}" -} - -src_install() { - dotnet-pkg-base_install - - local -a dafny_exes=( - Dafny - DafnyDriver - DafnyLanguageServer - DafnyServer - TestDafny - ) - local dafny_exe - for dafny_exe in "${dafny_exes[@]}" ; do - dotnet-pkg-base_dolauncher "/usr/share/${P}/${dafny_exe}" "${dafny_exe}" - done - - dosym -r /usr/bin/Dafny /usr/bin/dafny - dosym -r /usr/bin/DafnyServer /usr/bin/dafny-server - - einstalldocs -} diff --git a/dev-lang/dafny/files/dafny-4.4.0-no-copy-jar.patch b/dev-lang/dafny/files/dafny-4.4.0-no-copy-jar.patch deleted file mode 100644 index 96ab9fc4a723..000000000000 --- a/dev-lang/dafny/files/dafny-4.4.0-no-copy-jar.patch +++ /dev/null @@ -1,21 +0,0 @@ ---- a/Source/DafnyPipeline/DafnyPipeline.csproj -+++ b/Source/DafnyPipeline/DafnyPipeline.csproj -@@ -89,11 +89,6 @@ - DafnyRuntimeJava - Always - -- -- DafnyRuntime.jar -- DafnyRuntime.jar -- PreserveNewest -- - - DafnyRuntimeCsharp - Always -@@ -128,4 +123,4 @@ - - - -- -\ No newline at end of file -+ 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 @@ - - DafnyRuntimeJava/build/libs/DafnyRuntime-4.4.0.jar - -- -- -- -- -- -- -- -- -- - - -- cgit v1.2.3