control: tags -1 patch Hello, I see two errors: 1) the "set -e" makes the script return on first error, so you can't see in the test why it failed 2) there a missing libwhy3-ocaml-dev dependency triggering the error
diff -Nru frama-c-20201209+titanium/debian/changelog frama-c-20201209+titanium/debian/changelog --- frama-c-20201209+titanium/debian/changelog 2021-01-11 20:17:46.000000000 +0100 +++ frama-c-20201209+titanium/debian/changelog 2021-02-11 23:09:31.000000000 +0100 @@ -1,3 +1,11 @@ +frama-c (20201209+titanium-4.1) unstable; urgency=medium + + * Non-maintainer upload + * Fix new eva test dependencies and return in case of error (Closes: + #982148) + + -- Gianfranco Costamagna <locutusofb...@debian.org> Thu, 11 Feb 2021 23:09:31 +0100 + frama-c (20201209+titanium-4) unstable; urgency=medium * Add a test for the eva plugin diff -Nru frama-c-20201209+titanium/debian/tests/control frama-c-20201209+titanium/debian/tests/control --- frama-c-20201209+titanium/debian/tests/control 2021-01-11 20:17:46.000000000 +0100 +++ frama-c-20201209+titanium/debian/tests/control 2021-02-11 23:09:19.000000000 +0100 @@ -1,5 +1,5 @@ Tests: eva -Depends: frama-c-base +Depends: frama-c-base, why3, libwhy3-ocaml-dev Tests: wp Depends: frama-c-base, alt-ergo (>= 2.0.0), why3, libwhy3-ocaml-dev diff -Nru frama-c-20201209+titanium/debian/tests/eva frama-c-20201209+titanium/debian/tests/eva --- frama-c-20201209+titanium/debian/tests/eva 2021-01-11 20:17:46.000000000 +0100 +++ frama-c-20201209+titanium/debian/tests/eva 2021-02-11 23:09:29.000000000 +0100 @@ -1,6 +1,6 @@ #!/bin/sh -set -e +#set -e indir=debian/tests/c this=eva
