[why] Remove ocaml_arches macro (RHBZ#1087794).

[Richard W.M. Jones]

commit f8475527b40a5389f5babf62fc789f568168546c
Author: Richard W.M. Jones <rjones at redhat.com>
Date:   Tue Apr 15 12:57:30 2014 +0100

    Remove ocaml_arches macro (RHBZ#1087794).

 why.spec |   12 ++++--------
 1 files changed, 4 insertions(+), 8 deletions(-)
---
diff --git a/why.spec b/why.spec
index e0d4822..503e212 100644
--- a/why.spec
+++ b/why.spec
@@ -1,9 +1,5 @@
 # Whether coq is available
-%ifarch %{ocaml_arches}
 %global has_coq 1
-%else
-%global has_coq 0
-%endif
 
 # Whether PVS is available
 %ifarch %{ix86} x86_64 ppc sparcv9
@@ -17,7 +13,7 @@
 
 Name:           why
 Version:        2.34
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Software verification platform
 
 Group:          Applications/Engineering
@@ -80,9 +76,6 @@ BuildRequires:  pvs
 
 Requires:	hicolor-icon-theme
 
-# Only build on arches that support ocaml
-ExclusiveArch: %{ocaml_arches}
-
 # Filter out bogus requires
 %global __requires_exclude ocaml\\\((Ast|Cc|Env|Error|Logic|Logic_decl|Misc|Ptree|Types)\\\)
 
@@ -447,6 +440,9 @@ gtk-update-icon-cache %{_datadir}/icons/hicolor &>/dev/null || :
 
 
 %changelog
+* Tue Apr 15 2014 Richard W.M. Jones <rjones at redhat.com> - 2.34-3
+- Remove ocaml_arches macro (RHBZ#1087794).
+
 * Mon Mar 24 2014 Jerry James <loganjerry at gmail.com> - 2.34-2
 - Remove dropped patches
 - Add icons