commit e041a8de600b8e466f9a7148838fdbeb1ade537d
Author: Jakub Bogusz <[email protected]>
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
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
