proofgeneral _unstable_ port information

# Initial Data
Package: proofgeneral
Version: 3.7rel
Revision: 1
Description: Emacs-based interface for proof assistants
License: GPL
Maintainer: John Ridgway

# Dependencies
Depends: emacsen, make
BuildDepends: texinfo, pdftex, sed, fink (>= 0.24.12)
Enhances: isabelle-polyml5

# Unpack
Source: http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-3.7.tgz
Source-MD5: 87c546b914a08dfe014ef55af3e9f92f

# Patch Phase
PatchFile: %n.patch
PatchFile-MD5: ad8f0e6370611f9e815445e02410ba94
PatchScript: sed 's|@PREFIX@|%p|g' <%{PatchFile} | patch -p1

# Compile Phase
CompileScript: <<
make PREFIX=%i DEST_PREFIX=%p doc.info doc.pdf doc.html
<<

# Install Phase
InstallScript: <<
make PREFIX=%i DEST_PREFIX=%p DOCDIR=%i/share/doc/%n INSTALL_INFO="echo ignoring" install-el install-bin install-init install-doc
install -m 644 Makefile %i/share/emacs/site-lisp/ProofGeneral
install -m 755 -d %i/share/doc/%n/html
install -m 644 doc/*.html %i/share/doc/%n/html
<<

# Build Phase
PostInstScript: <<
echo -- Byte-compiling .el files
(cd %p/share/emacs/site-lisp/ProofGeneral && make compile)
# echo -- Fixing paths in scripts
# (cd %p && make -f %p/share/emacs/site-lisp/ProofGeneral/Makefile PREFIX=%p pgscripts)
echo -- Done Post-installation
<<
PreRmScript: <<
(cd %p/share/emacs/site-lisp/ProofGeneral && rm -f .byte-compile Makefile *.elc */*.elc */*/*.elc */*/*/*.elc)
<<
#ConfFiles:
InfoDocs: PG-adapting.info ProofGeneral.info

# Additional Data
Homepage: http://proofgeneral.inf.ed.ac.uk/
DescDetail: <<
Proof General is a generic interface for proof assistants, based on the
customizable text editor Emacs. It works with either XEmacs or GNU Emacs.
(If you don't know Emacs, the Emacs Wiki is helpful).
<<
DescUsage: <<
Put this line in your .emacs file:

(load-file "%p/share/emacs/site-lisp/ProofGeneral/generic/proof-site.el")

If you prefer not to edit .emacs, you can use the script in
bin/proofgeneral to launch Emacs with Proof General loaded.
<<
DescPackaging: <<
This version has been called 3.7rel rather than 3.7 because the prior
version was called 3.7betasomething, and 3.7 sorts before 3.7beta...
<<