[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
03/03: gnu: rapidjson: Disable CPU optimization.
|
From: |
guix-commits |
|
Subject: |
03/03: gnu: rapidjson: Disable CPU optimization. |
|
Date: |
Fri, 15 Mar 2019 10:27:42 -0400 (EDT) |
mbakke pushed a commit to branch master
in repository guix.
commit 82924965d74cda9f23297b28f15feeda75867560
Author: Marius Bakke <address@hidden>
Date: Fri Mar 15 12:42:41 2019 +0100
gnu: rapidjson: Disable CPU optimization.
* gnu/packages/web.scm (rapidjson)[arguments]: Add #:configure-flags.
---
gnu/packages/web.scm | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/gnu/packages/web.scm b/gnu/packages/web.scm
index bfc21c0..577be91 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