diff options
Diffstat (limited to 'dev-lang/boogie/boogie-2.15.8-r2.ebuild')
| -rw-r--r-- | dev-lang/boogie/boogie-2.15.8-r2.ebuild | 37 |
1 files changed, 33 insertions, 4 deletions
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() { |