From: Jakub Bogusz <qboosh@pld-linux.org>
Date: Sat, 29 Jan 2022 16:18:29 +0000 (+0100)
Subject: - this version relies on fpmath=sse, so require sse2 on x86
X-Git-Tag: auto/th/coq-8.15.0-1
X-Git-Url: https://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=HEAD

- this version relies on fpmath=sse, so require sse2 on x86
---

diff --git a/coq.spec b/coq.spec
index cac7418..a7e34f3 100644
--- a/coq.spec
+++ b/coq.spec
@@ -1,7 +1,7 @@
 #
 # Conditional build:
 %bcond_without	ocaml_opt	# native optimized binaries (bytecode is always built)
-%bcond_with	sse2		# SSE2 instructions
+%bcond_without	sse2		# SSE2 instructions (i387 maths not supported as of 8.15)
 %bcond_with	doc		# documentation
 %bcond_with	tests		# run testsuite (csdp dependant micromega tests fail badly on x86_64)
 #