[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#44433] [PATCH 0/3] gnu: Add solidity.
From: |
Christopher Baines |
Subject: |
[bug#44433] [PATCH 0/3] gnu: Add solidity. |
Date: |
Mon, 16 Nov 2020 22:56:58 +0000 |
User-agent: |
mu4e 1.4.13; emacs 27.1 |
Martin Becze <mjbecze@riseup.net> 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
signature.asc
Description: PGP signature
- [bug#44431] [PATCH 2/3] gnu: z3: Update to 4.8.9., (continued)