Bug#940266: z3: FTBFS on hppa - objects in shared libraries need to be compiled with -fPIC

[John David Anglin]

Source: z3
Version: 4.8.4-1
Severity: normal

Dear Maintainer,

On hppa and some other architectures, objects linked in shared libraries
need to be compiled with -fPIC.  See for example the following build log:
https://buildd.debian.org/status/fetch.php?pkg=z3&arch=hppa&ver=4.8.4-1&stamp=1567753798&raw=0

This may not be the best way to fix the problem but adding "export CXXFLAGS=-fPIC"
to debian rules results in a successful build of z3 on hppa.  See:
https://buildd.debian.org/status/fetch.php?pkg=z3&arch=hppa&ver=4.8.4-1&stamp=1568491166&raw=0

Regards,
Dave Anglin

-- System Information:
Debian Release: bullseye/sid
  APT prefers buildd-unstable
  APT policy: (500, 'buildd-unstable'), (500, 'unstable')
Architecture: hppa (parisc64)

Kernel: Linux 4.14.142+ (SMP w/4 CPU cores)
Locale: LANG=C, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE=C (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)