[csisat] Rebuild for picosat 960. Fix license handling.

[Jerry James]

commit 12356a09a2b490055a1ebbe23854ac86a644fa31
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Fri Nov 7 13:42:28 2014 -0700

    Rebuild for picosat 960.
    Fix license handling.

 csisat.spec |   12 ++++++++++--
 1 files changed, 10 insertions(+), 2 deletions(-)
---
diff --git a/csisat.spec b/csisat.spec
index 0db119c..496b8eb 100644
--- a/csisat.spec
+++ b/csisat.spec
@@ -1,6 +1,6 @@
 Name:           csisat
 Version:        1.2
-Release:        15%{?dist}
+Release:        16%{?dist}
 Summary:        Tool for LA+EUF Interpolation
 
 Group:          Applications/Engineering
@@ -48,6 +48,9 @@ sed -i 's/lpicosat/lpicosat-trace/' \
 chmod a-x *.txt
 find . -name \*.c | xargs chmod a-x
 
+# Silence warnings
+svn upgrade
+
 %build
 # FIXME: Parallel make sometimes fails
 make CFLAGS="$RPM_OPT_FLAGS -I%{_libdir}/ocaml -I%{_includedir}/glpk"
@@ -57,11 +60,16 @@ mkdir -p $RPM_BUILD_ROOT%{_bindir}
 cp -p bin/* $RPM_BUILD_ROOT%{_bindir}
 
 %files
-%doc License.txt License_Apache-2.0.txt ReadMe.txt ToDo.txt server/README
+%doc ReadMe.txt ToDo.txt server/README
+%license License.txt License_Apache-2.0.txt
 %{_bindir}/csisat
 %{_bindir}/csisatServer
 
 %changelog
+* Fri Nov  7 2014 Jerry James <loganjerry at gmail.com> - 1.2-16
+- Rebuild for picosat 960
+- Fix license handling
+
 * Sat Aug 16 2014 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 1.2-15
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild