[zenon] Build on all ocaml arches.

[Jerry James]

commit 610bc9b73d2f2fff524e90b707e92837276911b1
Author: Jerry James <loganjerry at gmail.com>
Date:   Mon Nov 14 11:45:04 2011 -0700

    Build on all ocaml arches.

 zenon.spec |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/zenon.spec b/zenon.spec
index 0df78ad..11892e0 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -4,7 +4,7 @@
 
 Name:		zenon
 Version:	0.6.3
-Release:	2%{?dist}
+Release:	3%{?dist}
 Summary:	Automated theorem prover for first-order classical logic
 Group:		Applications/Engineering
 License:	BSD
@@ -23,7 +23,7 @@ BuildRequires:	ImageMagick
 BuildRequires:	ocaml
 
 # This should always match the list in the coq spec file.
-ExclusiveArch: alpha armv4l %{ix86} ia64 x86_64 ppc sparc sparcv9
+ExclusiveArch:  %{ocaml_arches}
 
 %description
 Zenon is an automated theorem prover for first order classical logic
@@ -84,6 +84,9 @@ fi
 %{_mandir}/man5/*
 
 %changelog
+* Mon Nov 14 2011 Jerry James <loganjerry at gmail.com> - 0.6.3-3
+- Change ExclusiveArch to %%{ocaml_arches}
+
 * Thu Jul 14 2011 Jerry James <loganjerry at gmail.com> - 0.6.3-2
 - Move the coq files back to /usr/share to avoid a dependency on coq
 - Add paper describing zenon to %%doc