From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id wDu2LwDZtF/NLwAA0tVLHw (envelope-from ) for ; Wed, 18 Nov 2020 08:19:12 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id mLd1KwDZtF/0NwAA1q6Kng (envelope-from ) for ; Wed, 18 Nov 2020 08:19:12 +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 524BE9400BF for ; Wed, 18 Nov 2020 08:19:12 +0000 (UTC) Received: from localhost ([::1]:53634 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kfIgJ-0005Jj-Ad for larch@yhetil.org; Wed, 18 Nov 2020 03:19:11 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:47960) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kfIgA-0005Dv-VB for guix-patches@gnu.org; Wed, 18 Nov 2020 03:19:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:50581) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kfIgA-0002zC-L0 for guix-patches@gnu.org; Wed, 18 Nov 2020 03:19:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kfIgA-0004KJ-HF for guix-patches@gnu.org; Wed, 18 Nov 2020 03:19:02 -0500 Subject: bug#44433: [PATCH 0/3] gnu: Add solidity. Resent-From: Christopher Baines Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Wed, 18 Nov 2020 08:19:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 44433 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Martin Becze Cc: 44433-done@debbugs.gnu.org Mail-Followup-To: 44433@debbugs.gnu.org, mail@cbaines.net, mjbecze@riseup.net Received: via spool by 44433-done@debbugs.gnu.org id=D44433.160568748316550 (code D ref 44433); Wed, 18 Nov 2020 08:19:02 +0000 Received: (at 44433-done) by debbugs.gnu.org; 18 Nov 2020 08:18:03 +0000 Received: from localhost ([127.0.0.1]:33892 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kfIfD-0004Is-1f for submit@debbugs.gnu.org; Wed, 18 Nov 2020 03:18:03 -0500 Received: from mira.cbaines.net ([212.71.252.8]:58810) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kfIf9-0004IR-GC for 44433-done@debbugs.gnu.org; Wed, 18 Nov 2020 03:18:02 -0500 Received: from localhost (188.30.135.14.threembb.co.uk [188.30.135.14]) by mira.cbaines.net (Postfix) with ESMTPSA id 7165327BBF5; Wed, 18 Nov 2020 08:17:58 +0000 (GMT) Received: from capella (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 561fd059; Wed, 18 Nov 2020 08:17:56 +0000 (UTC) References: <20201104122928.30408-1-mjbecze@riseup.net> <873618nc5h.fsf@cbaines.net> User-agent: mu4e 1.4.13; emacs 27.1 From: Christopher Baines In-reply-to: <873618nc5h.fsf@cbaines.net> Date: Wed, 18 Nov 2020 08:17:53 +0000 Message-ID: <87o8jvkrim.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: C2yaollMiWOC --=-=-= Content-Type: text/plain Christopher Baines writes: > 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, Following up on this, I found out that I broke curl HTTPS support on the core-updates branch, which I've now fixed [1]. 1: https://git.savannah.gnu.org/cgit/guix.git/commit/?h=core-updates&id=8a594487700ddd2d6c293cc5e302ce74f3f56b70 With that fixed, I was able to push these branches in to the core-updates branch, they'll be merged in to master eventually, although that may take quite a few weeks. I'll close this bug, feel free to re-open it if you want to use it to track solidity being available in the master branch. Thanks again, Chris --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKlBAEBCgCPFiEEPonu50WOcg2XVOCyXiijOwuE9XcFAl+02LFfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDNF ODlFRUU3NDU4RTcyMEQ5NzU0RTBCMjVFMjhBMzNCMEI4NEY1NzcRHG1haWxAY2Jh aW5lcy5uZXQACgkQXiijOwuE9XdzDw//UClXGVsjhNc75q/mEKrj9s3POHPL1zue /H5byeWPC1OBoT0mQX2FRgoI8micLgKQ8ZxZsCTB9/yvdr29ioo4vNzTxmnEiC6t pUV7JWx4KWdYxZET8gGHmGQdLLj9diteYcnVMPbJp0D7oXd2ANMlgtoNtPe/U1kH /uNxF589fSaK91e7zjDIxFGikRWAGrcPvtYgVYSNlk9ezXiUX1o8W/tFgjnwNW43 NqpivV8dweGNwMTveSorFGrCKhRe04pAfqnjaSqCm+LMqgBKP9KMKuGqyHQcr5rl PeQ/Wf65bdnlcURObAkhwdg2wKj087GT1yfkOtMnqsanimTqj/JjLStcm6El9Ns0 TQXtiKTM+nuqkxKJV54UPmf+A+qEO4cFSOm3UHMMq0avRUbpXOtgPXAwDhTuQNKe 7OdedUQP4BsI1bb7dkgqWTh6/CuHCR8F1C2Qsh6fb+FEeucO0J+OwD66gBaPD9oC JHz4H38Lc8UIQvN2VAFtl1vpPHJmFmhhNsd0mFNLuybrNWFc4QHtZ1YOwbsL4Hp0 tnmlRCFxYWJTgJ5i+BXFMKXFJIONrMaNj1obtDMtPr7x0d+iuXTv37DAo6JWcfYg m3lbvj1C5H/zc4J+tLv3TBF6lFEBG7pnpg9SJa+v7FfD2VI0n/pNfT0G1yR/KIVf w+SVbMqQFSU= =V+B1 -----END PGP SIGNATURE----- --=-=-=--