Bug#951052: FTBFS with menhir 20200123

[Stéphane Glondu <glondu@debian.org>]

Package: src:why3
Version: 1.2.1-2
Severity: grave
Tags: ftbfs

Dear Maintainer,

why3 FTBFS with menhir 20200123:

  https://buildd.debian.org/status/package.php?p=why3&suite=sid

Log:
> [...]
> Linking  bin/why3.opt
> x86_64-linux-gnu-gcc: error: /usr/lib/ocaml/menhirLib/menhirLib.o: No such file or directory
> File "caml_startup", line 1:
> Error: Error during linking
> make[1]: *** [Makefile:2234: bin/why3.opt] Error 2
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> make: *** [debian/rules:18: build-arch] Error 2

I suspect the build system is trying to link with menhirLib.cmx instead of menhirLib.cmxa.


Cheers,

-- 
Stéphane

-- System Information:
Debian Release: bullseye/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 5.3.0-3-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled