From owner-freebsd-ports-bugs@FreeBSD.ORG Mon Mar 5 16:20:10 2007 Return-Path: X-Original-To: freebsd-ports-bugs@hub.freebsd.org Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id 4BF2616A400 for ; Mon, 5 Mar 2007 16:20:10 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [69.147.83.40]) by mx1.freebsd.org (Postfix) with ESMTP id 737C813C4AA for ; Mon, 5 Mar 2007 16:20:09 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.4/8.13.4) with ESMTP id l25GK9se062688 for ; Mon, 5 Mar 2007 16:20:09 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.4/8.13.4/Submit) id l25GK9U0062683; Mon, 5 Mar 2007 16:20:09 GMT (envelope-from gnats) Resent-Date: Mon, 5 Mar 2007 16:20:09 GMT Resent-Message-Id: <200703051620.l25GK9U0062683@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Timothy Bourke Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id 3944016A404 for ; Mon, 5 Mar 2007 16:16:55 +0000 (UTC) (envelope-from tbourke@triptrop.cse.unsw.edu.au) Received: from fallbackmx03.syd.optusnet.com.au (fallbackmx03.syd.optusnet.com.au [211.29.133.136]) by mx1.freebsd.org (Postfix) with ESMTP id C4E5113C478 for ; Mon, 5 Mar 2007 16:16:54 +0000 (UTC) (envelope-from tbourke@triptrop.cse.unsw.edu.au) Received: from mail11.syd.optusnet.com.au (mail11.syd.optusnet.com.au [211.29.132.192]) by fallbackmx03.syd.optusnet.com.au (8.12.11.20060308/8.12.11) with ESMTP id l259HdOj017184 for ; Mon, 5 Mar 2007 20:17:39 +1100 Received: from triptrop.cse.unsw.edu.au (blaax9-b241.dialup.optusnet.com.au [203.164.127.241]) by mail11.syd.optusnet.com.au (8.13.1/8.13.1) with ESMTP id l259HX2i024386 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 5 Mar 2007 20:17:35 +1100 Received: from triptrop.cse.unsw.edu.au (localhost [127.0.0.1]) by triptrop.cse.unsw.edu.au (8.13.8/8.13.6) with ESMTP id l259G3sv012218 for ; Mon, 5 Mar 2007 20:16:04 +1100 (EST) (envelope-from tbourke@triptrop.cse.unsw.edu.au) Received: (from tbourke@localhost) by triptrop.cse.unsw.edu.au (8.13.8/8.13.6/Submit) id l259G3pa012217; Mon, 5 Mar 2007 20:16:03 +1100 (EST) (envelope-from tbourke) Message-Id: <200703050916.l259G3pa012217@triptrop.cse.unsw.edu.au> Date: Mon, 5 Mar 2007 20:16:03 +1100 (EST) From: Timothy Bourke To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Cc: Subject: ports/109930: Update port: math/proofgeneral minor bugfix X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: Timothy Bourke List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 05 Mar 2007 16:20:10 -0000 >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 # -# $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: