From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id CKE8GjBusGIKhgEAbAwnHQ (envelope-from ) for ; Mon, 20 Jun 2022 14:55:12 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id MMlWGTBusGK83QAAG6o9tA (envelope-from ) for ; Mon, 20 Jun 2022 14:55:12 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 008AA2329F for ; Mon, 20 Jun 2022 14:55:11 +0200 (CEST) Received: from localhost ([::1]:49848 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o3Gvu-0001ed-PB for larch@yhetil.org; Mon, 20 Jun 2022 08:55:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36280) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o3Gvm-0001dN-BD for guix-patches@gnu.org; Mon, 20 Jun 2022 08:55:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:60836) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1o3Gvm-0006WX-1k for guix-patches@gnu.org; Mon, 20 Jun 2022 08:55:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1o3Gvl-0001bW-W7 for guix-patches@gnu.org; Mon, 20 Jun 2022 08:55:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#56107] [PATCH]: Update z3 to 4.8.17 and use cmake to build the package. Resent-From: Maxime Devos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 20 Jun 2022 12:55:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 56107 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Zhu Zihao , 56107@debbugs.gnu.org Received: via spool by 56107-submit@debbugs.gnu.org id=B56107.16557296816134 (code B ref 56107); Mon, 20 Jun 2022 12:55:01 +0000 Received: (at 56107) by debbugs.gnu.org; 20 Jun 2022 12:54:41 +0000 Received: from localhost ([127.0.0.1]:54733 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o3GvR-0001ar-8k for submit@debbugs.gnu.org; Mon, 20 Jun 2022 08:54:41 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:56754) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o3GvN-0001af-DI for 56107@debbugs.gnu.org; Mon, 20 Jun 2022 08:54:40 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by albert.telenet-ops.be with bizsmtp id lQub2700J4UW6Th06QubCB; Mon, 20 Jun 2022 14:54:36 +0200 Message-ID: <81f29e686f5727d02c9924782d4adb9895369046.camel@telenet.be> From: Maxime Devos Date: Mon, 20 Jun 2022 14:54:30 +0200 In-Reply-To: <86mte7v7jf.fsf@163.com> References: <86mte7v7jf.fsf@163.com> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-L/ogyxSNOGN8x/h6WjJr" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1655729676; bh=g2QyXiLCS4Z9SYvMJ/6aEJLjukrN9QRzXj/bLaIDl2w=; h=Subject:From:To:Date:In-Reply-To:References; b=DW+398KMzBC7Ik/3KGN9QtlfUdSBdljLji/OKje9WpiD36LMvgRx9mdn7czz2zJrE 3jVmdCuZPGxSgv7viqeRBTRnyE7ONikYQyxiMCuUinn4P3XhYPNUnEelZ6uR6Ua7Wl Kxn7ZMyASP4qHiR8v9vHnTY+B8CydhvJnRaiWBOjXHFNbGaDZl/QnRIJnkvKTVIWJn 46OxIU5vsLKnm+RNv57A2L8GGDjCONdttujvwpWouPShqVD+L3EQ13rIy/SBsgzegM GPfwgywELZQkH8myPdXWTt0EJ7JEsXiwwz2hsKXDETOeJuXbAYTeU1YsAfk4jDBp28 lXCfVgqr74GTA== X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1655729712; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=g2QyXiLCS4Z9SYvMJ/6aEJLjukrN9QRzXj/bLaIDl2w=; b=QuUIcs7o2Lj+hgB2k5nlRVoOGshhL9rcrkRyJDNuZZYrBI91b738wZuHCxEd7jMM5daIt9 mQDopPQmJuKPb/NhAa1UUC1KHf8IvWBBGI0rYZnnoTZ1HyG1I/IkVrPTnUFZK2F++fQGdP mPQh9iJORfvr45ICisNgVXpVcY4iux1wjb0+1qt8CpG1YbsT1kNnsb5nwnbYpIU4EJwxOY uk7X/eYrqsKXvpk0NAFsoY5z8YmzNUaUR6S6Op9dBz1ZoOGkW2MFlE6mZ1X6Uu4Ho2goQL 1zWHmiYDz+6F22Ir1A5cYbD/cskfEv+OUu5To+0LBqq01HSQc/NjcOPIcVvT/w== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1655729712; a=rsa-sha256; cv=none; b=S5WwqYMxUWDMLF2fSGCRb81MquOXRxyYZgq5P2OWNB2IJ9feIgCV9NEBbJ4jhHj5xaIuxw CZwh7B22S7YfIHphe5DhyzUmSTOf4aLpJV3A1QoxD3uE9W6yokatbRIdOzFdMrX4Nsu/CV KuN2cppsP2Gr1zy0hkFpxwomRxq1JzDzdTcSDydWhtFQnq4hkdVxfa+YcR4vVJUtYpDFlk VMnIUlSkYHr+uh4I8fnyd4TJnWGhWNGQwDeT2Hw1QyF03Mx/jAhRuZLUy9oqoIHTRz8S/o 864CerliR+FitrQhaSM0FfiyYvANH7C8gDz9ob2jXnt+AUrsVTmFZs75+MtHMg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r22 header.b=DW+398KM; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 3.43 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r22 header.b=DW+398KM; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 008AA2329F X-Spam-Score: 3.43 X-Migadu-Scanner: scn0.migadu.com X-TUID: GcG4/v979yN/ --=-L/ogyxSNOGN8x/h6WjJr Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Zhu Zihao schreef op ma 20-06-2022 om 20:32 [+0800]: > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (replace 'check > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (lamb= da* (#:key parallel-build? #:allow-other-keys) > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0 (unless #$(%current-target-system) That doesn't support --without-tests. I recommend doing the standard (when tests? [...]) construct instead, which supports the --without-tests package transformation and which will be accepted by "guix lint". Greetings, Maxime. --=-L/ogyxSNOGN8x/h6WjJr Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYrBuBhccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7qbXAQDY2+sjTgoM7ZhsMwaBBjLpLqlH caRWH8ULRii8FSX9KgEAi1fY3YBmoBGmVU1nOk8q5jhc2+QyG7Hah8rgovxHHwM= =CN2z -----END PGP SIGNATURE----- --=-L/ogyxSNOGN8x/h6WjJr--