From 82924965d74cda9f23297b28f15feeda75867560 Mon Sep 17 00:00:00 2001
From: Marius Bakke <mbakke@fastmail.com>
Date: Fri, 15 Mar 2019 12:42:41 +0100
Subject: 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(-)

(limited to 'gnu/packages/web.scm')

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
-- 
cgit 1.4.1