Update of /cvsroot/fink/dists/10.4/unstable/main/finkinfo/editors
In directory sc8-pr-cvs17.sourceforge.net:/tmp/cvs-serv30410
Modified Files:
proofgeneral.info proofgeneral.patch
Log Message:
Update from tracker
http://sourceforge.net/tracker/index.php?func=detail&aid=1894970&group_id=17203&atid=414256
Index: proofgeneral.patch
===================================================================
RCS file:
/cvsroot/fink/dists/10.4/unstable/main/finkinfo/editors/proofgeneral.patch,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- proofgeneral.patch 14 Dec 2007 03:17:54 -0000 1.1
+++ proofgeneral.patch 3 Apr 2008 02:54:08 -0000 1.2
@@ -1,6 +1,6 @@
--- ProofGeneral/Makefile.orig 2005-09-21 14:26:45.000000000 -0400
+++ ProofGeneral/Makefile 2007-08-30 15:05:02.000000000 -0400
-@@ -16,6 +16,9 @@
+@@ -22,6 +22,9 @@
# Set this to "emacs" or "xemacs" according to your version of Emacs.
# NB: this is also used to set default install path names below.
EMACS=$(shell if [ -z "`which emacs`" ]; then echo xemacs; else echo emacs;
fi)
@@ -10,7 +10,7 @@
# We default to /usr rather than /usr/local because installs of
# desktop and doc files under /usr/local are unlikely to work with
-@@ -214,8 +214,8 @@
+@@ -215,8 +218,8 @@
cp -pf doc/proofgeneral.1 ${MANDIR}
mkdir -p ${INFODIR}
cp -pf doc/*.info ${INFODIR}
Index: proofgeneral.info
===================================================================
RCS file:
/cvsroot/fink/dists/10.4/unstable/main/finkinfo/editors/proofgeneral.info,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- proofgeneral.info 14 Dec 2007 03:17:54 -0000 1.1
+++ proofgeneral.info 3 Apr 2008 02:54:07 -0000 1.2
@@ -1,6 +1,6 @@
# Initial Data
Package: proofgeneral
-Version: 3.7pre070819
+Version: 3.7rel
Revision: 1
Description: Emacs-based interface for proof assistants
License: GPL
@@ -12,8 +12,8 @@
Enhances: isabelle-polyml5
# Unpack
-Source: http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-%v.tar.gz
-Source-MD5: 49b592cd63bde6cc7758da3db93f7f82
+Source: http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-3.7.tgz
+Source-MD5: 87c546b914a08dfe014ef55af3e9f92f
# Patch Phase
PatchScript: sed 's|@PREFIX@|%p|g' <%a/%n.patch | patch -p1
@@ -32,7 +32,6 @@
<<
# Build Phase
-#PreInstScript:
PostInstScript: <<
echo -- Byte-compiling .el files
(cd %p/share/emacs/site-lisp/ProofGeneral && make compile)
@@ -43,7 +42,6 @@
PreRmScript: <<
(cd %p/share/emacs/site-lisp/ProofGeneral && rm -f .byte-compile Makefile
*.elc */*.elc */*/*.elc */*/*/*.elc)
<<
-#PostRmScript:
#ConfFiles:
InfoDocs: PG-adapting.info ProofGeneral.info
@@ -55,10 +53,14 @@
(If you don't know Emacs, the Emacs Wiki is helpful).
<<
DescUsage: <<
-Put this line in your .emacs file:
+ Put this line in your .emacs file:
- (load-file "%p/share/emacs/site-lisp/ProofGeneral/generic/proof-site.el")
+ (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.
+ 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...
<<
-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace
_______________________________________________
Fink-commits mailing list
[email protected]
http://news.gmane.org/gmane.os.apple.fink.cvs
