[alt-ergo] Update to version 0.91.

[David A. Wheeler]

commit c1d7b72231133bf8f28dcec2c438bac6c60d6d81
Author: David A. Wheeler <dwheeler at dwheeler.com>
Date:   Tue Aug 10 21:38:18 2010 -0400

    Update to version 0.91.

 .gitignore    |    1 +
 alt-ergo.spec |   17 ++++++++++++++---
 sources       |    2 +-
 3 files changed, 16 insertions(+), 4 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index fe72694..a2e3f8a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 alt-ergo-0.9.tar.gz
+alt-ergo-0.91.tar.gz
diff --git a/alt-ergo.spec b/alt-ergo.spec
index c0aaf72..fbc6f8d 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -12,8 +12,8 @@
 %define __find_provides /usr/lib/rpm/ocaml-find-provides.sh
 
 Name:		alt-ergo
-Version:	0.9
-Release:	2%{?dist}
+Version:	0.91
+Release:	1%{?dist}
 Summary:	Alt-Ergo automatic theorem prover
 
 Group:		Applications/Engineering
@@ -43,6 +43,10 @@ instantiation mechanism by which it fully supports quantifiers.
 
 cp -p %{SOURCE1} %{SOURCE2} .
 
+# Set print_flag to false or invoking with -select
+# from "why" will pause every invocation :-(.
+sed -i -e 's/let print_flag = true/let print_flag = false/;' pruning.ml
+
 %build
 # Avoid a Makefile patch by just adding this empty file, and thus autoconf
 # doesn't complain (better than ignoring all status from configure)
@@ -79,7 +83,7 @@ execstack -c ./alt-ergo.opt
 rm -rf %{buildroot}
 
 mkdir -p %{buildroot}%{_bindir}
-make %{opt_option} BINDIR=%{buildroot}%{_bindir} LIBDIR=%{buildroot}%{_datadir} MANDIR=%{buildroot}%{_mandir} install
+make %{opt_option} BINDIR=%{buildroot}%{_bindir} LIBDIR=%{buildroot}%{_datadir}/%{name} MANDIR=%{buildroot}%{_mandir} install
 
 %clean
 rm -rf %{buildroot}
@@ -92,6 +96,13 @@ rm -rf %{buildroot}
 %doc README.alt-ergo COPYING CeCILL-C CHANGES
 
 %changelog
+* Tue Jun 08 2010 David A. Wheeler <dwheeler at dwheeler.com> 0.91-1
+- Update to version 0.91. This means:
+- partial support for non-linear arithmetics
+- support case split on integer variables
+- new support for Euclidean division and modulo operators
+
+
 * Tue Aug 04 2009 Alan Dunn <amdunn at gmail.com> 0.9-2
 - Added ExcludeArch sparc64 due to no OCaml
 
diff --git a/sources b/sources
index 023a205..af192e4 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-c7eb6d07391acdfa39bb00978105858d  alt-ergo-0.9.tar.gz
+730efa375fed3d0142f581326bed0736  alt-ergo-0.91.tar.gz