From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id YMgzMBoEs19KdAAA0tVLHw (envelope-from ) for ; Mon, 16 Nov 2020 22:58:34 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id 8E9wLBoEs18FWQAAbx9fmQ (envelope-from ) for ; Mon, 16 Nov 2020 22:58:34 +0000 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 A366F940357 for ; Mon, 16 Nov 2020 22:58:33 +0000 (UTC) Received: from localhost ([::1]:60868 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kenSB-00011x-CD for larch@yhetil.org; Mon, 16 Nov 2020 17:58:31 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:47610) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kenRi-00011Y-1Y for guix-patches@gnu.org; Mon, 16 Nov 2020 17:58:06 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:46120) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kenRh-0002DF-OJ for guix-patches@gnu.org; Mon, 16 Nov 2020 17:58:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kenRh-0006dN-Nw for guix-patches@gnu.org; Mon, 16 Nov 2020 17:58:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#44433] [PATCH 0/3] gnu: Add solidity. Resent-From: Christopher Baines Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 16 Nov 2020 22:58:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44433 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Martin Becze Cc: 44433@debbugs.gnu.org Received: via spool by 44433-submit@debbugs.gnu.org id=B44433.160556743325423 (code B ref 44433); Mon, 16 Nov 2020 22:58:01 +0000 Received: (at 44433) by debbugs.gnu.org; 16 Nov 2020 22:57:13 +0000 Received: from localhost ([127.0.0.1]:57666 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kenQs-0006bx-Qx for submit@debbugs.gnu.org; Mon, 16 Nov 2020 17:57:13 -0500 Received: from mira.cbaines.net ([212.71.252.8]:39906) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kenQn-0006bi-IV for 44433@debbugs.gnu.org; Mon, 16 Nov 2020 17:57:09 -0500 Received: from localhost (188.30.135.14.threembb.co.uk [188.30.135.14]) by mira.cbaines.net (Postfix) with ESMTPSA id 943E727BBF5; Mon, 16 Nov 2020 22:57:04 +0000 (GMT) Received: from capella (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id f3508151; Mon, 16 Nov 2020 22:57:02 +0000 (UTC) References: <20201104122928.30408-1-mjbecze@riseup.net> User-agent: mu4e 1.4.13; emacs 27.1 From: Christopher Baines In-reply-to: <20201104122928.30408-1-mjbecze@riseup.net> Date: Mon, 16 Nov 2020 22:56:58 +0000 Message-ID: <873618nc5h.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.0 (-) 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-Scanner: ns3122888.ip-94-23-21.eu Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam-Score: -3.11 X-TUID: y8raOA4iJbeW --=-=-= Content-Type: text/plain Martin Becze writes: > This adds the Solidity compiler. It also updates Z3 and jsoncpp to versions > needed by Solidity. I tested rebuilding quite a few packages that jsoncpp is a > dependent of but I am not sure how to tests them all. > > Martin Becze (3): > gnu: jsoncpp: Update to 1.9.4 > gnu: z3: Update to 4.8.9. > gnu: Add solidity. > > gnu/local.mk | 2 +- > gnu/packages/maths.scm | 5 +- > .../patches/jsoncpp-fix-inverted-case.patch | 22 ----- > gnu/packages/serialization.scm | 6 +- > gnu/packages/solidity.scm | 88 +++++++++++++++++++ > 5 files changed, 95 insertions(+), 28 deletions(-) > delete mode 100644 gnu/packages/patches/jsoncpp-fix-inverted-case.patch > create mode 100644 gnu/packages/solidity.scm Hi Martin, Thanks for the patches, they look good. I've pushed the z3 update to master, as that didn't have many dependent packages. As you've noticed, jsoncpp has quite a few dependencies. The current process to handle changes like this is to push them to the core-updates branch. I have tried building jsoncpp on core-updates, but I'm having problems with git, curl and HTTPS support... I'll hopefully have some more time to investigate further in a bit, Thanks again, Chris --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKlBAEBCgCPFiEEPonu50WOcg2XVOCyXiijOwuE9XcFAl+zA7pfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDNF ODlFRUU3NDU4RTcyMEQ5NzU0RTBCMjVFMjhBMzNCMEI4NEY1NzcRHG1haWxAY2Jh aW5lcy5uZXQACgkQXiijOwuE9XecixAAodO/eKH4JZk9jwqX3L6y4tVbhQ9bHk/R +LxTRj8jZjDttxPsFbZkdPW4iNq7CfMhjL1TBVmtJGhICVivCRuaawvQXfMOu5kK bH/n9aR6jFPaZgaZAa1i4AG77vgbSWutruBKHvURs823Kup78vjH2QHlGeN8uLwt pbPXLlvumtqDBi48Teapp5ZbCCVlFpBw2ZsituizK/EMPrdF/Yk2wqXvyyTURjCO dHFf2JbGWgUgVoZM/gJBEluthtywa0qDNdyaIZedPUZje8lIFZ0oY98ZnhOQ1lO6 m2yS+UXX3FLqXVm2fcxoABO+3npxSHdGe5TIrdsQc3bmaxOvVvN4xO7NaNlhfhcU 1x54VuAJrVrPjL6oDrnFWpEinmkWB2rjG9WprRpuCu3Ag8cBW7cFrVwAKEpSgNt6 GEIDZu2kpmgS05Oaad5iXRqV7qyb6+9WxQ7woExkROA0y5UND3qo730IYjaiBak3 WxmWGnDtaPvOE0eC729E7Osso1xDr4l4YoCJQUBoFYw6fQkWVe5s9mITFHfDRtTb FOd1l9bgOM9FreKSLfdMpAKoPtGJc5xYfkMd9pHtRrVTGooRocYxX3N9JbGLHmeI fkMNgDGPadt2dh6Y4fateffxfoAWkkACwNXrZsbXhYJJ040kffRe7NJPk5ardS3p wXETzDb9GUg= =gt4W -----END PGP SIGNATURE----- --=-=-=--