commit 7b6fb8ed08eabf02fff307aa963f4cf64f8da0ca
Author: Jakub Bogusz <[email protected]>
Date: Sat Jan 29 17:18:29 2022 +0100
- this version relies on fpmath=sse, so require sse2 on x86
coq.spec | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
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)
#
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/coq.git/commitdiff/7b6fb8ed08eabf02fff307aa963f4cf64f8da0ca
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
