Sisyphus repository
Last update: 16 september 2019 | SRPMs: 17434 | Visits: 15105704
en ru br
ALT Linux repos
S:3.7.1-alt1
5.0: 3.7.1-alt1
4.1: 3.4-alt1
4.0: 3.4-alt1
3.0: 3.4-alt1

Group :: Sciences/Mathematics
RPM: ProofGeneral

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR  Repocop 

Name: ProofGeneral
Version: 3.7.1
Release: alt1

Group: Sciences/Mathematics
Summary: Emacs interface for Proof Assistants
License: LFCS, University of Edinburgh
Url: http://proofgeneral.inf.ed.ac.uk/
Source:  ProofGeneral-%version.tgz
Patch: ProofGeneral-3.3-perl.patch
BuildArch: noarch
Requires: perl
AutoReqProv: no
Packager: Ilya Mashkin <oddity at altlinux.ru>

%description

Proof General is a generic Emacs interface for proof assistants,
suitable for use by pacifists and Emacs militants alike.
It is supplied ready-customized for LEGO, Coq, and Isabelle.

%prep
%setup
#%patch0 -p1

%build

%install
%define _compress_method skip

mkdir -p $RPM_BUILD_ROOT/etc/emacs/site-start.d/
mkdir -p $RPM_BUILD_ROOT/usr/share/emacs/site-lisp/proofgeneral/

cat <<EOF >$RPM_BUILD_ROOT/etc/emacs/site-start.d/proofgeneral.el
(load-file "/usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el")
EOF

tar -cf - . | (cd $RPM_BUILD_ROOT/usr/share/emacs/site-lisp/proofgeneral; tar -xf -)

%files
/etc/emacs/site-start.d/proofgeneral.el
/usr/share/emacs/site-lisp/proofgeneral/*

%doc AUTHORS FAQ CHANGES COPYING BUGS README

%changelog

Full changelog you can see here

 
design & coding: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
current maintainer: Michael Shigorin