Date: Mon, 5 Mar 2007 20:16:03 +1100 (EST) From: Timothy Bourke <timbob@bigpond.com> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/109930: Update port: math/proofgeneral minor bugfix Message-ID: <200703050916.l259G3pa012217@triptrop.cse.unsw.edu.au> Resent-Message-ID: <200703051620.l25GK9U0062683@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 109930 >Category: ports >Synopsis: Update port: math/proofgeneral minor bugfix >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: maintainer-update >Submitter-Id: current-users >Arrival-Date: Mon Mar 05 16:20:08 GMT 2007 >Closed-Date: >Last-Modified: >Originator: Timothy Bourke >Release: FreeBSD 6.1-RELEASE-p6 i386 (uname -s -r -m) >Organization: n/a >Environment: >Description: The port does not deinstall cleanly because of an error in the Makefile patch. This is detected by the pointyhat. >How-To-Repeat: >Fix: --- proofgeneral.diff begins here --- Index: Makefile =================================================================== RCS file: /home/ncvs/ports/math/proofgeneral/Makefile,v retrieving revision 1.12 diff -u -r1.12 Makefile --- Makefile 27 Feb 2007 04:54:19 -0000 1.12 +++ Makefile 5 Mar 2007 09:09:11 -0000 @@ -2,7 +2,7 @@ # Date created: 11 August 2005 # Whom: Timothy Bourke <timbob@bigpond.com> # -# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.12 2007/02/27 04:54:19 kris Exp $ +# $FreeBSD$ # PORTNAME= proofgeneral @@ -20,8 +20,6 @@ BUILD_DEPENDS+= bash:${PORTSDIR}/shells/bash RUN_DEPENDS+= ${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme -BROKEN= Incomplete pkg-plist - # # Unless EMACS_PORT_NAME is overriden by the user, # use any installed version of [X]Emacs. Index: files/patch-Makefile =================================================================== RCS file: /home/ncvs/ports/math/proofgeneral/files/patch-Makefile,v retrieving revision 1.3 diff -u -r1.3 patch-Makefile --- files/patch-Makefile 6 Feb 2007 22:55:25 -0000 1.3 +++ files/patch-Makefile 5 Mar 2007 09:09:12 -0000 @@ -1,5 +1,5 @@ --- Makefile.orig Sat Sep 23 05:26:01 2006 -+++ Makefile Tue Jan 2 10:42:43 2007 ++++ Makefile Mon Mar 5 19:53:43 2007 @@ -15,7 +15,7 @@ # Set this to "emacs" or "xemacs" according to your version of Emacs. @@ -85,8 +85,9 @@ + fi + # backwards compatibility with old linuxes - mkdir -p ${DESKTOP}/application-registry +- mkdir -p ${DESKTOP}/application-registry - cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry ++ mkdir -p ${DESKTOP}/gnome/application-registry + cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/gnome/application-registry # NB: .el files are not strictly necessary, but we package/install them --- proofgeneral.diff ends here --- >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200703050916.l259G3pa012217>