Group :: Sciences/Mathematics
RPM: ProofGeneral
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Name: ProofGeneral
Version: 3.4
Release: alt1
Group: Sciences/Mathematics
Summary: Emacs interface for Proof Assistants
License: LFCS, University of Edinburgh
Url: http://www.proofgeneral.org/
Source: ProofGeneral-3.4.tar.gz
Patch: ProofGeneral-3.3-perl.patch
BuildArch: noarch
Requires: perl
AutoReqProv: no
%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
Version: 3.4
Release: alt1
Group: Sciences/Mathematics
Summary: Emacs interface for Proof Assistants
License: LFCS, University of Edinburgh
Url: http://www.proofgeneral.org/
Source: ProofGeneral-3.4.tar.gz
Patch: ProofGeneral-3.3-perl.patch
BuildArch: noarch
Requires: perl
AutoReqProv: no
%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