X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=blobdiff_plain;f=coq.spec;h=1a70cbc2f75e5b4da2e77376f3545ac5ba22f2c5;hp=06f6fe9fc4699d2aab15984ff3dad6c921fc35b3;hb=HEAD;hpb=672cbc20ebffc4f61631aee96158d814bbeb829b

diff --git a/coq.spec b/coq.spec
index 06f6fe9..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)
 #
@@ -131,8 +131,8 @@ Styl dokumentacji Coq dla LaTeXa.
 %patch0 -p1
 
 %{__sed} -i 's|-Wall.*-O2|%{rpmcflags} -Wno-unused|' tools/configure/configure.ml
-%if %{with sse2}
-%{__sed} -i -e '/cflags_sse2/ s/-msse2 -mfpmath=sse//' configure.ml
+%if %{without sse2}
+%{__sed} -i -e '/cflags_sse2/ s/-msse2 -mfpmath=sse//' tools/configure/configure.ml
 %endif
 %{__sed} -i 's,-shared,& -g,g' tools/CoqMakefile.in