[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#27461] [PATCH v2 1/2] gnu: Add z3.
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#27461] [PATCH v2 1/2] gnu: Add z3. |
|
Date: |
Tue, 01 Aug 2017 14:30:18 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux) |
Hello,
Danny Milosavljevic <address@hidden> 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’.