From e041a8de600b8e466f9a7148838fdbeb1ade537d Mon Sep 17 00:00:00 2001
From: Jakub Bogusz <qboosh@pld-linux.org>
Date: Sat, 29 Jan 2022 16:03:56 +0100
Subject: [PATCH] - 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
 
-- 
2.44.0