Bug#1086725: z3 FTBFS on mips64el

[Adrian Bunk]

Source: z3
Version: 4.8.12-3.1
Severity: serious
Tags: ftbfs trixie sid patch

https://buildd.debian.org/status/fetch.php?pkg=z3&arch=mips64el&ver=4.8.12-3.1%2Bb3&stamp=1730452483&raw=0

...
/usr/bin/ld: not enough GOT space for local GOT entries
/usr/bin/ld: BFD (GNU Binutils for Debian) 2.43.1 internal error, aborting at ../../bfd/elfxx-mips.c:10716 in _bfd_mips_elf_relocate_section
Please report this bug.
collect2: error: ld returned 1 exit status
make[3]: *** [src/shell/CMakeFiles/shell.dir/build.make:1824: z3] Error 1


Fix:

--- debian/rules.old	2024-11-04 11:45:54.227726947 +0000
+++ debian/rules	2024-11-04 11:46:31.291697870 +0000
@@ -10,6 +10,10 @@
 export DEB_LDFLAGS_MAINT_APPEND = -Wl,--no-as-needed -Wl,-latomic -Wl,--as-needed
 endif
 
+ifeq ($(DEB_HOST_ARCH),mips64el)
+export DEB_CXXFLAGS_MAINT_APPEND += -mxgot
+endif
+
 DEB_HOST_MULTIARCH ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH)
 
 ifneq (,$(shell dh_listpackages -a | grep libz3-jni))