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