[csisat] Rebuild for GCC 4.7 and Ocaml 3.12.1.

[Jerry James]

commit aa85ea47e233903a418568fd3cee47f2ac9b1b4b
Author: Jerry James <loganjerry at gmail.com>
Date:   Fri Jan 6 15:01:18 2012 -0700

    Rebuild for GCC 4.7 and Ocaml 3.12.1.

 csisat.spec |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/csisat.spec b/csisat.spec
index 077e249..5359be4 100644
--- a/csisat.spec
+++ b/csisat.spec
@@ -1,12 +1,12 @@
 Name:           csisat
 Version:        1.2
-Release:        6%{?dist}
+Release:        7%{?dist}
 Summary:        Tool for LA+EUF Interpolation
 
 Group:          Applications/Engineering
 License:        ASL 2.0
 URL:            http://csisat.googlecode.com/
-Source0:        http://csisat.googlecode.com/files/csisat-%{version}.zip
+Source0:        http://csisat.googlecode.com/files/%{name}-%{version}.zip
 # This patch has not been sent upstream.  Upstream wishes to distribute the
 # picosat sources with their code.  This patch builds with the system picosat
 # instead, and also adds missing dependencies so that parallel make works.
@@ -54,6 +54,9 @@ cp -p bin/* $RPM_BUILD_ROOT%{_bindir}
 %{_bindir}/csisatServer
 
 %changelog
+* Fri Jan  6 2012 Jerry James <loganjerry at gmail.com> - 1.2-7
+- Rebuild for GCC 4.7 and Ocaml 3.12.1
+
 * Mon Nov 14 2011 Jerry James <loganjerry at gmail.com> - 1.2-6
 - Change supported arches list to %%{ocaml_arches}
 - Drop unnecessary spec file elements (%%clean, etc.)