From a4d738a9d1fddef251ba88e258acdb50c243fa63 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Tue, 31 Oct 2023 03:47:04 +0000 Subject: gentoo auto-resync : 31:10:2023 - 03:47:04 --- dev-lang/Manifest.gz | Bin 20999 -> 21008 bytes dev-lang/R/Manifest | 2 +- dev-lang/R/R-4.3.1.ebuild | 2 +- dev-lang/dafny/Manifest | 5 +- dev-lang/dafny/dafny-4.3.0-r1.ebuild | 609 ++++++++++++++++++++ dev-lang/dafny/dafny-4.3.0.ebuild | 610 --------------------- .../dafny/files/dafny-4.3.0-net6.0-upgrade.patch | 22 + dev-lang/jint/Manifest | 4 +- dev-lang/jint/jint-3.0.0_beta2051.ebuild | 19 +- dev-lang/luau/Manifest | 2 +- dev-lang/luau/luau-0.596.ebuild | 2 +- dev-lang/qore/Manifest | 2 +- dev-lang/qore/qore-1.19.1.ebuild | 2 +- 13 files changed, 646 insertions(+), 635 deletions(-) create mode 100644 dev-lang/dafny/dafny-4.3.0-r1.ebuild delete mode 100644 dev-lang/dafny/dafny-4.3.0.ebuild create mode 100644 dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch (limited to 'dev-lang') diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz index 2fb16f2acb19..e85c030eaa0b 100644 Binary files a/dev-lang/Manifest.gz and b/dev-lang/Manifest.gz differ diff --git a/dev-lang/R/Manifest b/dev-lang/R/Manifest index 63803cbb2f3a..6bc6b07aa9a8 100644 --- a/dev-lang/R/Manifest +++ b/dev-lang/R/Manifest @@ -3,5 +3,5 @@ AUX R-4.3.0-no-gzip-doc.patch 354 BLAKE2B 81f20b830ac99494a921b635a0d280dd90045c AUX R-4.3.0-parallel.patch 415 BLAKE2B e996c72c167b529765c82c8880bc3ea704d3c6e34b7fe09dff4fa93a8e42f8551dc723f44e0ab0638de84ce0f7fa60d4476e297d06eb3d6070d8daf5f79b9dba SHA512 6d36a2eb5df1ec8fa4230bfbc693cf53c95b41bb9269cfa473cfaa6dc8a42681e81a006f03278b86e8636e904bba188f2475d27d06599fdab86de8743401f5be DIST R-4.3.1.tar.gz 34899964 BLAKE2B 7aaacad01ce59e2faa46c4b830c10d2df8e4a3a1d4f11cf2aa622ceb53876f1e702dff94a820ca954ec29f53d58fa7e135ef15e8257602c50f2642b0a0c0a86a SHA512 f571c378dbdd675e267ef4419bb1141198924dadc08297c93c8dff58504994604918b3e045bb7139ba473972a063a68ed1c7426f37d4e8208b79358561d34d77 DIST R-78d6830e28ea90a046da79a9b4f70c39594bb6d6.bash_completion 13596 BLAKE2B 53338e4a1c4f68beb69247216e553dbcac47f660fbf032bfebf7a660e32d2cff5b11ed35411c52de7e1fd6e00bbf5b5ea19369a325fa0a38bd93d63dc3288cbd SHA512 9ccd19bb1b0c18a2f13035ccd6809447429e197e298fb4d1df808ef345d723b42f75a1b91c349f6dbb46e4a82e59ef33e11300c495d79b63d670d0c0f2b16a06 -EBUILD R-4.3.1.ebuild 7146 BLAKE2B 7977fa761df7a3c0609d8a117515a633486e723094f01ee2deb878bf375137007146f49b9c4e6fff45bf45dd96cdde88eb93aae6a0634ec5a0305634329cac0d SHA512 602a2d17788ba3b732d05e534425ce4204f0960c2896dc018d8267a0839cc090fab696e9cadce34961646c5b06d26717dc2ae32e33ac998e007ff0d6639500cc +EBUILD R-4.3.1.ebuild 7159 BLAKE2B 1f37562b5b433614f6efc8be8d93b9b74f3783f2060ce69def1a6993a09e76dbf8f15c4035a8468956753fc9b2595b73404757b10ebf54374ef978ef7ef64130 SHA512 d48cc1c71f893e29032233e4a61233039e4f6c792480021048734f5cc44682d8a8df3e6aedb5213456e360ea1307cbd44e14efa1d2387e3606ae248c8531e658 MISC metadata.xml 1316 BLAKE2B a8a90f88542428b61a88977d2bb4a82b4388edaf96da7d52bf1b2db04cef3ff1fed61530de4389b823d90fca98f4b137616f736bb3169a207b4c38303b5f86bb SHA512 190fde3e0b0a7c09ca6fc16e035f4f25ecf058014ba27846c231475e4d2152032ceef911d16b6770035d0a4e68b14625b41a619f5cf21c922654c8d36716094d diff --git a/dev-lang/R/R-4.3.1.ebuild b/dev-lang/R/R-4.3.1.ebuild index 54a13af61115..35b5a00630bd 100644 --- a/dev-lang/R/R-4.3.1.ebuild +++ b/dev-lang/R/R-4.3.1.ebuild @@ -12,7 +12,7 @@ BCPV=78d6830e28ea90a046da79a9b4f70c39594bb6d6 DESCRIPTION="Language and environment for statistical computing and graphics" HOMEPAGE="https://www.r-project.org/" SRC_URI=" - mirror://cran/src/base/R-4/${P}.tar.gz + https://cran.r-project.org/src/base/R-4/${P}.tar.gz https://raw.githubusercontent.com/deepayan/rcompletion/${BCPV}/bash_completion/R -> ${PN}-${BCPV}.bash_completion" LICENSE="|| ( GPL-2 GPL-3 ) LGPL-2.1" diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index 937ec7b5aba7..3d46140b25d5 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -2,6 +2,7 @@ AUX dafny-3.12.0-DafnyCore-csproj.patch 1022 BLAKE2B 6f1d895027a5991192e410f4fa6 AUX dafny-3.12.0-DafnyRuntime-csproj.patch 865 BLAKE2B 33d94935c9aba72b3ef23e878d40d9b533b945c35e1aa339ef2762d75b7e50fafff70a857faac7309b500c3b48fbc5a3cc32e518d2a39f15fa2e2136c926a200 SHA512 eee2c28f577989a4ebdde70df1c4195d6e53ca083eebd1d080073e479bcd490fe495089b4771c84abdf658b87c5dc7ff7d7f9a2ac41ce58982a777f207f86244 AUX dafny-4.1.0-lit.patch 329 BLAKE2B de07a7ce2047a2dcac6c17ec00ee08772a40c6b3f0371679ee194333abf7740b56d0d4efbeadbfcd3a895343be0d01e85c7195b6c2a43ac6ea428db0bc567af7 SHA512 c67290732332feb81718a84ddcffbda74f8af60f203decb1af30aa922ae0567a3ce5df8dad896d1c917707111423c62fa2f2fd03a77dc616eef3f6b875cab7fc AUX dafny-4.2.0-lit-use-system-boogie.patch 531 BLAKE2B a9b37e00fcbd204e525caecd37bd47a1697229f0b84fb4565e456fa98fcfe9dc9dc0b6f7201091dd447136ea68aaae0788e863db385d3362c9d694016516f99f SHA512 299f8b85418dd3db27709e29ca7528d9f04eff79b6c72a41c21387f1efd50abd000a5296257d311c3d2421692b3e9485da0a5e19df6a5dcd4dcbe4693555c71f +AUX dafny-4.3.0-net6.0-upgrade.patch 949 BLAKE2B 3ea7a94a6786193c35228ed721140b1304b706ae14398e718d55a7d1a6469af63534b82d24ed52c34e12996d89ef196472b322c10fdeef16fd922cd17f920734 SHA512 f5fb2dcb40078038b26525e986004612c6d161904ffb3379d15e4c4082a1d9e04218ab4a6800e095e11636f1b0f2743415b91fb2b0ce9ec1aa797257782e103c 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.basetypes.2.16.8.nupkg 25567 BLAKE2B d4bbadd546e856f7eb308555f9cf14e5e60e97a442ba38b4f7cc563f41f2f8c33c441b34df65a05823c91201056f391dfeb89f268697475ec8cb0666a4a1a68f SHA512 34854b8ddaf94fc88ce459b8eb7164e1aa0b8fc1274b5772f44bbafd70996f1b68fc06d1c0575492ec6cb7d9878574dc0ceb27b6345b66b224cca1da5de7fa3d @@ -89,8 +90,6 @@ DIST microsoft.netcore.platforms.3.0.0.nupkg 29497 BLAKE2B eb1e21bb3a3d3d3a65b13 DIST microsoft.netcore.platforms.3.1.0.nupkg 29544 BLAKE2B 2739d62e92e61677964f9ef380ef2f72ddb6879444d7e744c283a73fdf4ad69c07c36a0b3c4030312b0a4c622aa91dc09cfa828ab8dcd9cf0c5506aa2fac5c8c SHA512 636a1e3768f782ced193b18ec61616c122b5b756395bbec3ede805b172ce62db2d631407deebba73bf136234479be4824f0268a57f52ff4f8d7d37d4370cd966 DIST microsoft.netcore.targets.1.0.1.nupkg 18189 BLAKE2B d43a064d4c6f836be5164708ff0401913b32fc3340cad7c8fd08f421ea553805ac150a134a0d60a55d41eec124514a5e5197eebcc85aa6595cc6b91e33025d61 SHA512 6ed8e75f945a18651066fe9ee31cf6c8257a5974340fe4d262438903c4959a479f4a515a4d1389e6d3d3ab34f09a3c7bc2009aada2e8a7f697b6655a82d3bfc9 DIST microsoft.netcore.targets.1.1.0.nupkg 18162 BLAKE2B 419d19e0da934ab4b9db75dd66cc22b83a003f34e93cf7a92feccf4f32d3d695e18b826b1aba13073dd4ec53aa7905a67346921d1055516647ddcde0d79009f1 SHA512 1ef033a68688aab9997ec1c0378acb1638b4afb618e533fcaf749d93389737ba94f4a0a94481becdf701c7e988ae2fe390136a8eae225887ee60db45063490fe -DIST microsoft.netframework.referenceassemblies.1.0.2.nupkg 20957 BLAKE2B e521646690b142a703d943cb0528552a669ceed16fa71e3a04300da1eb58d5428b168628c85b8e963e963cf0041b0a02d7442414248e6f506ff3d7ae452a85cb SHA512 8bf3922b695856059b8eec696a7ace03a7269d71d4c456cbdfb21bd3f6e69f2a9fa25e46acd5c29ad872829a07cc05ec083c3a6ee942bca21afd47ce3bc533e3 -DIST microsoft.netframework.referenceassemblies.net452.1.0.2.nupkg 19845441 BLAKE2B c2be1acfd4207984ba33a5ed468fea39299d61d6af99ef9cfc7df16096c0ecfb6133a3c970ffc150f79566710a589c5a387a5d2da8d5ce25f23173cfcfcc7661 SHA512 f4b099aa012c3d117c58dafcaa3edfc273ad7d5acf30c84d213eb15ae101559e7da3f1810285909153e85d73ac58dfedc34e6730c264cb0ae013e19a1213d691 DIST microsoft.testplatform.extensions.trxlogger.17.0.0.nupkg 361862 BLAKE2B 7315293c1ab965bbcc299a842a2e1f462e4821168f79f3036f7a14a4116f3d73c00f5b645bd1d16fc963f595e65ae11d7658544a6482c0e5926b36528644b259 SHA512 d72f41fbe9d4155b85d0e20e6a476d41ea55e355c61561270f241a1b2ef5b9d8dc9c81ca43d14c550a50bff0a301923e9e84a5035e5b31006a9639ba0221e907 DIST microsoft.testplatform.objectmodel.16.11.0.nupkg 2966263 BLAKE2B 5bf6464154b639b478c4000dd64e7570d124a446680583bceafee1cf3eafdc6a7bc10cacc665327a562a28fe0268c5d749dad0ef11376880f76310f1e3cb055c SHA512 105ec3c2d2d476abfa9fec73b25a701d815b743512b575e7ee2373ef7e459f767688be7ecdb555849a8342e07e922ab819dfae637e8b23b36ed918655d9a7471 DIST microsoft.testplatform.objectmodel.16.9.4.nupkg 2224614 BLAKE2B c8b0899000db731c0041f6209e4f85d2bbee5a7ebe3d3addd4405a33e1036bef52098c3fe8146123db262e71868d7bbe541149ef7443c7fc718ca78f916d384b SHA512 a1fc8192007d0d1a852393eadea26b8400df81a50d8a29549f79f726694696b2c361460561a3910f66dc195044b7773addc25642f9c7389b7152489e162f9ad9 @@ -356,5 +355,5 @@ DIST xunit.extensibility.execution.2.4.2.nupkg 353652 BLAKE2B f10e20d43b8030f51c DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e44148812a452401fa06eba913dad716cfd6743d85a09ffbc0be52276a4b90d039ab76077cca7ab5316b73009aeff2b2fe77dc465f1 SHA512 d8b0d124425db24f98335b332fe55e1a08b39af55d8834dd4a2717fd4be45f3a06ae6cb16427a17adfb31e215dab622856152bb2da715acb1946ec9e935299f4 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.ebuild 19345 BLAKE2B dbae137a53f87ab18390d5161324a03b688c56cfbc833581e57f86a096c2ea7c5d5cdbaa12d0a3b4f63be8a4844bb35b885e0a6d9989036d25d3ad32ccca8aa7 SHA512 9bd9ce6094ddd9f821d981968750f1301c4954e70a91ed6743b8b1d1116cf5fabcfcda1395d2f58e167518d0d93776178a9cadea22aab7e918dd5ed2544528d4 +EBUILD dafny-4.3.0-r1.ebuild 19288 BLAKE2B b65c355aeca7a0fd556de6b7817d932de7fc1963da5a3a012643f764a080a510b067f03816ae14a8b91c645bd2b24f34af7c8b09fd318526777e066de5e9d6aa SHA512 73bbc9bb10e5627c3e6298d5e8937cb3132258737f5ee7e00101fca854c64c27e311522b8d0570420079c530f87e284b35938b6f7a7e2292f9eb66e8c7d09f7f MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e diff --git a/dev-lang/dafny/dafny-4.3.0-r1.ebuild b/dev-lang/dafny/dafny-4.3.0-r1.ebuild new file mode 100644 index 000000000000..78bc91322e3f --- /dev/null +++ b/dev-lang/dafny/dafny-4.3.0-r1.ebuild @@ -0,0 +1,609 @@ +# 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@2.16.8 +boogie.basetypes@2.16.8 +boogie.codecontractsextender@2.16.8 +boogie.concurrency@2.16.8 +boogie.core@2.16.8 +boogie.executionengine@2.16.8 +boogie.graph@2.16.8 +boogie.houdini@2.16.8 +boogie.model@2.16.8 +boogie.provers.smtlib@2.16.8 +boogie.vcexpr@2.16.8 +boogie.vcgeneration@2.16.8 +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.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.1.0-lit.patch" + "${FILESDIR}/${PN}-4.2.0-lit-use-system-boogie.patch" + "${FILESDIR}/${PN}-4.3.0-net6.0-upgrade.patch" +) + +DOCS=( + CODE_OF_CONDUCT.md + CONTRIBUTING.md + NOTICES.txt + README.md + RELEASE_NOTES.md + docs/DafnyCheatsheet.pdf + docs/DafnyRef/out/DafnyRef.pdf +) + +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() { + # Remove bad tests (recursive). + local -a bad_tests + bad_tests=( + # Following tests fail: + DafnyTestGeneration/TestGeneration.dfy + DafnyTests/TestAttribute.dfy + auditor/TestAuditor.dfy + benchmarks/sequence-race/SequenceRace.dfy + dafny0/Fuel.dfy + dafny0/JavaUseRuntimeLib.dfy + dafny0/Stdin.dfy + examples/Simple_compiler/Compiler.dfy + separate-verification/assumptions.dfy + server/counterexample_none.transcript + unicodechars/comp/Arrays.dfy + unicodechars/comp/Collections.dfy + unicodechars/comp/Comprehensions.dfy + unicodechars/expectations/Expect.dfy + + # Following tests are very slow: + comp/Arrays.dfy + comp/BranchCoverage.dfy + comp/Collections.dfy + comp/CompileWithArguments.dfy + comp/Comprehensions.dfy + comp/Extern.dfy + comp/MainMethod.dfy + comp/Print.dfy + comp/TailRecursion.dfy + comp/UnicodeStrings.dfy + comp/Uninitialized.dfy + comp/compile1quiet/CompileRunQuietly.dfy + comp/compile3/JustRun.dfy + comp/manualcompile/ManualCompile.dfy + concurrency/06-ThreadOwnership.dfy + concurrency/07-CounterThreadOwnership.dfy + concurrency/09-CounterNoStateMachine.dfy + concurrency/10-SequenceInvariant.dfy + concurrency/11-MutexGuard2.dfy + concurrency/12-MutexLifetime-short.dfy + dafny0/RlimitMultiplier.dfy + dafny0/Strings.dfy + dafny1/SchorrWaite.dfy + dafny2/MinWindowMax.dfy + dafny2/SmallestMissingNumber-functional.dfy + dafny2/SnapshotableTrees.dfy + dafny4/UnionFind.dfy + dafny4/git-issue250.dfy + expectations/Expect.dfy + git-issues/git-issue-356.dfy + git-issues/git-issue-Main0.dfy + git-issues/git-issue-Main4.dfy + git-issues/git-issue-MainE.dfy + hofs/VectorUpdate.dfy + metatests/ConsistentWhenSupported.dfy + separate-verification/app.dfy + traits/TraitCompile.dfy + unicodechars/comp/CompileWithArguments.dfy + ) + local bad_test + for bad_test in "${bad_tests[@]}" ; do + rm -r "${S}/Test/${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="${S}/Test/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 + java-pkg-2_src_prepare +} + +src_compile () { + # In 4.3.0 the DafnyRuntime JAR has mismatched version, by mistake? + + einfo "Building dependency-less DafnyRuntime 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 ./ "${dafny_runtime_java}/src/main/java/dafny"/*.java + edo jar cvf "DafnyRuntime-4.2.0.jar" dafny/* + cp "DafnyRuntime-4.2.0.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 + 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 + lit_opts=( + --order=lexical + --time-tests + --verbose + --workers="$(makeopts_jobs)" + ) + edob lit "${lit_opts[@]}" "${S}/Test" +} + +src_install() { + dotnet-pkg-base_install + + local -a dafny_exes + 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.3.0.ebuild b/dev-lang/dafny/dafny-4.3.0.ebuild deleted file mode 100644 index 216aec617ebc..000000000000 --- a/dev-lang/dafny/dafny-4.3.0.ebuild +++ /dev/null @@ -1,610 +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@2.16.8 -boogie.basetypes@2.16.8 -boogie.codecontractsextender@2.16.8 -boogie.concurrency@2.16.8 -boogie.core@2.16.8 -boogie.executionengine@2.16.8 -boogie.graph@2.16.8 -boogie.houdini@2.16.8 -boogie.model@2.16.8 -boogie.provers.smtlib@2.16.8 -boogie.vcexpr@2.16.8 -boogie.vcgeneration@2.16.8 -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.1.0-lit.patch" - "${FILESDIR}/${PN}-4.2.0-lit-use-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 -) - -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() { - # Remove bad tests (recursive). - local -a bad_tests - bad_tests=( - # Following tests fail: - DafnyTestGeneration/TestGeneration.dfy - DafnyTests/TestAttribute.dfy - auditor/TestAuditor.dfy - benchmarks/sequence-race/SequenceRace.dfy - dafny0/Fuel.dfy - dafny0/JavaUseRuntimeLib.dfy - dafny0/Stdin.dfy - examples/Simple_compiler/Compiler.dfy - separate-verification/assumptions.dfy - server/counterexample_none.transcript - unicodechars/comp/Arrays.dfy - unicodechars/comp/Collections.dfy - unicodechars/comp/Comprehensions.dfy - unicodechars/expectations/Expect.dfy - - # Following tests are very slow: - comp/Arrays.dfy - comp/BranchCoverage.dfy - comp/Collections.dfy - comp/CompileWithArguments.dfy - comp/Comprehensions.dfy - comp/Extern.dfy - comp/MainMethod.dfy - comp/Print.dfy - comp/TailRecursion.dfy - comp/UnicodeStrings.dfy - comp/Uninitialized.dfy - comp/compile1quiet/CompileRunQuietly.dfy - comp/compile3/JustRun.dfy - comp/manualcompile/ManualCompile.dfy - concurrency/06-ThreadOwnership.dfy - concurrency/07-CounterThreadOwnership.dfy - concurrency/09-CounterNoStateMachine.dfy - concurrency/10-SequenceInvariant.dfy - concurrency/11-MutexGuard2.dfy - concurrency/12-MutexLifetime-short.dfy - dafny0/RlimitMultiplier.dfy - dafny0/Strings.dfy - dafny1/SchorrWaite.dfy - dafny2/MinWindowMax.dfy - dafny2/SmallestMissingNumber-functional.dfy - dafny2/SnapshotableTrees.dfy - dafny4/UnionFind.dfy - dafny4/git-issue250.dfy - expectations/Expect.dfy - git-issues/git-issue-356.dfy - git-issues/git-issue-Main0.dfy - git-issues/git-issue-Main4.dfy - git-issues/git-issue-MainE.dfy - hofs/VectorUpdate.dfy - metatests/ConsistentWhenSupported.dfy - separate-verification/app.dfy - traits/TraitCompile.dfy - unicodechars/comp/CompileWithArguments.dfy - ) - local bad_test - for bad_test in "${bad_tests[@]}" ; do - rm -r "${S}/Test/${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="${S}/Test/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 - java-pkg-2_src_prepare -} - -src_compile () { - # In 4.3.0 the DafnyRuntime JAR has mismatched version, by mistake? - - einfo "Building dependency-less DafnyRuntime 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 ./ "${dafny_runtime_java}/src/main/java/dafny"/*.java - edo jar cvf "DafnyRuntime-4.2.0.jar" dafny/* - cp "DafnyRuntime-4.2.0.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 - 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 - lit_opts=( - --order=lexical - --time-tests - --verbose - --workers="$(makeopts_jobs)" - ) - edob lit "${lit_opts[@]}" "${S}/Test" -} - -src_install() { - dotnet-pkg-base_install - - local -a dafny_exes - 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.3.0-net6.0-upgrade.patch b/dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch new file mode 100644 index 000000000000..5c43ca90ae0e --- /dev/null +++ b/dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch @@ -0,0 +1,22 @@ +--- a/Source/DafnyRuntime/DafnyRuntime.csproj.orig ++++ b/Source/DafnyRuntime/DafnyRuntime.csproj +@@ -6,7 +6,7 @@ + true + false + TRACE;ISDAFNYRUNTIMELIB +- netstandard2.0;net452 ++ net6.0 + ..\..\Binaries\ + 7.3 + MIT +--- a/Test/comp/separate-compilation/Inputs/producer/TimesTwo.csproj.orig ++++ b/Test/comp/separate-compilation/Inputs/producer/TimesTwo.csproj +@@ -2,7 +2,7 @@ + + + +- netstandard2.0 ++ net6.0 + + + diff --git a/dev-lang/jint/Manifest b/dev-lang/jint/Manifest index 483981ec544b..07d5b7cb519a 100644 --- a/dev-lang/jint/Manifest +++ b/dev-lang/jint/Manifest @@ -36,8 +36,6 @@ DIST microsoft.netcore.platforms.2.1.2.nupkg 31064 BLAKE2B 6b28f015a1c3c2dbad93f DIST microsoft.netcore.platforms.5.0.0.nupkg 39826 BLAKE2B a122f0d2afb77455c005740fe5096c055f72eb658b0d1f10e6a17f9d07c3bf91ad0010ff472ee1d05b84bfbb75c9de3c46d2a2d33fdcaa245d64d6c3a956f233 SHA512 8493fe11648c7ecc20b6530490d30fd63744961345c0501a7a10b11046661da09b783ddceb8b3208ae52a72a8a94cafdce8dc1bd6073c32081e30d0e7407f174 DIST microsoft.netcore.targets.1.1.0.nupkg 18162 BLAKE2B 419d19e0da934ab4b9db75dd66cc22b83a003f34e93cf7a92feccf4f32d3d695e18b826b1aba13073dd4ec53aa7905a67346921d1055516647ddcde0d79009f1 SHA512 1ef033a68688aab9997ec1c0378acb1638b4afb618e533fcaf749d93389737ba94f4a0a94481becdf701c7e988ae2fe390136a8eae225887ee60db45063490fe DIST microsoft.netcore.targets.1.1.3.nupkg 31152 BLAKE2B 80a656508fda7db32065d89f8eeb319db79869a00cb22d7a8c9c2204711f057f076e905050717302d4f900b8881c7d2a15bfc040fa285dca984c138cce311d3a SHA512 a71c2af20d8f61188417929756399914c353aac8361abd69baffe9475b2a01db802870066da0ae27afb2737a4026c782950503dbd4b651bae6ee7fd90fbf1d52 -DIST microsoft.netframework.referenceassemblies.1.0.2.nupkg 20957 BLAKE2B e521646690b142a703d943cb0528552a669ceed16fa71e3a04300da1eb58d5428b168628c85b8e963e963cf0041b0a02d7442414248e6f506ff3d7ae452a85cb SHA512 8bf3922b695856059b8eec696a7ace03a7269d71d4c456cbdfb21bd3f6e69f2a9fa25e46acd5c29ad872829a07cc05ec083c3a6ee942bca21afd47ce3bc533e3 -DIST microsoft.netframework.referenceassemblies.net462.1.0.2.nupkg 19902480 BLAKE2B 72b3db5915db8e8f1ddcc2fc9f9598eae8521ff122bcc6447e9e18728308524969e4773dfc5f50700253bc25383a301d2a9a291a3e553cd4187f40cfa1dae8fc SHA512 883404876c53200fe8d7a76d71509056c8c995f99ad695af9468cfd4b61b377bc60e602a98386881408e88ddc3d56fc43fb1dcd9a0cbd038673f3758c4f33b43 DIST microsoft.sourcelink.common.1.1.1.nupkg 271934 BLAKE2B 6678fa357eba30a58cd1b457bfe8423a2c0e1359c9088cab364707c0061a7e11035094a00a75528a290b1c9415062ce47a17600bd010f769b3d7e2501456e911 SHA512 bf2241eeeb82876f7612d525064aa90f9bb56610260d44a2fc5b75b63b45a652444c25451f7daacbe97cb2c5a6e72180805f894054f7176cc290d147a2753ef4 DIST microsoft.sourcelink.github.1.1.1.nupkg 285433 BLAKE2B 986ee1aa2bd39c577c0ffc71e27d5ed5128dc5b2df9dcdc29f0b62cae31de120253cea0afeb583ab1a3fc5e5b50766a608f2f8ec749224436a031092fb14b553 SHA512 54c7ff8d0cafd654a115d5755710ec89534399a605949ffd43778290796022092679a43e1a129250ff9a03e61417c43dc2fc1362a9019dee88a7e048c1be953c DIST microsoft.testplatform.objectmodel.17.7.1.nupkg 1496394 BLAKE2B 2957d63fd29b5adc5753730bedc6531128a36f6738a8951cb7e328d9e2fd9a637dba20974fab33822723b510a6063b782cbea699308bce968caf172991b6cfde SHA512 6230d4db57b4b94e53dbece850ccd8e6d7b5d68a0fe06cf73dd16108f07e0b566ae721b4eeaaaa5b36415d9405bda14b922731d6d50638ea6a8c97a0322305e4 @@ -199,5 +197,5 @@ DIST yantrajs.core.1.2.179.nupkg 1636982 BLAKE2B 225f3796212e13c33c64e1d5dfd3b5f DIST yantrajs.expressioncompiler.1.2.179.nupkg 208237 BLAKE2B 87eae924d2c671c1f194b6057536d4fd6fa247c8e9cfc9d70c4cb2ed8b252f472998e0396a913648c41a5a48ac860c9071036149cbb8158988f35f66bc034bf6 SHA512 c32aad55ee58b253db2e0e845d3cdb3765349e5fa9da55e82d2e86489ccf0bcaf92b5271c42a003c52bec8abf15cd35466ea5254198b51ade7a7dedfbe4e3661 DIST zio.0.15.0.nupkg 402398 BLAKE2B 80f4fdf6a96a526f32f967b8505c62840819177f16ee0aa51e8a05c74f36f630b59c1ca9b4a8b1a5b3075a3d1393928bf1ebe4f74901586d237928b64373d96b SHA512 6c5badfdb48510667bb4eeb53fb5e17afc19946f80de1ceb30bf65abc0e11b7682ae39e69e65a9d3e235a3e2420814169bc4f4767cfee3c57b4859ee1ec78502 DIST zstring.2.4.4.nupkg 136907 BLAKE2B 651ce26395f16eaeff89faa54156e19dc6110821f1e303b8850e8c66fd7b1cd88843959f82f4a12c3b50a39f2b8b6aa264dc5036c74f82f8411a02ed5cca603c SHA512 6ce8bcdab38bc33aee80f3924fc8b34e83f761b835802d9aeb53ddf23f6299115c9f8c7e28212e40b16439bbb975485c97f84005f44708f00b55a3e0afe83418 -EBUILD jint-3.0.0_beta2051.ebuild 8353 BLAKE2B 296a419f7c3d7e4e5cb6788987f4c449634757013a2b5a08bcac982cd560083a88b437968c2a138abe14d49bc225db6b2102ae61d1d1c23f38eba71fbb498ca1 SHA512 ab88f0729912d090f47f1a95e49dfea8a4db993e27a1015b96718855857e7b63ff81f32c12826e558606f664e132d668ea6beebb68c15b27454facaab78e9e55 +EBUILD jint-3.0.0_beta2051.ebuild 8273 BLAKE2B 0735b35dc022ef56b14969ecd4bdd37dcdada57c22e74a63dabc1162c8830a562498d853b5799aae6bc3ebbe4f58f1cc6f91fded244d50e46a2629270bc27767 SHA512 665d2ffd25ca6345d90b33101b5182d3dc64bf1383a3f1ccb1e5f14ed09617da5690525198ca814a3ed8b0685dfae98d5a09300e78821b1ec52b1de65f1f60ef MISC metadata.xml 594 BLAKE2B fdf520219d0c6a8f2b2c497f17f3cd09bf56135d4338bed3e154b4661d54cbe793127f260a4d440e495603544bfc3c39ad54fb65996360eb512b791e4a90014f SHA512 0edf6ed324f9a9efc811bd3992ef5d6beebcc32ea4e9c320e15c60321dd177db39bcca60f372ebf165677534cc010f14616fab0c6c13cd07818cc72b0e88525f diff --git a/dev-lang/jint/jint-3.0.0_beta2051.ebuild b/dev-lang/jint/jint-3.0.0_beta2051.ebuild index 531b441dfbbd..fc437c26d904 100644 --- a/dev-lang/jint/jint-3.0.0_beta2051.ebuild +++ b/dev-lang/jint/jint-3.0.0_beta2051.ebuild @@ -44,8 +44,6 @@ microsoft.netcore.platforms@2.1.2 microsoft.netcore.platforms@5.0.0 microsoft.netcore.targets@1.1.0 microsoft.netcore.targets@1.1.3 -microsoft.netframework.referenceassemblies.net462@1.0.2 -microsoft.netframework.referenceassemblies@1.0.2 microsoft.sourcelink.common@1.1.1 microsoft.sourcelink.github@1.1.1 microsoft.testplatform.objectmodel@17.7.1 @@ -233,6 +231,12 @@ SLOT="0" RESTRICT="test" # Tests fail. CHECKREQS_DISK_BUILD="2G" +DOTNET_PKG_RESTORE_EXTRA_ARGS=( + -p:TargetFramework="net${DOTNET_PKG_COMPAT}" + -p:TargetFrameworks="net${DOTNET_PKG_COMPAT}" +) +DOTNET_PKG_BUILD_EXTRA_ARGS=( "${DOTNET_PKG_RESTORE_EXTRA_ARGS[@]}" ) +DOTNET_PKG_TEST_EXTRA_ARGS=( "${DOTNET_PKG_RESTORE_EXTRA_ARGS[@]}" ) DOTNET_PKG_PROJECTS=( Jint.Repl/Jint.Repl.csproj ) pkg_setup() { @@ -240,17 +244,6 @@ pkg_setup() { dotnet-pkg_pkg_setup } -src_prepare() { - default - - # Force update to SDK 7.0 since build fails with current version - # of SDK 6.0 in the ::gentoo tree. - find . \ - -type f -name "*.csproj" \ - -exec sed -e "s|net6.0|net7.0|g" -i {} \; \ - || die -} - src_install() { dotnet-pkg-base_install dotnet-pkg-base_dolauncher "/usr/share/${P}/Jint.Repl" "${PN}" diff --git a/dev-lang/luau/Manifest b/dev-lang/luau/Manifest index 8db3c3996d1b..8da31db738c3 100644 --- a/dev-lang/luau/Manifest +++ b/dev-lang/luau/Manifest @@ -5,7 +5,7 @@ DIST luau-0.598.tar.gz 6081452 BLAKE2B 19b725ea63df144288ef7d7ce12e1ae04a9908acd DIST luau-0.599.tar.gz 6501273 BLAKE2B f065f0ca11664841d182384c3ae3f3e8e283a0c504df43bd67139039afd1b75343ffc24c2fb26e13914bdc22efe66dd68cd3f1eb922bad2eda2540b04120a1ae SHA512 de9997f240f52551097bdd8af9c4fc40d0c90289e4e0d3677c2fedca2e69d57a7ac3fa8dc2df60eecfb466d9205eed517cb6cedbebde80ad318a370f37ee0ec9 DIST luau-0.600.tar.gz 6521332 BLAKE2B e2dee23ce448659ef9ebba4067c61a2666028de63cc4bdccc55cc970740c419f5865659601ef2c63e0cb381fef43b0ceb5f944eb29677f8f3ee10bf511b7aed1 SHA512 51d8cc1bf6547c5866e5f98748dac31f6da645552ba57ce7b100586cf51c1d7e0bc54359f1f74ff7043d2801256695c074b3a604f0404fc331472c664edf9cea EBUILD luau-0.595.ebuild 764 BLAKE2B 0b537522661c2c8bfabcd10bef8296ce181f8bcee1cb9ceae85d0ca93f504f68e39b668b981e84981e8aa2109e75c2b7dd955271a96e1fd493090eeb72ee7c97 SHA512 98ff58b32279b3e3c8c16812f5d10002abf63ed29bf40555b5a364af0ffdb562fc75254b8ab42df5e0bef695002f4f59bbe7f4059208da5d9a163300f07d535a -EBUILD luau-0.596.ebuild 765 BLAKE2B 23f9d13f1fac061da43c18a71ce4dd742e8ff880d38da327fbb50859d0d8769bf86330785b09289d5323d6dd28166e1beee706e9bf669c5a9812a462be5056bb SHA512 5d6f371e31c1cf2d3a0ec657c133c6bd0543b2b02d09c7d5b75ac7724ff318c30da842fc5337277b57ad44b82e656d0e9a444a4907cfd742a967aff9bc67496f +EBUILD luau-0.596.ebuild 764 BLAKE2B 0b537522661c2c8bfabcd10bef8296ce181f8bcee1cb9ceae85d0ca93f504f68e39b668b981e84981e8aa2109e75c2b7dd955271a96e1fd493090eeb72ee7c97 SHA512 98ff58b32279b3e3c8c16812f5d10002abf63ed29bf40555b5a364af0ffdb562fc75254b8ab42df5e0bef695002f4f59bbe7f4059208da5d9a163300f07d535a EBUILD luau-0.598.ebuild 765 BLAKE2B 23f9d13f1fac061da43c18a71ce4dd742e8ff880d38da327fbb50859d0d8769bf86330785b09289d5323d6dd28166e1beee706e9bf669c5a9812a462be5056bb SHA512 5d6f371e31c1cf2d3a0ec657c133c6bd0543b2b02d09c7d5b75ac7724ff318c30da842fc5337277b57ad44b82e656d0e9a444a4907cfd742a967aff9bc67496f EBUILD luau-0.599.ebuild 765 BLAKE2B 23f9d13f1fac061da43c18a71ce4dd742e8ff880d38da327fbb50859d0d8769bf86330785b09289d5323d6dd28166e1beee706e9bf669c5a9812a462be5056bb SHA512 5d6f371e31c1cf2d3a0ec657c133c6bd0543b2b02d09c7d5b75ac7724ff318c30da842fc5337277b57ad44b82e656d0e9a444a4907cfd742a967aff9bc67496f EBUILD luau-0.600.ebuild 818 BLAKE2B 1a01a2f745edad5557e4dd31599960e05c16b93242b1aea4a376b9d04f5e13bdb67501fe2953ff64625fd7e756f36ca91ae705805a327feb3f1ebb97888ead41 SHA512 959013a9e10d9468b04c1d6bf877a4342591717f21f337c22d8790695bb17d1c7e23376a4dbb48e515b78d91f757d9d9ec0503c987fe7c7eedaddf4e8baba689 diff --git a/dev-lang/luau/luau-0.596.ebuild b/dev-lang/luau/luau-0.596.ebuild index c7bee4916d90..b15291852bc5 100644 --- a/dev-lang/luau/luau-0.596.ebuild +++ b/dev-lang/luau/luau-0.596.ebuild @@ -15,7 +15,7 @@ if [[ ${PV} == *9999* ]] ; then else SRC_URI="https://github.com/Roblox/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" - KEYWORDS="~amd64 ~x86" + KEYWORDS="amd64 ~x86" fi LICENSE="MIT" diff --git a/dev-lang/qore/Manifest b/dev-lang/qore/Manifest index 30e9f11a1d9b..e5fc58da084f 100644 --- a/dev-lang/qore/Manifest +++ b/dev-lang/qore/Manifest @@ -1,5 +1,5 @@ DIST qore-1.19.0.tar.gz 3932880 BLAKE2B 8987a818e4fef495d9e07477715f18ad70541c81108bbc3aac56660e4d2ee9349303654ba07a849a7bfb43952d0ee8b868224f029254c83f435aa024def08669 SHA512 5264db098644ba39316e7825f1ed8243240c506a22c15836fcfa9500b173807ee9c4d213577d3a9eee7220d5d15ad171f05f75a431fb0537c95ab3dc761cbba3 DIST qore-1.19.1.tar.gz 3933768 BLAKE2B 8e3002a55f1cf15f22ff604b1ceaf71995727510e365ae6ab03b71a91ddc1a82c5d6d89514b989a3509a5b39228fcf8fe11b6d88df8af784cace9b56b9d22482 SHA512 bf2203f8fe81cd4a604e06859380664f5cf635f5496e1ce6b6d5760d4cba82e510c78acef7ced4fdacd6df722f6eb305307106f12df3201003858a5a55256d9e EBUILD qore-1.19.0.ebuild 1329 BLAKE2B eac4430808aeb82d6542a3f2adee48d3a89c0214c3d0b1b41e95c631548b9461e0df7280a0431a5357ce648a809ccd288332fe2f528a0989f21c42c2c011ab7d SHA512 c79ac9edb6d54b34649a16f30b2cd789a9ae1a9981c107473f2b634f46c9890b2ac83e8ada1e6ee3e4d437f734280fa8bae5b69d6c7b15ff91fe8e6496d06ee3 -EBUILD qore-1.19.1.ebuild 1330 BLAKE2B ef97569c496585dce76260b37c4168f5732251fa1aa5a380e7f5f9dd170dd055f9da71c4666bdf913992d67fe28377610e78aac99b9d971dce5fa0e398b801de SHA512 24f3a62d7c3dd0e2eff6ae295bdd5054bd57f0f532fc6dc409489e84562e52ad3ff4608a77277f44d3377e76c50cf444e4da2b6079e6467155906cea91f317c9 +EBUILD qore-1.19.1.ebuild 1329 BLAKE2B eac4430808aeb82d6542a3f2adee48d3a89c0214c3d0b1b41e95c631548b9461e0df7280a0431a5357ce648a809ccd288332fe2f528a0989f21c42c2c011ab7d SHA512 c79ac9edb6d54b34649a16f30b2cd789a9ae1a9981c107473f2b634f46c9890b2ac83e8ada1e6ee3e4d437f734280fa8bae5b69d6c7b15ff91fe8e6496d06ee3 MISC metadata.xml 988 BLAKE2B 3a74a6ca601e603b3fd02afac98ac66a2918537ad2c2d44620a2bf458a246c9c0e26bd733a5af26b7baca9c3bd69949f0ae7332bf5efbc184a3714580c545322 SHA512 39372b45ba7b12127a355ced7e18b2c537bd09127e0db503fb0e3dbb3584f2095a77f69f000473451ce73b0f1dc38243478d34312def725c9936c49485607638 diff --git a/dev-lang/qore/qore-1.19.1.ebuild b/dev-lang/qore/qore-1.19.1.ebuild index 470c8707dfd1..38b2af9a08c7 100644 --- a/dev-lang/qore/qore-1.19.1.ebuild +++ b/dev-lang/qore/qore-1.19.1.ebuild @@ -18,7 +18,7 @@ else -> ${P}.tar.gz" S="${WORKDIR}/${PN}-release-${PV}" - KEYWORDS="~amd64 ~x86" + KEYWORDS="amd64 ~x86" fi LICENSE="GPL-2+ LGPL-2.1+ MIT" -- cgit v1.2.3