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

[Git][ocaml-team/why3][master] on bytecode archs, WHY3HYPO_UNITS must be obtained from why3ide.cma

Title: GitLab

Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3

Commits:

2 changed files:

Changes:

  • debian/changelog
    1 
    +why3 (1.4.1-2) unstable; urgency=medium
    2 
    +
    3 
    +  * Fix compilation on bytecode architectures, on these architectures we
    4 
    +    have to look for exported units in why3ide.cma.
    5 
    +
    6 
    + -- Ralf Treinen <treinen@debian.org>  Sat, 19 Mar 2022 15:01:40 +0100
    7 
    +
    1 8 
     why3 (1.4.1-1) unstable; urgency=medium
    2 9
    3 10 
       * New upstream release.

  • debian/rules
    ... ... @@ -50,14 +50,10 @@ override_dh_compress:
    50 50 
     ifneq ($(wildcard debian/why3/usr/lib/ocaml/why3/commands/why3ide.cmxs),)
    51 51 
       WHY3IDE_UNITS := $(shell ocamlobjinfo debian/why3/usr/lib/ocaml/why3/commands/why3ide.cmxs | sed -n 's/Name: //p' | xargs echo | tr ' ' ,)
    52 52 
     else
    53 
    -  WHY3IDE_UNITS :=
    53 
    +  WHY3IDE_UNITS := $(shell ocamlobjinfo debian/why3/usr/lib/ocaml/why3/commands/why3ide.cma | sed -n 's/Unit name: //p' | xargs echo | tr ' ' ,)
    54 54 
     endif
    55 55
    56 
    -ifneq ($(wildcard debian/why3/usr/lib/ocaml/why3/plugins/hypothesis_selection.cma ),)
    57 
    -  WHY3HYPO_UNITS := $(shell ocamlobjinfo debian/why3/usr/lib/ocaml/why3/plugins/hypothesis_selection.cma | sed -n 's/Unit name: //p' | xargs echo | tr ' ' ,)
    58 
    -else
    59 
    -  WHY3HYPO_UNITS :=
    60 
    -endif
    56 
    +WHY3HYPO_UNITS := $(shell ocamlobjinfo debian/why3/usr/lib/ocaml/why3/plugins/hypothesis_selection.cma | sed -n 's/Unit name: //p' | xargs echo | tr ' ' ,)
    61 57
    62 58 
     override_dh_ocaml:
    63 59 
     	dh_ocaml --nodefined-map=why3:$(WHY3IDE_UNITS),$(WHY3HYPO_UNITS)

    • —
    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: