rpms/pvs-sbcl/F-12 pvs-sbcl.spec,1.4,1.5
Rex Dieter
rdieter at fedoraproject.org
Mon May 10 18:42:16 UTC 2010
Author: rdieter
Update of /cvs/pkgs/rpms/pvs-sbcl/F-12
In directory cvs01.phx2.fedoraproject.org:/tmp/cvs-serv13088/F-12
Modified Files:
pvs-sbcl.spec
Log Message:
- ExclusiveArch: %%{ix86} x86_64 ppc sparcv9 (to match sbcl)
Index: pvs-sbcl.spec
===================================================================
RCS file: /cvs/pkgs/rpms/pvs-sbcl/F-12/pvs-sbcl.spec,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -p -r1.4 -r1.5
--- pvs-sbcl.spec 10 May 2010 18:36:32 -0000 1.4
+++ pvs-sbcl.spec 10 May 2010 18:42:15 -0000 1.5
@@ -59,8 +59,9 @@ Requires: sbcl = %{sbcl_ver}
Requires: sbcl
%endif
-# Fedora SBCL is only available on Intel platforms
-ExclusiveArch: %ix86 x86_64
+# match sbcl available platforms
+ExclusiveArch: %{ix86} x86_64 ppc sparcv9
+
%description
PVS is a verification system: that is, a specification language integrated
@@ -195,6 +196,7 @@ update-desktop-database %{_datadir}/appl
%changelog
* Sat May 08 2010 Rex Dieter <rdieter at fedoraproject.org> - 4.2-4.20100126svn
- rebuild (sbcl)
+- ExclusiveArch: %%{ix86} x86_64 ppc sparcv9 (to match sbcl)
* Mon Feb 01 2010 Rex Dieter <rdieter at fedoraproject.org> - 4.2-3.20100126svn
- rebuild (sbcl)
More information about the scm-commits
mailing list