[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1105685: splint: FTBFS with make --shuffle=reverse: Headers/flag_codes.h:22:11: fatal error: flag_codes.gen: No such file or directory



control: tags -1 patch

On Tue, 13 May 2025, 20:23 Lucas Nussbaum, <lucas@debian.org> wrote:
This package fails to build with make --shuffle=reverse.
> Headers/flag_codes.h:22:11: fatal error: flag_codes.gen: No such file or directory

It looks like you can fix this by adding to src/Makefile.am

mapping.o: Headers/flag_codes.gen

(untested, other than it fixes the build)


commit 37233125ca7f0c93c4e82bdff055e80dd7857b07 (HEAD -> master)
Author: Richard Lewis <richard.lewis.debian@googlemail.com>
Date:   Mon May 19 10:54:34 2025 +0100

    Build flag_codes.gen before mapping.o
---
 ...021-Build-flag_codes.gen-before-mapping.o.patch | 25 ++++++++++++++++++++++
 debian/patches/series                              |  1 +
 2 files changed, 26 insertions(+)

diff --git a/debian/patches/0021-Build-flag_codes.gen-before-mapping.o.patch b/debian/patches/0021-Build-flag_codes.gen-before-mapping.o.patch
new file mode 100644
index 0000000..2a1da18
--- /dev/null
+++ b/debian/patches/0021-Build-flag_codes.gen-before-mapping.o.patch
@@ -0,0 +1,25 @@
+From: Richard Lewis <richard.lewis.debian@googlemail.com>
+Date: Mon, 19 May 2025 10:49:55 +0100
+Subject: Build flag_codes.gen before mapping.o
+
+The src/Makefile.am does not declare that src/mapping.o depends on src/Headers/flag_codes.gen
+Adding this fixes a FTBFS when make is given --shuffle=reverse
+
+Closes: #1105685
+---
+ src/Makefile.am | 2 ++
+ 1 file changed, 2 insertions(+)
+
+diff --git a/src/Makefile.am b/src/Makefile.am
+index 119ebef..a90fc45 100644
+--- a/src/Makefile.am
++++ b/src/Makefile.am
+@@ -371,6 +371,8 @@ Headers/flag_codes.gen: flags.def
+ 	$(MAKE)
+ 	cd ../lib; $(MAKE)
+ 
++mapping.o: Headers/flag_codes.gen
++
+ ## Checking rules
+ 
+ CHECKS = $(subst .c,.check,$(splint_SOURCES))
diff --git a/debian/patches/series b/debian/patches/series
index 2e77f6f..f26c18d 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -18,3 +18,4 @@
 18_multiarch_include.patch
 19_fix_timespec_def.patch
 20_cscannerHelp_internal_bug.patch
+0021-Build-flag_codes.gen-before-mapping.o.patch

Reply to: