diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-10-06 19:22:30 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-10-06 19:22:30 +0100 |
| commit | 744892aecb5cdf9ca0bbe504f7bbcdfb87b518fc (patch) | |
| tree | 0b99b178b866e693a85d013eb47de3d1236e35b8 /dev-lang/boogie | |
| parent | 275074c50dca7b941cc7cd7966a2ace71c29ecae (diff) | |
gentoo auto-resync : 06:10:2022 - 19:22:30
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-2.15.8-r2.ebuild | 37 |
2 files changed, 34 insertions, 5 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 9ff4fbd1200b..20bb477293fa 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -1,4 +1,4 @@ DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959 SHA512 ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f DIST boogie-2.15.8.tar.gz 1548233 BLAKE2B cd3d46b6702eb9c16cdb94ae9776ee52bb142be57e3b0dfd014e59c2f3a98aec84d891544cbd239d773c49ac6bc0b3e1eb5e1eb5cda1f1a0b9aa029f0ee674f2 SHA512 5e214a6451b0ac6a33088797957661cdb35e7fc99f880935f0f1d9329975c11a0849f5ba6244e90f528e6cc31dc2fc83636506130f59464889bf04ecf6130990 -EBUILD boogie-2.15.8-r2.ebuild 1434 BLAKE2B 223e139aae70ef7493e8ac72ae4ed0fcdcee119786eb11701d55043152aee30c5e22bfbdb3bd542464c9ae5e75a93dd395450503dd3ae4923643c3f26f2a6b79 SHA512 46d6c18a7822a50c406324a202e846b8d408e1eacd5108d0e7ff37c599d2853f73668c6587f71e78701793085ceb1ab683d9f5e689df9b903c42c04223737124 +EBUILD boogie-2.15.8-r2.ebuild 2139 BLAKE2B 6f7af923ecf912d82b86f992632dd0edca08ea4b32dfeb738dcfcc5f56272c95d800db7c2aa36dd8726bba2842b1ab52d4317c83be0cebbe63f70e1ade6a04d1 SHA512 7a55f3147d287eeadff1fc4c657648160e5ebf2cfcd66e6a7364c45359ebc087b67fbc0828861d6f7e7705bd08b9cdefb9cf65931640fe8e2e9cbfcf21019725 MISC metadata.xml 1090 BLAKE2B 838630d17f9e2aa9d8d329f5f6da0e2f00636c3e01ceb02e10f06d3b53b722859818343c6a6936e1d2a495b9ec8d77b729f03dfbc0e017dace31116dccee4ff7 SHA512 e66f1077862a81efd0e311d6e2a2f0b4cd5fd650748c4232e3d70cbd982685bf03da616092929686589e115a4fe3ba2d52c420b416222ccae221469ca2d5face diff --git a/dev-lang/boogie/boogie-2.15.8-r2.ebuild b/dev-lang/boogie/boogie-2.15.8-r2.ebuild index e1dc3d6dcd95..7324430f8146 100644 --- a/dev-lang/boogie/boogie-2.15.8-r2.ebuild +++ b/dev-lang/boogie/boogie-2.15.8-r2.ebuild @@ -13,12 +13,12 @@ SRC_URI=" https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz https://dev.gentoo.org/~xgqt/distfiles/deps/${P}-deps.tar.xz " -S="${S}"/Source LICENSE="MIT" SLOT="0" KEYWORDS="~amd64" -IUSE="debug" +IUSE="debug test" +RESTRICT="!test? ( test )" BDEPEND=" dev-libs/icu @@ -28,6 +28,12 @@ RDEPEND=" ${BDEPEND} sci-mathematics/z3 " +BDEPEND+=" + test? ( + dev-python/lit + dev-python/OutputCheck + ) +" # Generated by dotnet. QA_PREBUILT="/usr/share/boogie/BoogieDriver" @@ -40,10 +46,29 @@ src_prepare() { export NUGET_PACKAGES="${S}"/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 -p:TargetFramework=net${DOTNET_COMPAT} + edob dotnet restore -p:TargetFramework=net${DOTNET_COMPAT} "${S}"/Source } src_compile() { @@ -56,7 +81,11 @@ src_compile() { -consoleLoggerParameters:ErrorsOnly -maxCpuCount:$(makeopts_jobs) ) - edob dotnet build ${myopts[@]} + edob dotnet build ${myopts[@]} "${S}"/Source +} + +src_test() { + lit "${S}"/Test || die "tests failed" } src_install() { |