From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:57317) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dcW4n-0002iN-Tl for guix-patches@gnu.org; Tue, 01 Aug 2017 08:15:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dcW4k-0007jm-Mq for guix-patches@gnu.org; Tue, 01 Aug 2017 08:15:05 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:33532) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dcW4k-0007jJ-Js for guix-patches@gnu.org; Tue, 01 Aug 2017 08:15:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dcW4k-0003nX-7B for guix-patches@gnu.org; Tue, 01 Aug 2017 08:15:02 -0400 Subject: [bug#27461] [PATCH v2 1/2] gnu: Add z3. Resent-Message-ID: Date: Tue, 1 Aug 2017 14:14:25 +0200 From: Danny Milosavljevic Message-ID: <20170801141425.53914980@scratchpost.org> In-Reply-To: <87inibgdrn.fsf@gnu.org> References: <8760enxy1o.fsf@gnu.org> <20170725161113.26165-1-theodoros.for@openmailbox.org> <87inibgdrn.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 27461@debbugs.gnu.org z3 fails to build on ARMHF, see . >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.