Source: libcairo2-ocaml-dev Severity: serious Tags: ftbfs Control: affects -1 why3 lablgtk3
Dear Maintainer, /usr/lib/ocaml/cairo2/cairo_ocaml.h declares variables without extern, causing multiple definitions if this file is included in multiple .c files, which is an error with gcc-10. This causes lablgtk3 (which includes cairo_ocaml.h) to have multiple definitions, which in turn causes why3 to FTBFS. Cheers, -- Stéphane -- System Information: Debian Release: bullseye/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 5.7.0-2-amd64 (SMP w/4 CPU threads) Kernel taint flags: TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled