packages: coq/coq.spec - tests bcond - use xdg_open as browser

[baggins]

Author: baggins                      Date: Fri Apr  8 16:51:55 2011 GMT
Module: packages                      Tag: HEAD
---- Log message:
- tests bcond
- use xdg_open as browser

---- Files affected:
packages/coq:
   coq.spec (1.20 -> 1.21) 

---- Diffs:

================================================================
Index: packages/coq/coq.spec
diff -u packages/coq/coq.spec:1.20 packages/coq/coq.spec:1.21
--- packages/coq/coq.spec:1.20	Fri Apr  8 13:56:40 2011
+++ packages/coq/coq.spec	Fri Apr  8 18:51:50 2011
@@ -1,4 +1,8 @@
 # $Revision$, $Date$
+#
+# 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
@@ -82,14 +86,14 @@
 	-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
@@ -157,6 +161,10 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.21  2011/04/08 16:51:50  baggins
+- tests bcond
+- use xdg_open as browser
+
 Revision 1.20  2011/04/08 11:56:40  baggins
 - moved emacs and latex stuff to separate packages
 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/coq/coq.spec?r1=1.20&r2=1.21&f=u