[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Git][ocaml-team/frama-c][master] 3 commits: Add crude depend on libppx-import-ocaml (why does dh-ocaml fail to detect it?)

Title: GitLab

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:

Changes:

  • debian/changelog
    1 
    +frama-c (20220511-manganese-1.1) unstable; urgency=medium
    2 
    +
    3 
    +  * Non-maintainer upload.
    4 
    +  * Add crude dep on libppx-import-ocaml by hand (why does dh-ocaml
    5 
    +  fail to detect it?).
    6 
    +  * Add workaround for failing autopkgtest.
    7 
    +
    8 
    + -- Julien Puydt <jpuydt@debian.org>  Thu, 23 Jun 2022 11:46:20 +0200
    9 
    +
    1 10 
     frama-c (20220511-manganese-1) unstable; urgency=medium
    2 11
    3 12 
       * New upstream version. This version is compatible with why3 version

  • debian/control
    ... ... @@ -33,7 +33,7 @@ Depends:
    33 33 
      ${misc:Depends},
    34 34 
      ${ocaml:Depends},
    35 35 
      ${perl:Depends},
    36 
    - libocamlgraph-ocaml-dev,
    36 
    + libocamlgraph-ocaml-dev, libppx-import-ocaml,
    37 37 
      gcc,
    38 38 
      python3
    39 39 
     Recommends:

  • debian/tests/control
    ... ... @@ -3,4 +3,4 @@ Depends: frama-c-base, why3, libwhy3-ocaml-dev
    3 3
    4 4 
     Tests: wp
    5 5 
     Depends: frama-c-base, alt-ergo (>= 2.0.0), why3, libwhy3-ocaml-dev
    6 
    -Restrictions: skip-not-installable
    6 
    +Restrictions: skip-not-installable, allow-stderr

  • debian/tests/wp
    ... ... @@ -6,6 +6,7 @@ indir=debian/tests/c
    6 6 
     this=wp
    7 7 
     outdir=${ADT_ARTIFACTS:-/tmp}/${this}
    8 8 
     mkdir -p ${outdir}
    9 
    +export WHY3CONFIG=${outdir}/why3.conf
    9 10
    10 11 
     why3 config detect > /dev/null
    11 12 
     frama-c -wp ${indir}/all_zeros.c > ${outdir}/${this}.out

    • —
    View it on GitLab.
    You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.

    Reply to: