From tbourke@triptrop.cse.unsw.edu.au  Tue Jul 29 06:37:39 2008
Return-Path: <tbourke@triptrop.cse.unsw.edu.au>
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 890561065672
	for <FreeBSD-gnats-submit@freebsd.org>; Tue, 29 Jul 2008 06:37:39 +0000 (UTC)
	(envelope-from tbourke@triptrop.cse.unsw.edu.au)
Received: from tone.orchestra.cse.unsw.EDU.AU (tone.orchestra.cse.unsw.EDU.AU [129.94.242.59])
	by mx1.freebsd.org (Postfix) with ESMTP id 0624E8FC0C
	for <FreeBSD-gnats-submit@freebsd.org>; Tue, 29 Jul 2008 06:37:38 +0000 (UTC)
	(envelope-from tbourke@triptrop.cse.unsw.edu.au)
Received: From triptrop.cse.unsw.edu.au ([129.94.175.153])
	(for <FreeBSD-gnats-submit@freebsd.org>) By tone With Smtp ;
	Tue, 29 Jul 2008 16:27:37 +1000 
Received: from triptrop.cse.unsw.edu.au (localhost [127.0.0.1])
	by triptrop.cse.unsw.edu.au (8.14.2/8.13.6) with ESMTP id m6T6NxCJ013555
	for <FreeBSD-gnats-submit@freebsd.org>; Tue, 29 Jul 2008 16:23:59 +1000 (EST)
	(envelope-from tbourke@triptrop.cse.unsw.edu.au)
Received: (from tbourke@localhost)
	by triptrop.cse.unsw.edu.au (8.14.2/8.13.6/Submit) id m6T6Nxvv013554;
	Tue, 29 Jul 2008 16:23:59 +1000 (EST)
	(envelope-from tbourke)
Message-Id: <200807290623.m6T6Nxvv013554@triptrop.cse.unsw.edu.au>
Date: Tue, 29 Jul 2008 16:23:59 +1000 (EST)
From: Timothy Bourke <timbob@bigpond.com>
To: FreeBSD-gnats-submit@freebsd.org
Cc:
Subject: [MAINTAINER] math/proofgeneral-xemacs: 3.7.0 -> 3.7.1
X-Send-Pr-Version: 3.113
X-GNATS-Notify:

>Number:         126066
>Category:       ports
>Synopsis:       [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Tue Jul 29 06:40:01 UTC 2008
>Closed-Date:    Fri Aug 15 01:03:35 UTC 2008
>Last-Modified:  Fri Aug 15 01:10:04 UTC 2008
>Originator:     Timothy Bourke
>Release:        FreeBSD 6.3-RELEASE i386
>Organization:
>Environment:
System: FreeBSD triptrop 6.3-RELEASE FreeBSD 6.3-RELEASE #4: Thu Mar 13 14:01:14 EST 2008
>Description:

Added file(s):
- files/patch-isar-interface

Generated with FreeBSD Port Tools 0.77
>How-To-Repeat:
>Fix:

--- proofgeneral-xemacs-3.7.1.patch begins here ---
Index: Makefile
===================================================================
RCS file: /home/ncvs/ports/math/proofgeneral/Makefile,v
retrieving revision 1.20
diff -u -r1.20 Makefile
--- Makefile	6 Jun 2008 13:44:02 -0000	1.20
+++ Makefile	29 Jul 2008 06:27:02 -0000
@@ -2,15 +2,14 @@
 # Date created:        11 August 2005
 # Whom:                Timothy Bourke <timbob@bigpond.com>
 #
-# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.20 2008/06/06 13:44:02 edwin Exp $
+# $FreeBSD$
 #
 
 PORTNAME=	proofgeneral
-PORTVERSION=	3.7
-PORTREVISION=	1
+PORTVERSION=	3.7.1
 CATEGORIES=	math elisp
 MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
-DISTNAME=	ProofGeneral-3.7
+DISTNAME=	ProofGeneral-3.7.1
 EXTRACT_SUFX=	.tgz
 
 MAINTAINER=	timbob@bigpond.com
@@ -68,7 +67,9 @@
 post-patch:
 	@${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \
 		${WRKSRC}/etc/desktop/proofgeneral.desktop
-	${TOUCH} ${WRKSRC}/.byte-compile
+	@${TOUCH} ${WRKSRC}/.byte-compile
+	@${REINPLACE_CMD} -e 's,%%EMACS_NAME%%,${EMACS_NAME},' \
+		${WRKSRC}/isar/interface
 
 pre-build:
 #.if defined(BYTE_COMPILE)
Index: distinfo
===================================================================
RCS file: /home/ncvs/ports/math/proofgeneral/distinfo,v
retrieving revision 1.6
diff -u -r1.6 distinfo
--- distinfo	4 Apr 2008 12:13:33 -0000	1.6
+++ distinfo	29 Jul 2008 06:27:02 -0000
@@ -1,3 +1,3 @@
-MD5 (ProofGeneral-3.7.tgz) = 87c546b914a08dfe014ef55af3e9f92f
-SHA256 (ProofGeneral-3.7.tgz) = 2bdd9ef83d836391f779c41883b3ecdd5da7256cfa25d10c1442ba00cefd3e8e
-SIZE (ProofGeneral-3.7.tgz) = 1981651
+MD5 (ProofGeneral-3.7.1.tgz) = eebfff672b5941823fe893075316b02e
+SHA256 (ProofGeneral-3.7.1.tgz) = e613aa2f24564465f450b06b2d804e6815b220652c9f778e3d3471b644fdaa93
+SIZE (ProofGeneral-3.7.1.tgz) = 2023176
Index: pkg-plist
===================================================================
RCS file: /home/ncvs/ports/math/proofgeneral/pkg-plist,v
retrieving revision 1.9
diff -u -r1.9 pkg-plist
--- pkg-plist	4 Apr 2008 12:13:33 -0000	1.9
+++ pkg-plist	29 Jul 2008 06:27:02 -0000
@@ -56,6 +56,8 @@
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-xml.elc
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-autoloads.el
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-autoloads.elc
+%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-auxmodes.el
+%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-auxmodes.elc
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-config.el
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-config.elc
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-depends.el
@@ -188,6 +190,8 @@
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/maths-menu.el
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-dev.el
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-dev.elc
+%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-fontsets.el
+%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-fontsets.elc
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/proof-compat.el
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/proof-compat.elc
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/span-extent.el
@@ -276,6 +280,8 @@
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/escherknot.xbm
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/README
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/isaxsym.ttf
+%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/XSymb0Medium.ttf
+%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/XSymb1Medium.ttf
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/2helvR12.bdf
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/2helvR14.bdf
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/3helvR12.bdf
Index: files/patch-Makefile
===================================================================
RCS file: /home/ncvs/ports/math/proofgeneral/files/patch-Makefile,v
retrieving revision 1.6
diff -u -r1.6 patch-Makefile
--- files/patch-Makefile	4 Apr 2008 12:13:33 -0000	1.6
+++ files/patch-Makefile	29 Jul 2008 06:27:02 -0000
@@ -1,5 +1,5 @@
 --- Makefile.orig	2008-02-01 00:06:38.000000000 +1100
-+++ Makefile	2008-02-23 20:45:58.000000000 +1100
++++ Makefile	2008-07-29 13:09:58.000000000 +1000
 @@ -21,7 +21,7 @@
  
  # Set this to "emacs" or "xemacs" according to your version of Emacs.
@@ -30,7 +30,7 @@
  
  ## Compiling can show up errors in the code, but be wary of fixing obsoletion
  ## or argument call warnings unless they're valid for both Emacsen.
-@@ -85,7 +84,7 @@
+@@ -85,10 +84,10 @@
  	@echo "****************************************************************"
  	@echo " Byte compiling... "
  	@echo "****************************************************************"
@@ -38,7 +38,11 @@
 +	$(MAKE) elc
  	@echo " Byte compiling X-Symbol..."
  	(cd x-symbol/lisp; $(MAKE) EMACS="$(EMACS) -q -no-site-file")
- 	echo $(EMACS) > $(@)
+-	echo $(EMACS) > $(@)
++	echo $(EMACS_NAME) > $(@)
+ 	@echo "****************************************************************"
+ 	@echo " Finished."
+ 	@echo "****************************************************************"
 @@ -137,39 +136,35 @@
  # Set Elisp directories according to paths used in Red Hat RPMs
  # (which may or may not be official Emacs policy).  We generate
@@ -107,7 +111,7 @@
 -	for f in ${EXTRA_DIRS}; do cp -prf $$f/* ${ELISP}/$$f; done
 -	for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
 +	for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.el ${ELISP}/$$f; done
-+	for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_DATA} $$f ${ELISP}/$$f; done
++	for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_SCRIPT} $$f ${ELISP}/$$f; done
 +	for f in ${EXTRA_DIRS}; \
 +		do for g in `find -d $$f -type d`; \
 +		   do mkdir -p ${ELISP}/$$g; \
@@ -124,7 +128,7 @@
 -	for f in ${ELISP_DIRS}; do cp -pf $$f/*.elc ${ELISP}/$$f; done
 -	for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
 +	for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.elc ${ELISP}/$$f; done
-+	for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_DATA} $$f ${ELISP}/$$f; done
++	for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_SCRIPT} $$f ${ELISP}/$$f; done
  
  install-init:
  	mkdir -p ${ELISP_START}
Index: files/patch-isar-interface
===================================================================
RCS file: files/patch-isar-interface
diff -N files/patch-isar-interface
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ files/patch-isar-interface	29 Jul 2008 06:27:02 -0000
@@ -0,0 +1,11 @@
+--- isar/interface.orig	2008-07-29 13:22:58.000000000 +1000
++++ isar/interface	2008-07-29 13:25:10.000000000 +1000
+@@ -60,7 +60,7 @@
+ GEOMETRY=""
+ KEYWORDS=""
+ LOGIC="$ISABELLE_LOGIC"
+-PROGNAME="emacs"
++PROGNAME="%%EMACS_NAME%%"
+ INITFILE="true"
+ WINDOWSYSTEM="true"
+ XSYMBOL=""
--- proofgeneral-xemacs-3.7.1.patch ends here ---

>Release-Note:
>Audit-Trail:

From: Timothy Bourke <timbob@bigpond.com>
To: bug-followup@FreeBSD.org
Cc:  
Subject: Re: ports/126066: [MAINTAINER] math/proofgeneral-xemacs: 3.7.0 ->
	3.7.1
Date: Tue, 29 Jul 2008 17:00:46 +1000

 --huq684BweRXVnRxX
 Content-Type: text/plain; charset=us-ascii
 Content-Disposition: inline
 
 Sorry this entry should have been submitted as a maintainer update to
 math/proofgeneral.
 
 Please commit it with:
     ports/126067    (math/isabelle)
     ports/126068    (lang/polyml)
 
 
 --huq684BweRXVnRxX
 Content-Type: application/pgp-signature
 Content-Disposition: inline
 
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2.0.4 (FreeBSD)
 
 iD8DBQFIjsAetKVK1sFb0ecRAs0/AJ94RuG7/jd5kCAxiKCs1bJRmafydQCfYjID
 58e+Hh4Ai6YJ9bRl3hGvhQw=
 =0Ejp
 -----END PGP SIGNATURE-----
 
 --huq684BweRXVnRxX--
Responsible-Changed-From-To: freebsd-ports-bugs->anray 
Responsible-Changed-By: edwin 
Responsible-Changed-When: Tue Jul 29 07:15:19 UTC 2008 
Responsible-Changed-Why:  
anray@ wants this category PRs (via the GNATS Auto Assign Tool) 

http://www.freebsd.org/cgi/query-pr.cgi?pr=126066 

From: Timothy Bourke <timbob@bigpond.com>
To: bug-followup@FreeBSD.org
Cc:  
Subject: Re: ports/126066: [MAINTAINER] math/proofgeneral-xemacs: 3.7.0 ->
	3.7.1
Date: Tue, 29 Jul 2008 16:52:20 +1000

 --tKW2IUtsqtDRztdT
 Content-Type: text/plain; charset=us-ascii
 Content-Disposition: inline
 
 Sorry, this should have been a maintainer-change, with subject
 math/proofgeneral.
 
 Please commit it together with
     ports/126067 (math/isabelle)
     ports/126068 (lang/polyml)
 
 
 --tKW2IUtsqtDRztdT
 Content-Type: application/pgp-signature
 Content-Disposition: inline
 
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2.0.4 (FreeBSD)
 
 iD8DBQFIjr4ktKVK1sFb0ecRAlI6AJ9akucQocEL6EGvvuTJiRhX7n0I9wCfW5Me
 zHRIzYP32Kbd+HlSe402Es8=
 =YV6b
 -----END PGP SIGNATURE-----
 
 --tKW2IUtsqtDRztdT--
Responsible-Changed-From-To: anray->freebsd-ports-bugs 
Responsible-Changed-By: pav 
Responsible-Changed-When: Tue Jul 29 15:39:38 UTC 2008 
Responsible-Changed-Why:  
not really emacs thing 

http://www.freebsd.org/cgi/query-pr.cgi?pr=126066 
State-Changed-From-To: open->closed 
State-Changed-By: edwin 
State-Changed-When: Fri Aug 15 01:03:30 UTC 2008 
State-Changed-Why:  
Committed, thanks! 

http://www.freebsd.org/cgi/query-pr.cgi?pr=126066 

From: dfilter@FreeBSD.ORG (dfilter service)
To: bug-followup@FreeBSD.org
Cc:  
Subject: Re: ports/126066: commit references a PR
Date: Fri, 15 Aug 2008 01:03:31 +0000 (UTC)

 edwin       2008-08-15 01:03:23 UTC
 
   FreeBSD ports repository
 
   Modified files:
     math/proofgeneral    Makefile distinfo pkg-plist 
     math/proofgeneral/files patch-Makefile 
   Added files:
     math/proofgeneral/files patch-isar-interface 
   Log:
   [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
   
   PR:             ports/126066
   Submitted by:   Timothy Bourke <timbob@bigpond.com>
   
   Revision  Changes    Path
   1.21      +5 -4      ports/math/proofgeneral/Makefile
   1.7       +3 -3      ports/math/proofgeneral/distinfo
   1.7       +9 -5      ports/math/proofgeneral/files/patch-Makefile
   1.1       +11 -0     ports/math/proofgeneral/files/patch-isar-interface (new)
   1.10      +6 -0      ports/math/proofgeneral/pkg-plist
 _______________________________________________
 cvs-all@freebsd.org mailing list
 http://lists.freebsd.org/mailman/listinfo/cvs-all
 To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
 
>Unformatted:
