diff options
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.5.8.ebuild (renamed from dev-lang/boogie/boogie-3.5.6.ebuild) | 17 |
2 files changed, 6 insertions, 13 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index e7462951fcf3..fb51244215fb 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -1,5 +1,5 @@ -DIST boogie-3.5.6.gh.tar.gz 2134059 BLAKE2B 95a05a4ef6b7e326780b7ceba0fd165f2ffca1f8fc5e3a4b8a8dfca9afdc2816ca607249f8d73f46070c532299f7c0890d4b3f052640d0019dfec84fed81c052 SHA512 db6f3fd2f4a740d9f6dad74e58db7738715e93ee466b5ab97e8e089b97dee1592ae77561c93feb3694a0c480bc0cfc8171e0a4c9d14b498049602daf116e928b DIST boogie-3.5.7.gh.tar.gz 2136946 BLAKE2B a9a3b0e5125babc0bce98ab39624b2b1f2b5ace5a1d2733815ae1c3d343bca999b0f64fd19723678de4bc2ad5e3d63a4d69be427084184b638a51b97b307d527 SHA512 3c27283670a8c8f694b82fa6fdb3259aa4e8a2b7cc852117a057a3d04a25991d9ee7a28d45fbd96cb91640ee5c5a78ee6006f260334c19846c4180a100c7c636 +DIST boogie-3.5.8.gh.tar.gz 2160763 BLAKE2B b0104e966147daff548a6bfe049cbfddefafeaeed9408ed56f1f564681407bfa3df5beca418f8ec042b64345d2efeccefa8c76987baf07b53eca2cc74b5f644f SHA512 adce0ac622fff0569e25a567e64070e4a720e680b5e90b83beb79f720b3c7366d93546174ab312a1f4ec353c954bc540c300d67de24cca2c412eb098c1ada800 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 diff --git a/dev-lang/boogie/boogie-3.5.6.ebuild b/dev-lang/boogie/boogie-3.5.8.ebuild index e5d700de53b1..cfc16f708bf3 100644 --- a/dev-lang/boogie/boogie-3.5.6.ebuild +++ b/dev-lang/boogie/boogie-3.5.8.ebuild @@ -164,13 +164,11 @@ HOMEPAGE="https://github.com/boogie-org/boogie/" if [[ "${PV}" == *9999* ]] ; then inherit git-r3 - EGIT_REPO_URI="https://github.com/boogie-org/${PN}" else SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz -> ${P}.gh.tar.gz" - - KEYWORDS="amd64" + KEYWORDS="~amd64" fi SRC_URI+=" ${NUGET_URIS} " @@ -193,7 +191,6 @@ BDEPEND=" " 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" ) @@ -218,15 +215,12 @@ src_prepare() { havoc0 inst livevars - prover/cvc5-offline.bpl - prover/cvc5.bpl - prover/exitcode.bpl - prover/z3-hard-timeout.bpl - prover/z3mutl.bpl + prover + test2 + inline/expansion2.bpl + irreduciblecfg/Tangled.bpl snapshots/runtest.snapshot test15/CaptureInlineUnroll.bpl - test2/Timeouts0.bpl - test2/git-issue-366.bpl test21/InterestingExamples4.bpl ) local bad_test="" @@ -258,6 +252,5 @@ src_test() { src_install() { dotnet-pkg-base_install dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" "${PN}" - einstalldocs } |