From 12356a09a2b490055a1ebbe23854ac86a644fa31 Mon Sep 17 00:00:00 2001
From: Jerry James <jamesjer@betterlinux.com>
Date: Nov 07 2014 20:42:28 +0000
Subject: Rebuild for picosat 960.

Fix license handling.

---

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@gmail.com> - 1.2-16
+- Rebuild for picosat 960
+- Fix license handling
+
 * Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.2-15
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild