diff options
| -rw-r--r-- | gnu/packages/web.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/web.scm b/gnu/packages/web.scm index bfc21c07a9..577be916bf 100644 --- a/gnu/packages/web.scm +++ b/gnu/packages/web.scm @@ -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 |