unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
* [bug#44433] [PATCH 0/3] gnu: Add solidity.
@ 2020-11-04 12:29 Martin Becze
  2020-11-04 12:29 ` [bug#44432] [PATCH 1/3] gnu: jsoncpp: Update to 1.9.4 Martin Becze
                   ` (4 more replies)
  0 siblings, 5 replies; 13+ messages in thread
From: Martin Becze @ 2020-11-04 12:29 UTC (permalink / raw)
  To: 44433; +Cc: Martin Becze

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

-- 
2.29.1





^ permalink raw reply	[flat|nested] 13+ messages in thread

end of thread, other threads:[~2020-11-18  8:23 UTC | newest]

Thread overview: 13+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-11-04 12:29 [bug#44433] [PATCH 0/3] gnu: Add solidity Martin Becze
2020-11-04 12:29 ` [bug#44432] [PATCH 1/3] gnu: jsoncpp: Update to 1.9.4 Martin Becze
2020-11-05 14:04   ` bug#44432: close Martin Becze
2020-11-04 12:29 ` [bug#44431] [PATCH 2/3] gnu: z3: Update to 4.8.9 Martin Becze
2020-11-05 14:05   ` bug#44431: close Martin Becze
2020-11-04 12:29 ` [bug#44434] [PATCH 3/3] gnu: Add solidity Martin Becze
2020-11-05 14:03   ` bug#44434: closing Martin Becze
2020-11-05 13:59 ` [bug#44433] [PATCH 1/3] gnu: jsoncpp: Update to 1.9.4 Martin Becze
2020-11-05 13:59   ` [bug#44433] [PATCH 2/3] gnu: z3: Update to 4.8.9 Martin Becze
2020-11-05 13:59   ` [bug#44433] [PATCH 3/3] gnu: Add solidity Martin Becze
2020-11-18  8:22     ` Christopher Baines
2020-11-16 22:56 ` [bug#44433] [PATCH 0/3] " Christopher Baines
2020-11-18  8:17   ` bug#44433: " Christopher Baines

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).