Package: why3 Version: 0.88.3-1 Severity: minor Tags: patch User: ubuntu-de...@lists.ubuntu.com Usertags: origin-ubuntu bionic ubuntu-patch autopkgtest
Dear Ralf, In addition to bug #895103, the why3 autopkgtests also fail on non-x86 architectures in Ubuntu because the test dependencies for the why3+cvc4 test cannot be satisfied. The attached patch makes the test dependency architecture-specific and lets it pass as a no-op on architectures without cvc4. Cheers, -- Steve Langasek Give me a lever long enough and a Free OS Debian Developer to set it on, and I can move the world. Ubuntu Developer http://www.debian.org/ slanga...@ubuntu.com vor...@debian.org
diff -Nru why3-0.88.3/debian/tests/control why3-0.88.3/debian/tests/control --- why3-0.88.3/debian/tests/control 2018-03-22 23:20:30.000000000 -0700 +++ why3-0.88.3/debian/tests/control 2018-04-06 18:31:42.000000000 -0700 @@ -5,7 +5,7 @@ Depends: why3, cvc3 Tests: why3+cvc4 -Depends: why3, cvc4 +Depends: why3, cvc4 [any-amd64 any-i386 mips mips64el mipsel] Tests: why3+spass Depends:why3, spass diff -Nru why3-0.88.3/debian/tests/why3+cvc4 why3-0.88.3/debian/tests/why3+cvc4 --- why3-0.88.3/debian/tests/why3+cvc4 2018-01-14 05:52:54.000000000 -0800 +++ why3-0.88.3/debian/tests/why3+cvc4 2018-04-06 18:32:34.000000000 -0700 @@ -2,6 +2,15 @@ set -e +case $(dpkg --print-architecture) in + amd64|i386|hurd-i386|kfreebsd-amd64|kfreebsd-i386|mips|mips64el|mipsel) + ;; + *) + echo "SKIPPED cvc4 not available on this architecture" + exit 0 + ;; + esac + indir=debian/tests/why why3 config --detect-provers > /dev/null 2>&1 for infile in $indir/*.mlw