Subject: Re: [bug#27461] [PATCH v2 1/2] gnu: Add z3.

From: [email-masked] (Ludovic Courtès)
Date: Tue, 01 Aug 2017 14:30:18 +0200

Hello,

Danny Milosavljevic <[email-masked]> skribis:

> z3 fails to build on ARMHF, see <http://hydra.gnu.org/build/2204789/nixlog/1>.
>
>>ld: api/dll/mem_initializer.o: relocation R_ARM_THM_MOVW_ABS_NC against `a local symbol' can not be used when making a shared object; recompile with -fPIC.
>
> There's https://github.com/Z3Prover/z3/issues/585 which says essentially that one should use "cmake", then the problem doesn't appear.

Oh, thanks for the heads-up.

Theodoros, would you consider writing a patch switching from
‘gnu-build-system’ to ‘cmake-build-system’?

Thanks,
Ludo’.