Bug#1105685: splint: FTBFS with make --shuffle=reverse: Headers/flag_codes.h:22:11: fatal error: flag_codes.gen: No such file or directory
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
Reply to: