Le 14/09/2019 à 22:14, John David Anglin a écrit :
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.
For curiosity, do you know why? Thanks Sylvestre
