From 8f33d8d4f19bebcdba93d072bf34b93106612872 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jan=20R=C4=99korajski?= <baggins@pld-linux.org>
Date: Fri, 8 Apr 2011 16:51:50 +0000
Subject: [PATCH] - tests bcond - use xdg_open as browser

Changed files:
    coq.spec -> 1.21
---
 coq.spec | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/coq.spec b/coq.spec
index 4ad971e..6d13d0a 100644
--- a/coq.spec
+++ b/coq.spec
@@ -1,3 +1,7 @@
+#
+# Conditional build:
+%bcond_with	tests	# run testsuite (non-deterministic fail in micromega tests on 64bit arch)
+#
 Summary:	The Coq Proof Assistant
 Summary(pl.UTF-8):	Coq - narzędzie pomagające w udowadnianiu
 Name:		coq
@@ -81,14 +85,14 @@ Styl dokumentacji Coq dla latexa.
 	-mandir %{_mandir} \
 	-docdir %{_docdir}/%{name}-%{version} \
 	-emacs emacs \
-	-browser 'iceweasel -remote "OpenURL(%s,new-tab)" || iceweasel %s &' \
+	-browser "xdg-open %s" \
 	-emacslib %{_datadir}/emacs/site-lisp \
 	-opt \
 	--coqdocdir %{_datadir}/texmf/tex/latex/misc \
 	--coqide opt
 
 %{__make} -j1 world
-%{__make} -j1 check	# Use native coq to compile theories
+%{?with_tests:%{__make} -j1 check}	# Use native coq to compile theories
 
 %install
 rm -rf $RPM_BUILD_ROOT
-- 
2.43.0