From 614bd4a7772e665857d41eacfd7ff5ab2e981553 Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Mon, 6 May 2024 17:39:49 +0300
Subject: [PATCH] gnu: solidity: Allow a newer version of jsoncpp.

* gnu/packages/solidity.scm (solidity)[arguments]: Add a phase to allow
newer versions of jsoncpp.

Change-Id: I4f7b5b3685f8d784da221ccb0eea1ba297e3e0b8
---
 gnu/packages/solidity.scm | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/solidity.scm b/gnu/packages/solidity.scm
index 3cce3abcf2..6e32ff9ee1 100644
--- a/gnu/packages/solidity.scm
+++ b/gnu/packages/solidity.scm
@@ -56,7 +56,11 @@
                 (("include\\(range-v3\\)")
                  "find_package(range-v3)")
                 (("include\\(jsoncpp\\)")
-                 "find_package(jsoncpp)")))))))
+                 "find_package(jsoncpp)"))))
+          (add-after 'unpack 'allow-newer-version-of-jsoncpp
+            (lambda _
+              (substitute* "libsolutil/JSON.cpp"
+                (("JSONCPP_VERSION_PATCH ==") "JSONCPP_VERSION_PATCH >=")))))))
     (inputs
      (list boost-static fmt-8.0 jsoncpp range-v3 z3))
     (native-inputs