[csisat] * Thu Jan 27 2011 Jerry James <loganjerry at gmail.com> - 1.2-3 - Rebuild for new picosat and new ocaml

[Jerry James]

commit 3129746baadab3fb5572f58717e880e5caebe085
Author: Jerry James <loganjerry at gmail.com>
Date:   Thu Jan 27 11:53:24 2011 -0700

    * Thu Jan 27 2011 Jerry James <loganjerry at gmail.com> - 1.2-3
    - Rebuild for new picosat and new ocaml

 csisat-makefile.patch |    2 +-
 csisat.spec           |    6 ++++--
 2 files changed, 5 insertions(+), 3 deletions(-)
---
diff --git a/csisat-makefile.patch b/csisat-makefile.patch
index 7044557..a256f53 100644
--- a/csisat-makefile.patch
+++ b/csisat-makefile.patch
@@ -185,7 +185,7 @@ diff -up ./pico_ml_wrapper/Makefile.ORIG ./pico_ml_wrapper/Makefile
 -INCLUDE= -I../picosat-632
 -LIBS= -lpicosat -L../picosat-632
 +INCLUDE=
-+LIBS= -lpicosat
++LIBS= -lpicosat-trace
  RM = /bin/rm -f
  
  SRC = src/camlpico.c
diff --git a/csisat.spec b/csisat.spec
index b19a96c..c2bb0f6 100644
--- a/csisat.spec
+++ b/csisat.spec
@@ -1,6 +1,6 @@
 Name:           csisat
 Version:        1.2
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Tool for LA+EUF Interpolation
 
 Group:          Applications/Engineering
@@ -11,7 +11,6 @@ Source0:        http://csisat.googlecode.com/files/%{name}-%{version}.zip
 # picosat sources with their code.  This patch builds with the system picosat
 # instead, and also adds missing dependencies so that parallel make works.
 Patch0:         csisat-makefile.patch
-BuildRoot:      %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
 
 BuildRequires:  glpk-devel, ocaml, picosat-devel
 
@@ -66,6 +65,9 @@ rm -rf $RPM_BUILD_ROOT
 %{_bindir}/csisatServer
 
 %changelog
+* Thu Jan 27 2011 Jerry James <loganjerry at gmail.com> - 1.2-3
+- Rebuild for new picosat and new ocaml
+
 * Tue Jan 19 2010 Jerry James <loganjerry at gmail.com> - 1.2-2
 - Fix parallel make
 - Less opaque description