diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-09-16 17:00:58 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-09-16 17:00:58 +0100 |
commit | 7b830374520118e805fdd214530a389653750f51 (patch) | |
tree | 1f6ef2872a3f89b278b2d5c7f82f36df335dce30 /dev-lang/boogie | |
parent | 3c490942d0d98701d1c0971e60911fa6bd3ecb76 (diff) |
gentoo auto-resync : 16:09:2023 - 17:00:58
Diffstat (limited to 'dev-lang/boogie')
-rw-r--r-- | dev-lang/boogie/Manifest | 3 | ||||
-rw-r--r-- | dev-lang/boogie/boogie-2.16.0.ebuild | 94 |
2 files changed, 0 insertions, 97 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 74773bd44f48..7141ad9c6647 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -1,5 +1,3 @@ -DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959 SHA512 ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f -DIST boogie-2.16.0.tar.gz 1540957 BLAKE2B e42615f1a0963aa68cc898945aafa6b518acc2134da17b717a81b4c5601bdb8112b79e96aafdb277a5517ca855679175bb5e6fdf9faae37b2e4b00f7c0ff3af5 SHA512 50be3d688f92481890687ba6853ff30716899a045ef1a5915f8bd2c4e86deec73983edaf9e96766efb7c4bc0d522e0087d472de1bf6151adbe35ef903cd8a875 DIST boogie-3.0.4.tar.gz 2024651 BLAKE2B ccd6892aef048f7e031d8101ead979eb8aeb09d14954e62d862cf60ef35bb34f70449b20ac4182f6eb253cc30f7fda6d17dc3206b50e1d0762d2be39fc28d12f SHA512 ff9f9fd9d143c79ddba146ed834aa68ef78b95a54445b8ae3ed89c2a55ca84106a4e0ba18f3b640ef1052ceb3b1ca166e6fb46242d9789a11d71a6d197e6f30c 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 @@ -192,6 +190,5 @@ 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-2.16.0.ebuild 2191 BLAKE2B 7167928f0a65d0239cd95cc0f3b3957dd52c4ef3a63597474f1bdc9a09d743376689db39d3ee581d99858fef39aa860c70b74d7a945a2e4f6531a726252f2b31 SHA512 8f6db106f5af25fedd460dd939cd9053870874338e796ccebb9bfb057782d1e7dab605748da1f858a30322c1ea9946aaa02d67e9c34fb430997083b926b7ec13 EBUILD boogie-3.0.4.ebuild 8991 BLAKE2B 02792a2edaf29cb5874d6f96664b1f0da052549be76dc1adf54ce1026e406355fd6b3ddef1748db905f5991403e44e79c00cb5b4e114af2fdbef5ed0dcede3b1 SHA512 f6b3003d6bdbcb51299f19a9cd8526af0247318a924f577e0d2bc18279576eac07b9d8fd418687d9c8b1ea8fef3d0b5181dbc34e30c1962d6ff9e8ecdcd69e76 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d diff --git a/dev-lang/boogie/boogie-2.16.0.ebuild b/dev-lang/boogie/boogie-2.16.0.ebuild deleted file mode 100644 index f4b0b0eea17f..000000000000 --- a/dev-lang/boogie/boogie-2.16.0.ebuild +++ /dev/null @@ -1,94 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -DOTNET_COMPAT=6.0 - -inherit edo multiprocessing - -DESCRIPTION="SMT-based program verifier" -HOMEPAGE="https://github.com/boogie-org/boogie/" -SRC_URI=" - https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz - -> ${P}.tar.gz - https://dev.gentoo.org/~xgqt/distfiles/deps/${PN}-2.15.8-deps.tar.xz -" - -LICENSE="MIT" -SLOT="0" -KEYWORDS="~amd64" -IUSE="debug test" -RESTRICT="!test? ( test )" - -BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}" -RDEPEND=" - ${BDEPEND} - sci-mathematics/z3 -" -BDEPEND+=" - test? ( - dev-python/lit - dev-python/OutputCheck - ) -" - -# Generated by dotnet. -QA_PREBUILT="/usr/share/boogie/BoogieDriver" - -src_prepare() { - export DOTNET_CLI_TELEMETRY_OPTOUT=1 - export DOTNET_NOLOGO=1 - export DOTNET_CONFIGURATION=$(usex debug Debug Release) - export DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN} - export NUGET_PACKAGES="${WORKDIR}"/${PN}-2.15.8/Source/nuget_packages - - default - - # Remove bad tests. - local bad_tests=( - civl/inductive-sequentialization/BroadcastConsensus.bpl - livevars/bla1.bpl - prover/cvc5.bpl - test0/MaxKeepGoingSplits.bpl - test15/CaptureInlineUnroll.bpl - test15/CaptureState.bpl - test15/CommonVariablesPruning.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_OUTPUT}/BoogieDriver.dll'|" \ - -i "${S}"/Test/lit.site.cfg || die "failed to update lit.site.cfg" -} - -src_configure() { - edob dotnet restore "${S}"/Source \ - --source "${NUGET_PACKAGES}" -p:TargetFramework=net${DOTNET_COMPAT} -} - -src_compile() { - local myopts=( - --configuration ${DOTNET_CONFIGURATION} - --no-restore - --no-self-contained - --nologo - --output "${DOTNET_OUTPUT}" - -consoleLoggerParameters:ErrorsOnly - -maxCpuCount:$(makeopts_jobs) - ) - edob dotnet build ${myopts[@]} "${S}"/Source -} - -src_test() { - lit "${S}"/Test || die "tests failed" -} - -src_install() { - mkdir -p "${ED}"/usr/share/ || die - cp -r "${DOTNET_OUTPUT}" "${ED}"/usr/share/ || die - dosym -r /usr/share/${PN}/BoogieDriver /usr/bin/boogie -} |