- this version relies on fpmath=sse, so require sse2 on x86 master auto/th/coq-8.15.0-1
authorJakub Bogusz <qboosh@pld-linux.org>
Sat, 29 Jan 2022 16:18:29 +0000 (17:18 +0100)
committerJakub Bogusz <qboosh@pld-linux.org>
Sat, 29 Jan 2022 16:18:29 +0000 (17:18 +0100)
coq.spec

index cac7418e3112713bedae00b5b328d4a5c44da717..a7e34f3fe6edc9df1b7db1a77c7cdd370e94cb2a 100644 (file)
--- 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)
 #
This page took 0.23252 seconds and 4 git commands to generate.