diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-03-15 12:42:41 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-03-15 15:03:31 +0100 |
| commit | 82924965d74cda9f23297b28f15feeda75867560 (patch) | |
| tree | bf8aadce78274e0c0e06d4f40a43e6124e4b6eec /gnu | |
| parent | df9f515ebca9bb3670a3d44c726c56744d85c099 (diff) | |
gnu: rapidjson: Disable CPU optimization.
* gnu/packages/web.scm (rapidjson)[arguments]: Add #:configure-flags.
Diffstat (limited to 'gnu')
| -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 |