[packages/coq] - fixed sse2 bcond

[qboosh]

commit e041a8de600b8e466f9a7148838fdbeb1ade537d
Author: Jakub Bogusz <qboosh at pld-linux.org>
Date:   Sat Jan 29 16:03:56 2022 +0100

    - fixed sse2 bcond

 coq.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index 06f6fe9..cac7418 100644
--- a/coq.spec
+++ b/coq.spec
@@ -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
 
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/coq.git/commitdiff/e041a8de600b8e466f9a7148838fdbeb1ade537d