From: Jakub Bogusz <qboosh@pld-linux.org>
Date: Sat, 29 Jan 2022 15:03:56 +0000 (+0100)
Subject: - fixed sse2 bcond
X-Git-Tag: auto/th/coq-8.15.0-1~1
X-Git-Url: http://git.pld-linux.org/gitweb.cgi?a=commitdiff_plain;h=e041a8de600b8e466f9a7148838fdbeb1ade537d;p=packages%2Fcoq.git

- fixed sse2 bcond
---

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