rpms/pvs-sbcl/devel pvs-sbcl.spec,1.2,1.3

[Rex Dieter]

Author: rdieter

Update of /cvs/pkgs/rpms/pvs-sbcl/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv2916

Modified Files:
	pvs-sbcl.spec 
Log Message:
* Mon Feb 01 2010 Rex Dieter <rdieter at fedoraproject.org> - 4.2-3.20100126svn
- rebuild (sbcl)
- drop Requires(post): desktop-file-utils (not needed)



Index: pvs-sbcl.spec
===================================================================
RCS file: /cvs/pkgs/rpms/pvs-sbcl/devel/pvs-sbcl.spec,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- pvs-sbcl.spec	29 Jan 2010 22:12:53 -0000	1.2
+++ pvs-sbcl.spec	2 Feb 2010 16:16:35 -0000	1.3
@@ -1,6 +1,6 @@
 Name:           pvs-sbcl
 Version:        4.2
-Release:        2.20100126svn%{?dist}
+Release:        3.20100126svn%{?dist}
 Summary:        Interactive theorem prover from SRI
 
 Group:          Applications/Engineering
@@ -47,10 +47,18 @@ BuildRoot:      %{_tmppath}/%{name}-%{ve
 BuildRequires:  autoconf, sbcl, texinfo-tex, tex(latex), mona-devel
 BuildRequires:  emacs, emacs-el, xemacs-devel, xemacs-packages-extra
 BuildRequires:  desktop-file-utils
-Requires:       sbcl = 1.0.32, tex(latex)
-Requires(postun): desktop-file-utils, tex(tex)
+Requires:       tex(latex)
+Requires(postun): tex(tex)
 Provides:       pvs = %{version}-%{release}, pvsio = %{version}-%{release}
 
+# requires the same version it was built against
+%global sbcl_ver %(sbcl --version 2>/dev/null | cut -d' ' -f2 | cut -d- -f1)
+%if "x%{?sbcl_ver}" != "x%{nil}"
+Requires: sbcl = %{sbcl_ver}
+%else
+Requires: sbcl
+%endif
+
 # Fedora SBCL is only available on Intel platforms
 ExclusiveArch:  %ix86 x86_64
 
@@ -166,12 +174,12 @@ rm -f /tmp/pvs-*.p1
 %postun
 if [ $1 -eq 0 ]; then
   /usr/bin/mktexlsr
-  update-desktop-database %{_datadir}/applications &>/dev/null
+  update-desktop-database %{_datadir}/applications &>/dev/null ||:
 fi
 
 %posttrans
 /usr/bin/mktexlsr
-update-desktop-database %{_datadir}/applications &>/dev/null
+update-desktop-database %{_datadir}/applications &>/dev/null ||:
 
 %files
 %defattr(-,root,root,-)
@@ -185,6 +193,10 @@ update-desktop-database %{_datadir}/appl
 %{_datadir}/texmf/tex/latex/pvs
 
 %changelog
+* Mon Feb 01 2010 Rex Dieter <rdieter at fedoraproject.org> - 4.2-3.20100126svn
+- rebuild (sbcl)
+- drop Requires(post): desktop-file-utils (not needed)
+
 * Fri Jan 29 2010 Jerry James <loganjerry at gmail.com> - 4.2-2.20100126svn
 - Update to 20100126 snapshot
 - Fix several Emacs bugs, including bz 553023