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
