1. Forum
  2. Usenet
  3. LINUX.DEBIAN.BUGS.DIST

  • Bug#1105685: splint: FTBFS with make --shuffle=reverse: Headers/flag_co

    From Lucas Nussbaum@21:1/5 to All on Tue May 13 21:30:25 2025
    Source: splint
    Version: 1:3.1.2+dfsg-5
    Severity: minor
    Tags: trixie sid ftbfs
    User: lucas@debian.org
    Usertags: ftbfs-shuffle

    Hi,

    GNU Make now has a --shuffle option that simulates non-deterministic ordering of target prerequisites. See https://trofi.github.io/posts/238-new-make-shuffle-mode.html and also previous work in Debian by Santiago Vila: https://people.debian.org/~sanvila/make-shuffle/

    This package fails to build with make --shuffle=reverse.
    This is likely to be caused by a missing dependency in
    debian/rules or an upstream Makefile.

    More information about this mass bug filing is available at https://wiki.debian.org/qa.debian.org/FTBFS/Shuffle

    Relevant part (hopefully):
    gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/splint-3.1.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=
    format-security -fcf-protection -c `test -f mapping.c || echo './'`mapping.c
    In file included from Headers/basic.h:50,
    from mapping.c:35:
    Headers/flag_codes.h:22:11: fatal error: flag_codes.gen: No such file or directory
    22 | # include "flag_codes.gen"
    | ^~~~~~~~~~~~~~~~
    compilation terminated.
    make[3]: *** [Makefile:1742: mapping.o] Error 1 shuffle=reverse


    The full build log is available from: http://qa-logs.debian.net/2025/05/05/shuffle/reverse/splint_3.1.2+dfsg-5_unstable_reverse.log

    If you reassign this bug to another package, please mark it as 'affects'-ing this package. See https://www.debian.org/Bugs/server-control#affects

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)