summaryrefslogtreecommitdiff
path: root/dev-lang
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/Manifest.gzbin22639 -> 22640 bytes
-rw-r--r--dev-lang/boogie/Manifest10
-rw-r--r--dev-lang/boogie/boogie-3.2.5.ebuild310
-rw-r--r--dev-lang/boogie/boogie-3.3.3.ebuild309
-rw-r--r--dev-lang/boogie/boogie-3.4.2.ebuild310
-rw-r--r--dev-lang/boogie/boogie-3.5.1.ebuild (renamed from dev-lang/boogie/boogie-3.4.1.ebuild)29
-rw-r--r--dev-lang/nprolog/Manifest2
-rw-r--r--dev-lang/nprolog/nprolog-4.05.ebuild54
8 files changed, 70 insertions, 954 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index ab7c79d4738e..a28ad8ce7e21 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
Binary files differ
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 5d98b03cfb82..29166e21e610 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,9 +1,6 @@
AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109dcbc85f7bba5696d04772c53cfb1e456d0c60d2d3dce9103df641fe7f565d2a2d4e04a5d02aba43ac1ccc4527dcaae90b7b28b SHA512 b8c7b9172cd2f45be84058babd33c75f37dcb08f6c1a0b7c79b0ae2bd8afec70b29886f23d0a5553a00e1d3761a7788db0444d06788ee32aed2d1c2cd7cb9554
-DIST boogie-3.2.5.tar.gz 2067333 BLAKE2B 2014351c53fa9a7fcea6cc11f8d236b398b9f44acf0ff388e45a9e3b3e306963b939c45619c4227d398100ab52d6deebaeb5a5d668047cd6d5e631b058f89a07 SHA512 92896489f82ee158b851b3579b363e43dc69c3490815e9f1ba17da115fd6f6f7264e4fcf8388b5dd1891c8ff63514df6ec037454029fb80c5db71381c4d4e8a9
-DIST boogie-3.3.3.tar.gz 2067837 BLAKE2B 36e004327cccf74326e650aff8f9d059b285510a7be0d426a9baf9a49e585ffd720fc03d7716c848ad7024971195d99de2203a7c87d88edcbdc7fc76afa50c66 SHA512 b50154b880063df408694e59d21887d82a6885fc124971e9cf5194cd82ef6c9384e6579aff38d524663c3b504f7bea20fc216de6ee4bfdff17b41e5d7a78e47a
-DIST boogie-3.4.1.tar.gz 2078182 BLAKE2B 21540c9326db2ebea568f109b10942c9bee1f9efd445c912261a1158b3a87624ddac2436bcbd4a68e9df64a9af82c6b050ec070d64f90b4a8d87ec24382ce6dd SHA512 3225d08f7d87a71d788e3e94d2f8df2867ad0e54047bd2b6b35f224ff5aa4d793bc0745c33f8e7a3a72b11334328f71756eca3b48ca476eae4e6134aa0a047b0
-DIST boogie-3.4.2.tar.gz 2078742 BLAKE2B e12ad3b464ab9c401fafa89023cc9bbb4687ca514e3c2d07ea6daf0a12f6ec7d478e74e78820beb15f567d0ae5a27a9d6b0819bc97d3bfe2fae5b0093786010d SHA512 5c020692e340b95e54f5203724c16262d847fd6737d12e7dc20765f07d514a31e91e6bb26334277f81d22f4f62acb9980cc9d5aff9b2a8130eda99497f5612cf
DIST boogie-3.4.3.tar.gz 2083291 BLAKE2B 802315359afa17533cdf80f41a74d85067bc6b4d497e88bad89892f7cf8831a1564381a65852bdbba3e1c2b70303f9984ed9584dd3aac9c3f1ad085d41db8acc SHA512 39682dc7efc5cd2d9d0501fdaef345f4cbb01c2a92fc228fb2eff6177f373ba534097a17d009d144e3480aa67bd0f95423dfef4188a39803363bb7eac89af444
+DIST boogie-3.5.1.gh.tar.gz 2080788 BLAKE2B d13c3d6fbb17c1d5bb76174cc29a7aa912a4993b52a202de41f98990ec594c3414ab87a074ed13d4d30033ed7058756632bc86b1614d7ac6e18ec05946dabace SHA512 711eb2c4dbbf96b0917b57b2aa1ba193ff41c27992a86f538e0ef799329fac4fa95e282a4dc041571400f607c373666eb007f81cdb79188ff62e1aa30a738824
DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003 SHA512 221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be3dddd96edaf9c0852a9c23d7b099
DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667 SHA512 91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be SHA512 c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec
@@ -194,9 +191,6 @@ DIST system.xml.xpath.4.0.1.nupkg 250135 BLAKE2B d6f211f98f33f6b8959b918cff8e676
DIST system.xml.xpath.4.3.0.nupkg 250182 BLAKE2B 8a4177d47af56bc7a6289ed8f2cac41d504dee212a858ed221277b3f523b1ce38ccb47bc3ce4d59a2c7cfd77f00f3c9693a9c257c90adb38096ee77a860f10cc SHA512 2bd0979a2020579fb32ad374b89929a272e763ee1233ed9a215408c0a1f9f82a5fdb74330c1c55a6102e0dfdb8b7b59ed25fdf6454bf3de146152ea779f366e0
DIST system.xml.xpath.xmldocument.4.0.1.nupkg 86933 BLAKE2B 4c03b5a9433c2c954e75d212f9026885aa7514574b73a54880c3d55baee6bd5517abb46b67b22b9b6e63de92a8bc5ab4ff37e3f7e6454a5c5137ae2be6574b75 SHA512 81041a08d3b9158c43dfb48d42f13ec9950d7c2b7f63e1600a779a77786edfb46c522c32d9cc6a44358fbfe11efba0e539e578ef169261867a1905b8121a045d
DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9120940b302e6960690ed4a44b96ba15b03e16f9159f2c57d6004aa55b796ba2327009d23fc2f10d4d09e948b88eb6af36efa5f76e401b SHA512 f75b6f7c75874ab6053e8942c1662a6e9a3561aa01502437b8d67f3bfcebd1ebf906792801326889ed7acb094c55469766d7d27cd10bc61b46ddaaa94dfc11e3
-EBUILD boogie-3.2.5.ebuild 9626 BLAKE2B 195387bb7207203e04e29ec9981fdc560897ab74e15de5e38179490344741e470ab2dfde8dcd9118e607752f8ff379d5dce8a137c249eca702df24307d240c47 SHA512 82b8fe12671e3233222a25299fb14496bd6bf47e45672b9178af7586d1e06354b2ef21443092f0191ae99b01ad5f9fe9b16c9b5845a41d1d97ac56b7a2a1025b
-EBUILD boogie-3.3.3.ebuild 9596 BLAKE2B 43f531e6ec74e9c8398587c39433c690d64a6aa26bd560336ab286b260860de1b1d260ee6d576125a32b75cbac3e3f7121675d1f29734697f3a663ee901b63ea SHA512 3749b237d6c2722b9d4509f76da90c51e852c7fc5a10385b5c99e3e9e7faab785e92dcc08ce463c83d40e8f670505858c7f9e94a881d9344c1294d10222f61cc
-EBUILD boogie-3.4.1.ebuild 9563 BLAKE2B 35dc72ca14b65ae6dc908fa6bf26ea4bc05123b2b11b69c646059705d2ea7efb70c0e86297960471d84d6e29f29efada5082a21eb5147a0864e7aa3900d06819 SHA512 c7643bc7199e27ff4e89aa3e4f6024ec15d9ca79413a127236ff30bf79a69f77374b0a3498ee773c20c776346179261a953bcddcce581441a90cb7af75b89954
-EBUILD boogie-3.4.2.ebuild 9636 BLAKE2B 37a7165c38195b03f56598571de7f3d291fb2d5f058ee9434d09fe9564de57e518f81620cb5775c781449be5688206689967dbda8d1560c06ae306342b6eba24 SHA512 b381e87e3402e3417be856513c6d3f90ea040c17f5e15542c991e6efef695afcc8bf2574d2f49c86bbd9562a94d80f9c9f648f917c6be16abefb36582db039b4
EBUILD boogie-3.4.3.ebuild 9635 BLAKE2B 5bd808c0bad6448100ca8d29acf288087d12a7973a538882609bb65138f99b9f946cedccffed2f00e876dd1467891d35f24d4a6b43458dc59cb66acf9375a0c2 SHA512 fc1082446bab14b653d9706606c54392cb48ed123bc0f48b190f52e0df483baae30176a1ec5e482bd9a070d55326043ef64063d1324d05140e03a64b7dd790be
+EBUILD boogie-3.5.1.ebuild 9235 BLAKE2B cd8e08b24696feee10a146ebf264970c0d049a8c0f5de536fbca36d72cfa3f3ed9648dd4874b284a717a1324abe84ec1be2a721ff617543f5f5c345c9db37519 SHA512 fa2d1c4c1220ab713d44ac760422f3d53e82715fd30f3855a93327dde1cfa96ce0e733953bf613feb7eaed13cf5e44e7f83a2a68f8ed61e7f242c8b3857a68d0
MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d
diff --git a/dev-lang/boogie/boogie-3.2.5.ebuild b/dev-lang/boogie/boogie-3.2.5.ebuild
deleted file mode 100644
index e8d80167509a..000000000000
--- a/dev-lang/boogie/boogie-3.2.5.ebuild
+++ /dev/null
@@ -1,310 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT=8.0
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.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.1.0
-runtime.native.system.net.http@4.0.1
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.security.cryptography@4.0.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.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
-system.appcontext@4.1.0
-system.buffers@4.0.0
-system.buffers@4.3.0
-system.collections.concurrent@4.0.12
-system.collections.immutable@1.2.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.componentmodel.eventbasedasync@4.0.11
-system.componentmodel.eventbasedasync@4.3.0
-system.componentmodel.primitives@4.1.0
-system.componentmodel.primitives@4.3.0
-system.componentmodel.typeconverter@4.1.0
-system.componentmodel.typeconverter@4.3.0
-system.componentmodel@4.0.1
-system.componentmodel@4.3.0
-system.configuration.configurationmanager@6.0.0
-system.console@4.0.0
-system.diagnostics.debug@4.0.11
-system.diagnostics.debug@4.3.0
-system.diagnostics.diagnosticsource@4.0.0
-system.diagnostics.process@4.1.0
-system.diagnostics.process@4.3.0
-system.diagnostics.textwritertracelistener@4.0.0
-system.diagnostics.tools@4.0.1
-system.diagnostics.tracesource@4.0.0
-system.diagnostics.tracing@4.1.0
-system.diagnostics.tracing@4.3.0
-system.drawing.common@6.0.0
-system.dynamic.runtime@4.0.11
-system.globalization.calendars@4.0.1
-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.0.1
-system.io.compression@4.1.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@4.1.0
-system.io@4.3.0
-system.linq.async@6.0.1
-system.linq.expressions@4.1.0
-system.linq@4.1.0
-system.linq@4.3.0
-system.net.http@4.1.0
-system.net.nameresolution@4.3.0
-system.net.primitives@4.0.11
-system.net.sockets@4.1.0
-system.objectmodel@4.0.12
-system.private.datacontractserialization@4.1.1
-system.private.uri@4.3.0
-system.reactive@4.4.1
-system.reflection.emit.ilgeneration@4.0.1
-system.reflection.emit.lightweight@4.0.1
-system.reflection.emit@4.0.1
-system.reflection.extensions@4.0.1
-system.reflection.extensions@4.3.0
-system.reflection.metadata@1.3.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.resourcemanager@4.0.1
-system.resources.resourcemanager@4.3.0
-system.runtime.caching@6.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.loader@4.0.0
-system.runtime.numerics@4.0.1
-system.runtime.serialization.json@4.0.2
-system.runtime.serialization.primitives@4.1.1
-system.runtime@4.1.0
-system.runtime@4.3.0
-system.security.accesscontrol@6.0.0
-system.security.claims@4.3.0
-system.security.cryptography.algorithms@4.2.0
-system.security.cryptography.cng@4.2.0
-system.security.cryptography.csp@4.0.0
-system.security.cryptography.encoding@4.0.0
-system.security.cryptography.openssl@4.0.0
-system.security.cryptography.primitives@4.0.0
-system.security.cryptography.protecteddata@6.0.0
-system.security.cryptography.x509certificates@4.1.0
-system.security.permissions@6.0.0
-system.security.principal.windows@4.3.0
-system.security.principal@4.3.0
-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.regularexpressions@4.1.0
-system.text.regularexpressions@4.3.0
-system.threading.tasks.extensions@4.0.0
-system.threading.tasks.extensions@4.3.0
-system.threading.tasks@4.0.11
-system.threading.tasks@4.3.0
-system.threading.thread@4.0.0
-system.threading.thread@4.3.0
-system.threading.threadpool@4.0.10
-system.threading.threadpool@4.3.0
-system.threading.timer@4.0.1
-system.threading@4.0.11
-system.threading@4.3.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.xmldocument@4.0.1
-system.xml.xmldocument@4.3.0
-system.xml.xmlserializer@4.0.11
-system.xml.xpath.xmldocument@4.0.1
-system.xml.xpath.xmldocument@4.3.0
-system.xml.xpath@4.0.1
-system.xml.xpath@4.3.0
-"
-
-inherit check-reqs dotnet-pkg edo multiprocessing
-
-DESCRIPTION="SMT-based program verifier"
-HOMEPAGE="https://github.com/boogie-org/boogie/"
-
-if [[ "${PV}" == *9999* ]] ; then
- inherit git-r3
-
- EGIT_REPO_URI="https://github.com/boogie-org/${PN}.git"
-else
- SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
- -> ${P}.tar.gz"
-
- KEYWORDS="amd64"
-fi
-
-SRC_URI+=" ${NUGET_URIS} "
-
-LICENSE="MIT"
-SLOT="0"
-IUSE="test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- sci-mathematics/z3
-"
-BDEPEND="
- ${RDEPEND}
- test? (
- dev-python/outputcheck
- dev-python/lit
- dev-python/psutil
- )
-"
-
-PATCHES=( "${FILESDIR}/${PN}-3.0.4-disable-analyzers.patch" )
-
-CHECKREQS_DISK_BUILD="2G"
-DOTNET_PKG_PROJECTS=( Source/BoogieDriver/BoogieDriver.csproj )
-DOTNET_PKG_BUILD_EXTRA_ARGS=( -p:RollForward=Major )
-
-pkg_setup() {
- check-reqs_pkg_setup
- dotnet-pkg_pkg_setup
-}
-
-src_unpack() {
- dotnet-pkg_src_unpack
-
- if [[ -n "${EGIT_REPO_URI}" ]] ; then
- git-r3_src_unpack
- fi
-}
-
-src_prepare() {
- # Remove bad tests.
- local -a bad_tests=(
- civl/inductive-sequentialization/BroadcastConsensus.bpl
- civl/inductive-sequentialization/ChangRoberts.bpl
- civl/inductive-sequentialization/PingPong.bpl
- civl/inductive-sequentialization/distributed-snapshot.bpl
- civl/large-samples/GC.bpl
- civl/paxos/is.sh
- civl/samples/reserve.bpl
- civl/samples/treiber-stack.bpl
- havoc0/MouseClassFindMorePorts.bpl
- inst/vector-generic.bpl
- livevars/stack_overflow.bpl
- prover/cvc5-offline.bpl
- prover/cvc5.bpl
- prover/exitcode.bpl
- prover/z3-hard-timeout.bpl
- prover/z3mutl.bpl
- snapshots/runtest.snapshot
- test0/AssumeFalseSplit/AssumeFalseSplit.bpl
- test0/Split/Split.bpl
- test15/CaptureInlineUnroll.bpl
- test2/Timeouts0.bpl
- test2/git-issue-366.bpl
- test21/InterestingExamples4.bpl
- )
- local bad_test
- for bad_test in "${bad_tests[@]}" ; do
- rm "${S}/Test/${bad_test}" || die
- done
-
- # Update the boogieBinary variable.
- sed "/^boogieBinary/s|= .*|= '${DOTNET_PKG_OUTPUT}/BoogieDriver.dll'|" \
- -i "${S}/Test/lit.site.cfg" || die "failed to update lit.site.cfg"
-
- dotnet-pkg_src_prepare
-}
-
-src_test() {
- einfo "Starting tests using the lit test tool."
- local -a lit_opts=(
- --order=lexical
- --time-tests
- --timeout 1800 # Let one test take no more than half a hour.
- --verbose
- --workers="$(makeopts_jobs)"
- )
- edo lit "${lit_opts[@]}" "${S}/Test"
-}
-
-src_install() {
- dotnet-pkg-base_install
- dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" boogie
-
- einstalldocs
-}
diff --git a/dev-lang/boogie/boogie-3.3.3.ebuild b/dev-lang/boogie/boogie-3.3.3.ebuild
deleted file mode 100644
index 3f44a00b6a56..000000000000
--- a/dev-lang/boogie/boogie-3.3.3.ebuild
+++ /dev/null
@@ -1,309 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT="8.0"
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.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.1.0
-runtime.native.system.net.http@4.0.1
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.security.cryptography@4.0.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.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
-system.appcontext@4.1.0
-system.buffers@4.0.0
-system.buffers@4.3.0
-system.collections.concurrent@4.0.12
-system.collections.immutable@1.2.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.componentmodel.eventbasedasync@4.0.11
-system.componentmodel.eventbasedasync@4.3.0
-system.componentmodel.primitives@4.1.0
-system.componentmodel.primitives@4.3.0
-system.componentmodel.typeconverter@4.1.0
-system.componentmodel.typeconverter@4.3.0
-system.componentmodel@4.0.1
-system.componentmodel@4.3.0
-system.configuration.configurationmanager@6.0.0
-system.console@4.0.0
-system.diagnostics.debug@4.0.11
-system.diagnostics.debug@4.3.0
-system.diagnostics.diagnosticsource@4.0.0
-system.diagnostics.process@4.1.0
-system.diagnostics.process@4.3.0
-system.diagnostics.textwritertracelistener@4.0.0
-system.diagnostics.tools@4.0.1
-system.diagnostics.tracesource@4.0.0
-system.diagnostics.tracing@4.1.0
-system.diagnostics.tracing@4.3.0
-system.drawing.common@6.0.0
-system.dynamic.runtime@4.0.11
-system.globalization.calendars@4.0.1
-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.0.1
-system.io.compression@4.1.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@4.1.0
-system.io@4.3.0
-system.linq.async@6.0.1
-system.linq.expressions@4.1.0
-system.linq@4.1.0
-system.linq@4.3.0
-system.net.http@4.1.0
-system.net.nameresolution@4.3.0
-system.net.primitives@4.0.11
-system.net.sockets@4.1.0
-system.objectmodel@4.0.12
-system.private.datacontractserialization@4.1.1
-system.private.uri@4.3.0
-system.reactive@4.4.1
-system.reflection.emit.ilgeneration@4.0.1
-system.reflection.emit.lightweight@4.0.1
-system.reflection.emit@4.0.1
-system.reflection.extensions@4.0.1
-system.reflection.extensions@4.3.0
-system.reflection.metadata@1.3.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.resourcemanager@4.0.1
-system.resources.resourcemanager@4.3.0
-system.runtime.caching@6.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.loader@4.0.0
-system.runtime.numerics@4.0.1
-system.runtime.serialization.json@4.0.2
-system.runtime.serialization.primitives@4.1.1
-system.runtime@4.1.0
-system.runtime@4.3.0
-system.security.accesscontrol@6.0.0
-system.security.claims@4.3.0
-system.security.cryptography.algorithms@4.2.0
-system.security.cryptography.cng@4.2.0
-system.security.cryptography.csp@4.0.0
-system.security.cryptography.encoding@4.0.0
-system.security.cryptography.openssl@4.0.0
-system.security.cryptography.primitives@4.0.0
-system.security.cryptography.protecteddata@6.0.0
-system.security.cryptography.x509certificates@4.1.0
-system.security.permissions@6.0.0
-system.security.principal.windows@4.3.0
-system.security.principal@4.3.0
-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.regularexpressions@4.1.0
-system.text.regularexpressions@4.3.0
-system.threading.tasks.extensions@4.0.0
-system.threading.tasks.extensions@4.3.0
-system.threading.tasks@4.0.11
-system.threading.tasks@4.3.0
-system.threading.thread@4.0.0
-system.threading.thread@4.3.0
-system.threading.threadpool@4.0.10
-system.threading.threadpool@4.3.0
-system.threading.timer@4.0.1
-system.threading@4.0.11
-system.threading@4.3.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.xmldocument@4.0.1
-system.xml.xmldocument@4.3.0
-system.xml.xmlserializer@4.0.11
-system.xml.xpath.xmldocument@4.0.1
-system.xml.xpath.xmldocument@4.3.0
-system.xml.xpath@4.0.1
-system.xml.xpath@4.3.0
-"
-
-inherit check-reqs dotnet-pkg edo multiprocessing
-
-DESCRIPTION="SMT-based program verifier"
-HOMEPAGE="https://github.com/boogie-org/boogie/"
-
-if [[ "${PV}" == *9999* ]] ; then
- inherit git-r3
-
- EGIT_REPO_URI="https://github.com/boogie-org/${PN}.git"
-else
- SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
- -> ${P}.tar.gz"
-
- KEYWORDS="~amd64"
-fi
-
-SRC_URI+=" ${NUGET_URIS} "
-
-LICENSE="MIT"
-SLOT="0"
-IUSE="test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- sci-mathematics/z3
-"
-BDEPEND="
- ${RDEPEND}
- test? (
- dev-python/outputcheck
- dev-python/lit
- dev-python/psutil
- )
-"
-
-PATCHES=( "${FILESDIR}/${PN}-3.0.4-disable-analyzers.patch" )
-
-CHECKREQS_DISK_BUILD="2G"
-DOTNET_PKG_PROJECTS=( Source/BoogieDriver/BoogieDriver.csproj )
-DOTNET_PKG_BUILD_EXTRA_ARGS=( -p:RollForward=Major )
-
-pkg_setup() {
- check-reqs_pkg_setup
- dotnet-pkg_pkg_setup
-}
-
-src_unpack() {
- dotnet-pkg_src_unpack
-
- if [[ -n "${EGIT_REPO_URI}" ]] ; then
- git-r3_src_unpack
- fi
-}
-
-src_prepare() {
- # Remove bad tests.
- local -a bad_tests=(
- civl/inductive-sequentialization/BroadcastConsensus.bpl
- civl/inductive-sequentialization/ChangRoberts.bpl
- civl/inductive-sequentialization/PingPong.bpl
- civl/large-samples/GC.bpl
- civl/large-samples/verified-ft.bpl
- civl/paxos/is.sh
- civl/samples/reserve.bpl
- civl/samples/treiber-stack.bpl
- havoc0/MouseClassFindMorePorts.bpl
- inst/vector-generic.bpl
- inst/vector.bpl
- livevars/stack_overflow.bpl
- prover/cvc5-offline.bpl
- prover/cvc5.bpl
- prover/exitcode.bpl
- prover/z3-hard-timeout.bpl
- prover/z3mutl.bpl
- snapshots/runtest.snapshot
- test15/CaptureInlineUnroll.bpl
- test2/Timeouts0.bpl
- test2/git-issue-366.bpl
- test21/InterestingExamples4.bpl
- )
- local bad_test
- for bad_test in "${bad_tests[@]}" ; do
- rm "${S}/Test/${bad_test}" || ewarn "Failed to remove test: ${bad_test}"
- done
-
- # Update the boogieBinary variable.
- sed "/^boogieBinary/s|= .*|= '${DOTNET_PKG_OUTPUT}/BoogieDriver.dll'|" \
- -i "${S}/Test/lit.site.cfg" || die "failed to update lit.site.cfg"
-
- dotnet-pkg_src_prepare
-}
-
-src_test() {
- einfo "Starting tests using the lit test tool."
- local -a lit_opts=(
- --order="lexical"
- --time-tests
- --timeout="1800" # Let one test take no more than half a hour.
- --verbose
- --workers="$(makeopts_jobs)"
- )
- edo lit "${lit_opts[@]}" "${S}/Test"
-}
-
-src_install() {
- dotnet-pkg-base_install
- dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" "${PN}"
-
- einstalldocs
-}
diff --git a/dev-lang/boogie/boogie-3.4.2.ebuild b/dev-lang/boogie/boogie-3.4.2.ebuild
deleted file mode 100644
index 512bb2a4b0dd..000000000000
--- a/dev-lang/boogie/boogie-3.4.2.ebuild
+++ /dev/null
@@ -1,310 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_PKG_COMPAT="8.0"
-NUGETS="
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codecoverage@16.2.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.internalabstractions@1.0.0
-microsoft.net.test.sdk@16.2.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.objectmodel@16.2.0
-microsoft.testplatform.testhost@16.2.0
-microsoft.win32.primitives@4.0.1
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.0.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.systemevents@6.0.0
-netstandard.library@1.6.0
-netstandard.library@2.0.0
-newtonsoft.json@9.0.1
-nunit@3.12.0
-nunit3testadapter@3.15.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.1.0
-runtime.native.system.net.http@4.0.1
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.security.cryptography@4.0.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.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
-system.appcontext@4.1.0
-system.buffers@4.0.0
-system.buffers@4.3.0
-system.collections.concurrent@4.0.12
-system.collections.immutable@1.2.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.componentmodel.eventbasedasync@4.0.11
-system.componentmodel.eventbasedasync@4.3.0
-system.componentmodel.primitives@4.1.0
-system.componentmodel.primitives@4.3.0
-system.componentmodel.typeconverter@4.1.0
-system.componentmodel.typeconverter@4.3.0
-system.componentmodel@4.0.1
-system.componentmodel@4.3.0
-system.configuration.configurationmanager@6.0.0
-system.console@4.0.0
-system.diagnostics.debug@4.0.11
-system.diagnostics.debug@4.3.0
-system.diagnostics.diagnosticsource@4.0.0
-system.diagnostics.process@4.1.0
-system.diagnostics.process@4.3.0
-system.diagnostics.textwritertracelistener@4.0.0
-system.diagnostics.tools@4.0.1
-system.diagnostics.tracesource@4.0.0
-system.diagnostics.tracing@4.1.0
-system.diagnostics.tracing@4.3.0
-system.drawing.common@6.0.0
-system.dynamic.runtime@4.0.11
-system.globalization.calendars@4.0.1
-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.0.1
-system.io.compression@4.1.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@4.1.0
-system.io@4.3.0
-system.linq.async@6.0.1
-system.linq.expressions@4.1.0
-system.linq@4.1.0
-system.linq@4.3.0
-system.net.http@4.1.0
-system.net.nameresolution@4.3.0
-system.net.primitives@4.0.11
-system.net.sockets@4.1.0
-system.objectmodel@4.0.12
-system.private.datacontractserialization@4.1.1
-system.private.uri@4.3.0
-system.reactive@4.4.1
-system.reflection.emit.ilgeneration@4.0.1
-system.reflection.emit.lightweight@4.0.1
-system.reflection.emit@4.0.1
-system.reflection.extensions@4.0.1
-system.reflection.extensions@4.3.0
-system.reflection.metadata@1.3.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.resourcemanager@4.0.1
-system.resources.resourcemanager@4.3.0
-system.runtime.caching@6.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.loader@4.0.0
-system.runtime.numerics@4.0.1
-system.runtime.serialization.json@4.0.2
-system.runtime.serialization.primitives@4.1.1
-system.runtime@4.1.0
-system.runtime@4.3.0
-system.security.accesscontrol@6.0.0
-system.security.claims@4.3.0
-system.security.cryptography.algorithms@4.2.0
-system.security.cryptography.cng@4.2.0
-system.security.cryptography.csp@4.0.0
-system.security.cryptography.encoding@4.0.0
-system.security.cryptography.openssl@4.0.0
-system.security.cryptography.primitives@4.0.0
-system.security.cryptography.protecteddata@6.0.0
-system.security.cryptography.x509certificates@4.1.0
-system.security.permissions@6.0.0
-system.security.principal.windows@4.3.0
-system.security.principal@4.3.0
-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.regularexpressions@4.1.0
-system.text.regularexpressions@4.3.0
-system.threading.tasks.extensions@4.0.0
-system.threading.tasks.extensions@4.3.0
-system.threading.tasks@4.0.11
-system.threading.tasks@4.3.0
-system.threading.thread@4.0.0
-system.threading.thread@4.3.0
-system.threading.threadpool@4.0.10
-system.threading.threadpool@4.3.0
-system.threading.timer@4.0.1
-system.threading@4.0.11
-system.threading@4.3.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.xmldocument@4.0.1
-system.xml.xmldocument@4.3.0
-system.xml.xmlserializer@4.0.11
-system.xml.xpath.xmldocument@4.0.1
-system.xml.xpath.xmldocument@4.3.0
-system.xml.xpath@4.0.1
-system.xml.xpath@4.3.0
-"
-
-inherit check-reqs dotnet-pkg edo multiprocessing
-
-DESCRIPTION="SMT-based program verifier"
-HOMEPAGE="https://github.com/boogie-org/boogie/"
-
-if [[ "${PV}" == *9999* ]] ; then
- inherit git-r3
-
- EGIT_REPO_URI="https://github.com/boogie-org/${PN}.git"
-else
- SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
- -> ${P}.tar.gz"
-
- KEYWORDS="~amd64"
-fi
-
-SRC_URI+=" ${NUGET_URIS} "
-
-LICENSE="MIT"
-SLOT="0"
-IUSE="test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- sci-mathematics/z3
-"
-BDEPEND="
- ${RDEPEND}
- test? (
- dev-python/outputcheck
- dev-python/lit
- dev-python/psutil
- )
-"
-
-PATCHES=( "${FILESDIR}/${PN}-3.0.4-disable-analyzers.patch" )
-
-CHECKREQS_DISK_BUILD="2G"
-DOTNET_PKG_PROJECTS=( Source/BoogieDriver/BoogieDriver.csproj )
-DOTNET_PKG_BUILD_EXTRA_ARGS=( -p:RollForward=Major )
-
-pkg_setup() {
- check-reqs_pkg_setup
- dotnet-pkg_pkg_setup
-}
-
-src_unpack() {
- dotnet-pkg_src_unpack
-
- if [[ -n "${EGIT_REPO_URI}" ]] ; then
- git-r3_src_unpack
- fi
-}
-
-src_prepare() {
- # Remove bad tests.
- local -a bad_tests=(
- civl/inductive-sequentialization/BroadcastConsensus.bpl
- civl/inductive-sequentialization/ChangRoberts.bpl
- civl/inductive-sequentialization/PingPong.bpl
- civl/large-samples/GC.bpl
- civl/large-samples/shared-vector.bpl
- civl/large-samples/verified-ft.bpl
- civl/paxos/is.sh
- civl/samples/reserve.bpl
- havoc0/MouCreateClassObject.bpl
- havoc0/MouseClassFindMorePorts.bpl
- inst/vector-generic.bpl
- inst/vector.bpl
- livevars/stack_overflow.bpl
- prover/cvc5-offline.bpl
- prover/cvc5.bpl
- prover/exitcode.bpl
- prover/z3-hard-timeout.bpl
- prover/z3mutl.bpl
- snapshots/runtest.snapshot
- test15/CaptureInlineUnroll.bpl
- test2/Timeouts0.bpl
- test2/git-issue-366.bpl
- test21/InterestingExamples4.bpl
- )
- local bad_test
- for bad_test in "${bad_tests[@]}" ; do
- rm "${S}/Test/${bad_test}" || ewarn "Failed to remove test: ${bad_test}"
- done
-
- # Update the boogieBinary variable.
- sed "/^boogieBinary/s|= .*|= '${DOTNET_PKG_OUTPUT}/BoogieDriver.dll'|" \
- -i "${S}/Test/lit.site.cfg" || die "failed to update lit.site.cfg"
-
- dotnet-pkg_src_prepare
-}
-
-src_test() {
- einfo "Starting tests using the lit test tool."
- local -a lit_opts=(
- --order="lexical"
- --time-tests
- --timeout="1800" # Let one test take no more than half a hour.
- --verbose
- --workers="$(makeopts_jobs)"
- )
- edo lit "${lit_opts[@]}" "${S}/Test"
-}
-
-src_install() {
- dotnet-pkg-base_install
- dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" "${PN}"
-
- einstalldocs
-}
diff --git a/dev-lang/boogie/boogie-3.4.1.ebuild b/dev-lang/boogie/boogie-3.5.1.ebuild
index 927aa8383ff8..af19ba9caf72 100644
--- a/dev-lang/boogie/boogie-3.4.1.ebuild
+++ b/dev-lang/boogie/boogie-3.5.1.ebuild
@@ -1,9 +1,9 @@
-# Copyright 1999-2024 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
-DOTNET_PKG_COMPAT="8.0"
+DOTNET_PKG_COMPAT="9.0"
NUGETS="
microsoft.bcl.asyncinterfaces@6.0.0
microsoft.codecoverage@16.2.0
@@ -208,7 +208,7 @@ if [[ "${PV}" == *9999* ]] ; then
EGIT_REPO_URI="https://github.com/boogie-org/${PN}.git"
else
SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
- -> ${P}.tar.gz"
+ -> ${P}.gh.tar.gz"
KEYWORDS="~amd64"
fi
@@ -254,17 +254,10 @@ src_unpack() {
src_prepare() {
# Remove bad tests.
local -a bad_tests=(
- civl/inductive-sequentialization/BroadcastConsensus.bpl
- civl/inductive-sequentialization/ChangRoberts.bpl
- civl/inductive-sequentialization/PingPong.bpl
- civl/large-samples/GC.bpl
- civl/large-samples/verified-ft.bpl
- civl/paxos/is.sh
- civl/samples/reserve.bpl
- havoc0/MouseClassFindMorePorts.bpl
- inst/vector-generic.bpl
- inst/vector.bpl
- livevars/stack_overflow.bpl
+ civl
+ havoc0
+ inst
+ livevars
prover/cvc5-offline.bpl
prover/cvc5.bpl
prover/exitcode.bpl
@@ -276,14 +269,16 @@ src_prepare() {
test2/git-issue-366.bpl
test21/InterestingExamples4.bpl
)
- local bad_test
+ local bad_test=""
for bad_test in "${bad_tests[@]}" ; do
- rm "${S}/Test/${bad_test}" || ewarn "Failed to remove test: ${bad_test}"
+ rm -r "${S}/Test/${bad_test}" \
+ || ewarn "Failed to remove test: ${bad_test}"
done
# Update the boogieBinary variable.
sed "/^boogieBinary/s|= .*|= '${DOTNET_PKG_OUTPUT}/BoogieDriver.dll'|" \
- -i "${S}/Test/lit.site.cfg" || die "failed to update lit.site.cfg"
+ -i "${S}/Test/lit.site.cfg" \
+ || die "failed to update lit.site.cfg"
dotnet-pkg_src_prepare
}
diff --git a/dev-lang/nprolog/Manifest b/dev-lang/nprolog/Manifest
index 2c575647de90..842c8c535754 100644
--- a/dev-lang/nprolog/Manifest
+++ b/dev-lang/nprolog/Manifest
@@ -3,7 +3,9 @@ AUX nprolog-3.88-makefile-CURSES_CFLAGS-edlog-rule.patch 780 BLAKE2B 95e6e7a10af
DIST nprolog-3.88.gh.tar.gz 1337137 BLAKE2B 0d8f8d5e8242e3ab172f0a1256252ef99b6daf76a77fb75710c0286d55aa02e79e78601ec4347e42d88411cc7528d4e3b041496df04335496b71fc41cb3573c6 SHA512 12ef940792a6c9cd44cafad5440829d43b0c4736732341172255733f163d48b189233b62288e4fd59d36e5a378742f783a0400c2c4dc3d6b06570143b06685db
DIST nprolog-3.98.gh.tar.gz 1291160 BLAKE2B 9f143e5bb15156d8bac365b06d240817d3ff6a6f248d6148cfa88dedfc5d3e6749ed56e1c8bc10298ef2564507481e5b8bbbdf4c32c33343cb009913e9440214 SHA512 cb4462089557348aba1b18e94024f3d4bacf988611c79ee3e84ecd32d0356e9e370c677fa7c0228e3aff60b434feb58ab49aba6cca79b456699b63f64483142c
DIST nprolog-4.00.gh.tar.gz 1292375 BLAKE2B dbed6d7379711a79a3ac0465514c8ad950a8af6f2140ea79840bf6a9b31abfc67f1d8259da52768bc86a68e56e5b576c7833e33395e2a8dd6a78aafe3a9c7380 SHA512 9f892b67007f7bd9a08acd188fbccf2565de7a5009ad6b18c14c359a4abb186f26638e18dd426396ac4b4ad88d715507a2054fc3d36c3336cf578ea844d29fae
+DIST nprolog-4.05.gh.tar.gz 1294386 BLAKE2B 820bd52f2f5c47fd3fe873d94ca5dec177f43843cef649422e202debee922f2786ba5bd20c0f9806f5916ba74717d67febdc3dbb3b08616e22c5eba1085069aa SHA512 f6621fc30856bf38460395e7ebc73233b5387ea6aa450439b0979e50b2c8f1bde87ffd1a0468f5eca33abc3b3c2fe7bed080f8e82e090e213fb2afa488be3054
EBUILD nprolog-3.88.ebuild 1099 BLAKE2B 0ff2bced700750eaaecd47ec5eaf3bfb1e2c898c5bd0a0b1362dee2a9e88f807f67a1f65601ffb6ebc0b32cd187013b0143ab511586c5f97b9150a999593ec24 SHA512 b3cc88317046bb9fa4c56580f25ec4fb4814de9312068c58f0b3c2ad3aa67ab0c4af6bdbc908ae152400e100cf1693c11ae166d0cef6e157f96225eb37c83545
EBUILD nprolog-3.98.ebuild 939 BLAKE2B 54af8f133e704ed030d70711ef580ee4340d1e2957ac19a18e40caece971a186860f25a6fc977e2eed2ed0b38ff6ee37e43e7c74c4ee9b56c03463286fce9185 SHA512 a5ab0c3c604717b0c64009e95e9aaaba96c73f44f9f2dd19cd3f2de262a769c9e7f1c4a7a6e5706bbe12367f96ab0ca5a2112b39d3cf51f5117fdbb7ad1c702b
EBUILD nprolog-4.00.ebuild 939 BLAKE2B 54af8f133e704ed030d70711ef580ee4340d1e2957ac19a18e40caece971a186860f25a6fc977e2eed2ed0b38ff6ee37e43e7c74c4ee9b56c03463286fce9185 SHA512 a5ab0c3c604717b0c64009e95e9aaaba96c73f44f9f2dd19cd3f2de262a769c9e7f1c4a7a6e5706bbe12367f96ab0ca5a2112b39d3cf51f5117fdbb7ad1c702b
+EBUILD nprolog-4.05.ebuild 939 BLAKE2B 54af8f133e704ed030d70711ef580ee4340d1e2957ac19a18e40caece971a186860f25a6fc977e2eed2ed0b38ff6ee37e43e7c74c4ee9b56c03463286fce9185 SHA512 a5ab0c3c604717b0c64009e95e9aaaba96c73f44f9f2dd19cd3f2de262a769c9e7f1c4a7a6e5706bbe12367f96ab0ca5a2112b39d3cf51f5117fdbb7ad1c702b
MISC metadata.xml 657 BLAKE2B 9331358542d57958385bc1218b4a1c5d38185ab0822d0cc68e51bcc5f8b00645a523a1a4f60d30188efc3ed7cb934f0a6a964d27bf0915c5956c69774c734590 SHA512 972ae4d1f2179887f77d8805f2e5482c17767e38b078fa9d9ee65a2f43e0b56b76fccd0166f4c5121de9a7cead4faa7683bd8e9076c257ffb2d1deb673eb276e
diff --git a/dev-lang/nprolog/nprolog-4.05.ebuild b/dev-lang/nprolog/nprolog-4.05.ebuild
new file mode 100644
index 000000000000..7cd886b90578
--- /dev/null
+++ b/dev-lang/nprolog/nprolog-4.05.ebuild
@@ -0,0 +1,54 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit toolchain-funcs
+
+DESCRIPTION="Interpreter and compiler to be compatible with Arity/Prolog32"
+HOMEPAGE="https://github.com/sasagawa888/nprolog/"
+
+if [[ "${PV}" == *9999* ]] ; then
+ inherit git-r3
+
+ EGIT_REPO_URI="https://github.com/sasagawa888/${PN}"
+else
+ SRC_URI="https://github.com/sasagawa888/${PN}/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.gh.tar.gz"
+
+ KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="BSD-2"
+SLOT="0"
+IUSE="doc"
+
+DOCS=( README{,-ja}.md )
+
+src_prepare() {
+ if [[ -f edlog ]] ; then
+ rm edlog || die
+ fi
+
+ default
+}
+
+src_compile() {
+ emake CC="$(tc-getCC)" CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS}"
+}
+
+src_install() {
+ exeinto /usr/bin
+ doexe npl
+
+ insinto "/usr/share/${PN}"
+ doins -r example library
+
+ if use doc ; then
+ DOCS+=( document )
+
+ docompress -x "/usr/share/doc/${PF}/document"
+ fi
+
+ einstalldocs
+}
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-31 23:36:04 +0000