gnu: rapidjson: Disable CPU optimization.

* gnu/packages/web.scm (rapidjson)[arguments]: Add #:configure-flags.
This commit is contained in:
Marius Bakke 2019-03-15 12:42:41 +01:00
parent df9f515ebc
commit 82924965d7
No known key found for this signature in database
GPG Key ID: A2A06DF2A33A54FA
1 changed files with 2 additions and 1 deletions

View File

@ -775,7 +775,8 @@ current version of any major web browser.")
(substitute* (find-files "." "^CMakeLists\\.txt$")
(("native") "armv8-a"))
#t))))
'()))
;; Disable CPU optimization for reproducibility.
'(#:configure-flags '("-DRAPIDJSON_ENABLE_INSTRUMENTATION_OPT=OFF"))))
(home-page "https://github.com/Tencent/rapidjson")
(synopsis "JSON parser/generator for C++ with both SAX/DOM style API")
(description