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
This commit is contained in:
Efraim Flashner 2024-05-06 17:39:49 +03:00
parent d3bfc94271
commit 614bd4a777
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -56,7 +56,11 @@ (define-public solidity
(("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