Bug#895104: why3: skip cvc4 autopkgtest on architectures without cvc4
Package: why3
Version: 0.88.3-1
Severity: minor
Tags: patch
User: ubuntu-devel@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/
slangasek@ubuntu.com vorlon@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
Reply to: