From 89c885a7a2946686166430fc958e1b9731006a68 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Nov 14 2011 19:25:57 +0000
Subject: Change supported arches list to %{ocaml_arches}.

Drop unnecessary spec file elements (%clean, etc.).

---

diff --git a/csisat.spec b/csisat.spec
index 6856e88..077e249 100644
--- a/csisat.spec
+++ b/csisat.spec
@@ -1,6 +1,6 @@
 Name:           csisat
 Version:        1.2
-Release:        5%{?dist}
+Release:        6%{?dist}
 Summary:        Tool for LA+EUF Interpolation
 
 Group:          Applications/Engineering
@@ -14,8 +14,7 @@ Patch0:         csisat-makefile.patch
 
 BuildRequires:  glpk-devel, ocaml, picosat-devel, subversion
 
-# This list should match the one in the ocaml spec file
-ExclusiveArch:  alpha armv4l %{ix86} ia64 x86_64 ppc sparc sparcv9 ppc64
+ExclusiveArch:  %{ocaml_arches}
 
 %description
 CSIsat reads a set of mathematical formulas that may combine variables,
@@ -46,20 +45,19 @@ find . -name \*.c | xargs chmod a-x
 make CFLAGS="$RPM_OPT_FLAGS -I%{_libdir}/ocaml -I%{_includedir}/glpk"
 
 %install
-rm -rf $RPM_BUILD_ROOT
 mkdir -p $RPM_BUILD_ROOT%{_bindir}
 cp -p bin/* $RPM_BUILD_ROOT%{_bindir}
 
-%clean
-rm -rf $RPM_BUILD_ROOT
-
 %files
-%defattr(-,root,root,-)
 %doc License.txt License_Apache-2.0.txt ReadMe.txt ToDo.txt server/README
 %{_bindir}/csisat
 %{_bindir}/csisatServer
 
 %changelog
+* Mon Nov 14 2011 Jerry James <loganjerry@gmail.com> - 1.2-6
+- Change supported arches list to %%{ocaml_arches}
+- Drop unnecessary spec file elements (%%clean, etc.)
+
 * Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.2-5
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild