Julien Puydt pushed to branch master at Debian OCaml Maintainers / frama-c
Commits: ee53d15e by Julien Puydt at 2022-06-23T11:01:01+02:00 Add crude depend on libppx-import-ocaml (why does dh-ocaml fail to detect it?) - - - - - 179566bc by Julien Puydt at 2022-06-23T11:40:54+02:00 Add workaround for failing autopkgtest - - - - - 180a28bf by Julien Puydt at 2022-06-23T11:46:30+02:00 Prepare for upload - - - - - 4 changed files: - debian/changelog - debian/control - debian/tests/control - debian/tests/wp Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,12 @@ +frama-c (20220511-manganese-1.1) unstable; urgency=medium + + * Non-maintainer upload. + * Add crude dep on libppx-import-ocaml by hand (why does dh-ocaml + fail to detect it?). + * Add workaround for failing autopkgtest. + + -- Julien Puydt <[email protected]> Thu, 23 Jun 2022 11:46:20 +0200 + frama-c (20220511-manganese-1) unstable; urgency=medium * New upstream version. This version is compatible with why3 version ===================================== debian/control ===================================== @@ -33,7 +33,7 @@ Depends: ${misc:Depends}, ${ocaml:Depends}, ${perl:Depends}, - libocamlgraph-ocaml-dev, + libocamlgraph-ocaml-dev, libppx-import-ocaml, gcc, python3 Recommends: ===================================== debian/tests/control ===================================== @@ -3,4 +3,4 @@ Depends: frama-c-base, why3, libwhy3-ocaml-dev Tests: wp Depends: frama-c-base, alt-ergo (>= 2.0.0), why3, libwhy3-ocaml-dev -Restrictions: skip-not-installable +Restrictions: skip-not-installable, allow-stderr ===================================== debian/tests/wp ===================================== @@ -6,6 +6,7 @@ indir=debian/tests/c this=wp outdir=${ADT_ARTIFACTS:-/tmp}/${this} mkdir -p ${outdir} +export WHY3CONFIG=${outdir}/why3.conf why3 config detect > /dev/null frama-c -wp ${indir}/all_zeros.c > ${outdir}/${this}.out View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/e8147eae88ae7e40b5f9b7f54f4250dfef72110c...180a28bfb303c2e4f2861c71a6ef54dc5977162d -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/e8147eae88ae7e40b5f9b7f54f4250dfef72110c...180a28bfb303c2e4f2861c71a6ef54dc5977162d You're receiving this email because of your account on salsa.debian.org.
