[emacs-common-proofgeneral] Add AppData file.
Jerry James
jjames at fedoraproject.org
Thu Feb 27 22:13:34 UTC 2014
commit e6610ca5bd61393622adc0b562935297ee50b058
Author: Jerry James <loganjerry at gmail.com>
Date: Thu Feb 27 15:14:14 2014 -0700
Add AppData file.
emacs-common-proofgeneral.spec | 17 +++++++-----
proofgeneral.appdata.xml | 53 ++++++++++++++++++++++++++++++++++++++++
2 files changed, 63 insertions(+), 7 deletions(-)
---
diff --git a/emacs-common-proofgeneral.spec b/emacs-common-proofgeneral.spec
index 79101a5..f2aa346 100644
--- a/emacs-common-proofgeneral.spec
+++ b/emacs-common-proofgeneral.spec
@@ -2,7 +2,7 @@
Name: emacs-common-%{pkg}
Version: 4.2
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: Emacs mode for standard interaction interface for proof assistants
Group: Applications/Editors
@@ -10,6 +10,7 @@ License: GPLv2
URL: http://proofgeneral.inf.ed.ac.uk/
Source0: http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-%{version}.tgz
Source1: http://proofgeneral.inf.ed.ac.uk/ProofGeneralPortrait.eps.gz
+Source2: %{pkg}.appdata.xml
# Patch 0 - Fedora specific, don't do an "install-info" in the make process
# (which would occur at build time), but instead put it into a scriptlet
@@ -30,12 +31,6 @@ BuildRequires: tex-ec
BuildRequires: tex-epstopdf
BuildRequires: texinfo-tex
-# Remove these once Fedora 18 has reached EOL
-Obsoletes: xemacs-%{pkg} < 4.0
-Obsoletes: xemacs-%{pkg}-el < 4.0
-Provides: xemacs-%{pkg} = %{version}-%{release}
-Provides: xemacs-%{pkg}-el = %{version}-%{release}
-
%description
Proof General is a generic front-end for proof assistants (also known
as interactive theorem provers) based on Emacs.
@@ -153,6 +148,10 @@ chmod a+x %{buildroot}%{_bindir}/*
# Validate the desktop file
desktop-file-validate %{buildroot}%{_datadir}/applications/proofgeneral.desktop
+# Install the AppData file
+mkdir -p %{buildroot}%{_datadir}/appdata
+install -pm 644 %{SOURCE2} %{buildroot}%{_datadir}/appdata
+
%post
/sbin/install-info %{_infodir}/ProofGeneral.info* %{_infodir}/dir 2>/dev/null || :
/sbin/install-info %{_infodir}/PG-adapting.info* %{_infodir}/dir 2>/dev/null || :
@@ -178,6 +177,7 @@ fi
%{full_man_dir}/*
%{_infodir}/*
%{_bindir}/*
+%{_datadir}/appdata/%{pkg}.appdata.xml
%{_datadir}/application-registry/%{pkg}.applications
%{_datadir}/applications/%{pkg}.desktop
%{_datadir}/icons/hicolor/*/%{pkg}.png
@@ -196,6 +196,9 @@ fi
%{_emacs_sitelispdir}/%{pkg}/*/*.el
%changelog
+* Thu Feb 27 2014 Jerry James <loganjerry at gmail.com> - 4.2-2
+- Add AppData file
+
* Sat Aug 24 2013 Jerry James <loganjerry at gmail.com> - 4.2-1
- New upstream release (fixes bz 972343)
- Fix eps2pdf BR (bz 913972 and 992196)
diff --git a/proofgeneral.appdata.xml b/proofgeneral.appdata.xml
new file mode 100644
index 0000000..839ffb0
--- /dev/null
+++ b/proofgeneral.appdata.xml
@@ -0,0 +1,53 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<application>
+ <id type="desktop">proofgeneral.desktop</id>
+ <licence>CC0</licence>
+ <description>
+ <p>
+ Proof General is a generic front-end for proof assistants (also known as
+ interactive theorem provers) based on Emacs. Proof General allows one to
+ edit and submit a proof script to a proof assistant in an interactive
+ manner:
+ </p>
+ <ul>
+ <li>It tracks the goal state and allows for easy backtracking and block
+ execution</li>
+ <li>It adds toolbars and menus to Emacs for easy access to proof assistant
+ features</li>
+ <li>It integrates with Emacs Unicode support to provide output using proper
+ mathematical symbols</li>
+ <li>It includes utilities for generating Emacs tags for proof scripts,
+ allowing for easy navigation</li>
+ </ul>
+ <p>
+ Proof General supports a number of different proof assistants (Isabelle,
+ Coq, PhoX, and LEGO to name a few) and is designed to be easily extendable
+ to work with others.
+ </p>
+ </description>
+ <screenshots>
+ <screenshot type="default">http://proofgeneral.inf.ed.ac.uk/images/pg-coq-thumb.png</screenshot>
+ <screenshot>http://proofgeneral.inf.ed.ac.uk/images/pg-lego-thumb.png</screenshot>
+ <screenshot>http://proofgeneral.inf.ed.ac.uk/images/pg-isa-thumb.png</screenshot>
+ <screenshot>http://proofgeneral.inf.ed.ac.uk/images/pg-isar-thumb.png</screenshot>
+ <screenshot>http://proofgeneral.inf.ed.ac.uk/images/pg-lego-console-thumb.png</screenshot>
+ <screenshot>https://wiki.inf.ed.ac.uk/twiki/pub/PG/PGEclipseScreenshots/welcome.png</screenshot>
+ <screenshot>https://wiki.inf.ed.ac.uk/twiki/pub/PG/PGEclipseScreenshots/new-cheatsheet.png</screenshot>
+ <screenshot>https://wiki.inf.ed.ac.uk/twiki/pub/PG/PGEclipseScreenshots/new-theory.png</screenshot>
+ <screenshot>https://wiki.inf.ed.ac.uk/twiki/pub/PG/PGEclipseScreenshots/eclipse-import.png</screenshot>
+ <screenshot>https://wiki.inf.ed.ac.uk/twiki/pub/PG/PGEclipseScreenshots/mid-theory.png</screenshot>
+ <screenshot>https://wiki.inf.ed.ac.uk/twiki/pub/PG/PGEclipseScreenshots/outline-view.png</screenshot>
+ <screenshot>https://wiki.inf.ed.ac.uk/twiki/pub/PG/PGEclipseScreenshots/processing.png</screenshot>
+ <screenshot>https://wiki.inf.ed.ac.uk/twiki/pub/PG/PGEclipseScreenshots/perthy6.png</screenshot>
+ <screenshot>https://wiki.inf.ed.ac.uk/twiki/pub/PG/PGEclipseScreenshots/prover-objects.png</screenshot>
+ <screenshot>https://wiki.inf.ed.ac.uk/twiki/pub/PG/PGEclipseScreenshots/colour-prefs.png</screenshot>
+ <screenshot>https://wiki.inf.ed.ac.uk/twiki/pub/PG/PGEclipseScreenshots/unicode+objects.png</screenshot>
+ <screenshot>https://wiki.inf.ed.ac.uk/twiki/pub/PG/PGEclipseScreenshots/process+cvs.png</screenshot>
+ <screenshot>https://wiki.inf.ed.ac.uk/twiki/pub/PG/PGEclipseScreenshots/cvs-compare.png</screenshot>
+ <screenshot>https://wiki.inf.ed.ac.uk/twiki/pub/PG/PGEclipseScreenshots/error-marking.png</screenshot>
+ </screenshots>
+ <url type="homepage">http://proofgeneral.inf.ed.ac.uk/</url>
+ <!-- FIXME: change this to an upstream email address for spec updates
+ <updatecontact>someone_who_cares at upstream_project.org</updatecontact>
+ -->
+</application>
More information about the scm-commits
mailing list