[alt-ergo] Add an AppData file and screenshot. Adapt to ocamlgraph 1.8.4.

[Jerry James]

commit a6e1d8b2b965d201d9a70b3e24698dbd73b85dc1
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Tue Mar 4 11:03:24 2014 -0700

    Add an AppData file and screenshot.
    Adapt to ocamlgraph 1.8.4.

 alt-ergo.appdata.xml      |   25 +++++++++++++++++++++++++
 alt-ergo.spec             |   25 +++++++++++++++++++++++--
 altgr-ergo-screenshot.png |  Bin 0 -> 116318 bytes
 3 files changed, 48 insertions(+), 2 deletions(-)
---
diff --git a/alt-ergo.appdata.xml b/alt-ergo.appdata.xml
new file mode 100644
index 0000000..59938b4
--- /dev/null
+++ b/alt-ergo.appdata.xml
@@ -0,0 +1,25 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<application>
+ <id type="desktop">alt-ergo.desktop</id>
+ <licence>CC0</licence>
+ <summary>Alt-Ergo</summary>
+ <description>
+  <p>
+   Alt-Ergo is an automated theorem prover implemented in OCaml.  It is based
+   on CC(X) - a congruence closure algorithm parameterized by an equational
+   theory X.  This algorithm is reminiscent of the Shostak algorithm.
+   Currently CC(X) is instantiated by the theory of linear arithmetics.
+  </p>
+  <p>
+   Alt-Ergo also contains a home made SAT-solver and an instantiation mechanism
+   by which it fully supports quantifiers.
+  </p>
+ </description>
+ <screenshots>
+  <screenshot type="default">file:///usr/share/alt-ergo/altgr-ergo-screenshot.png</screenshot>
+ </screenshots>
+ <url type="homepage">http://alt-ergo.ocamlpro.com/index.php</url>
+ <!-- FIXME: change this to an upstream email address for spec updates
+         <updatecontact>someone_who_cares at upstream_project.org</updatecontact>
+  -->
+</application>
diff --git a/alt-ergo.spec b/alt-ergo.spec
index 75d371d..150d1e2 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -6,7 +6,7 @@
 
 Name:		alt-ergo
 Version:	0.95.2
-Release:	1%{?dist}
+Release:	2%{?dist}
 Summary:	Automated theorem prover including linear arithmetic
 License:	CeCILL-C
 
@@ -14,6 +14,8 @@ URL:		http://alt-ergo.ocamlpro.com/
 Source0:	http://alt-ergo.ocamlpro.com/http/%{name}-%{version}/%{name}-%{version}.tar.gz
 Source1:	swap0_why.why
 Source2:	%{name}.desktop
+Source3:	%{name}.appdata.xml
+Source4:	altgr-ergo-screenshot.png
 
 BuildRequires:	desktop-file-utils
 BuildRequires:	gmp-devel
@@ -55,7 +57,12 @@ cp -p %{SOURCE1} %{SOURCE2} .
 
 # Set print_flag to false or invoking with -select
 # from "why" will pause every invocation :-(.
-sed -i '/let print_flag =/s/true/false/' src/preprocess/pruning.ml
+# Also adapt to ocamlgraph 1.8.4
+sed -e '/let print_flag =/s/true/false/' \
+    -e 's/`Style(`Filled)/(`Style[`Filled])/' \
+    -i.orig src/preprocess/pruning.ml
+touch -r src/preprocess/pruning.ml.orig src/preprocess/pruning.ml
+rm -f src/preprocess/pruning.ml.orig
 
 # Harden the build due to network use
 sed -i 's/^OFLAGS =.*/& -g -ccopt -Wl,-z,relro,-z,now/' Makefile.in
@@ -87,6 +94,14 @@ rm -f %{buildroot}%{_datadir}/%{name}/*.{cmx,o}
 mkdir -p %{buildroot}%{_datadir}/applications
 desktop-file-install --dir %{buildroot}%{_datadir}/applications %{name}.desktop
 
+# Install the AppData file
+mkdir -p %{buildroot}%{_datadir}/appdata
+install -pm 644 %{SOURCE3} %{buildroot}%{_datadir}/appdata
+
+# Install the screenshot
+mkdir -p %{buildroot}%{_datadir}/%{name}
+cp -p %{SOURCE4} %{buildroot}%{_datadir}/%{name}
+
 %post gui
 update-desktop-database &> /dev/null || :
 
@@ -110,10 +125,16 @@ update-desktop-database &> /dev/null || :
 
 %files gui
 %{_bindir}/altgr-ergo
+%{_datadir}/appdata/%{name}.appdata.xml
 %{_datadir}/applications/%{name}.desktop
 %{_datadir}/gtksourceview-2.0/language-specs/%{name}.lang
+%{_datadir}/%{name}/
 
 %changelog
+* Tue Mar  4 2014 Jerry James <loganjerry at gmail.com> - 0.95.2-2
+- Add an AppData file and screenshot
+- Adapt to ocamlgraph 1.8.4
+
 * Fri Sep 20 2013 Jerry James <loganjerry at gmail.com> - 0.95.2-1
 - Update to version 0.95.2
 - Web pages and downloads now hosted by ocamlpro.com
diff --git a/altgr-ergo-screenshot.png b/altgr-ergo-screenshot.png
new file mode 100644
index 0000000..7905ce0
Binary files /dev/null and b/altgr-ergo-screenshot.png differ