#
# 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)
#
%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