From owner-freebsd-ports-bugs@FreeBSD.ORG Fri Aug 15 04:40:03 2008 Return-Path: Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 7DCC0106567C for ; Fri, 15 Aug 2008 04:40:03 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2001:4f8:fff6::28]) by mx1.freebsd.org (Postfix) with ESMTP id 627DE8FC16 for ; Fri, 15 Aug 2008 04:40:03 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.14.2/8.14.2) with ESMTP id m7F4e3we005188 for ; Fri, 15 Aug 2008 04:40:03 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.14.2/8.14.1/Submit) id m7F4e3Qx005187; Fri, 15 Aug 2008 04:40:03 GMT (envelope-from gnats) Date: Fri, 15 Aug 2008 04:40:03 GMT Message-Id: <200808150440.m7F4e3Qx005187@freefall.freebsd.org> To: freebsd-ports-bugs@FreeBSD.org From: dfilter@FreeBSD.ORG (dfilter service) Cc: Subject: Re: ports/126067: commit references a PR X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: dfilter service List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 15 Aug 2008 04:40:03 -0000 The following reply was made to PR ports/126067; it has been noted by GNATS. From: dfilter@FreeBSD.ORG (dfilter service) To: bug-followup@FreeBSD.org Cc: Subject: Re: ports/126067: commit references a PR Date: Fri, 15 Aug 2008 04:33:13 +0000 (UTC) edwin 2008-08-15 04:33:05 UTC FreeBSD ports repository Modified files: math/isabelle Makefile distinfo pkg-plist math/isabelle/files patch-etc-settings patch-lib-scripts-run_smlnj Removed files: math/isabelle/files patch-bin-Isabelle patch-bin-isabelle patch-bin-isabelle_interface patch-bin-isabelle_process patch-bin-isatool patch-build patch-lib-Tools-browser patch-lib-Tools-codegen patch-lib-Tools-convert patch-lib-Tools-dimacs2hol patch-lib-Tools-display patch-lib-Tools-doc patch-lib-Tools-document patch-lib-Tools-expandshort patch-lib-Tools-findlogics patch-lib-Tools-fixcpure patch-lib-Tools-fixgreek patch-lib-Tools-fixheaders patch-lib-Tools-fixsome patch-lib-Tools-getenv patch-lib-Tools-install patch-lib-Tools-keywords patch-lib-Tools-latex patch-lib-Tools-logo patch-lib-Tools-make patch-lib-Tools-makeall patch-lib-Tools-mkdir patch-lib-Tools-mkproject patch-lib-Tools-print patch-lib-Tools-unsymbolize patch-lib-Tools-usedir patch-lib-Tools-version patch-lib-scripts-configure patch-lib-scripts-feeder patch-lib-scripts-fileindent patch-lib-scripts-getsettings patch-lib-scripts-patch_scripts.bash patch-lib-scripts-polyml_platform patch-lib-scripts-polyml_version patch-lib-scripts-run_mosml patch-lib-scripts-run_polyml patch-lib-scripts-run_polyml_5.0 patch-lib-scripts-run_polyml_5.1 patch-lib-scripts-run_poplogml patch-lib-scripts-timestart.bash patch-lib-scripts-timestop.bash patch-src-Pure-mk Log: [MAINTAINER] math/isabelle: update from 2007 to 2008 Updates the port to the latest Isabelle release. It does not seem worth the effort to continually patch the bash script files to make them work under sh, hence the large number of removed files. PR: ports/126067 Submitted by: Timothy Bourke Revision Changes Path 1.10 +111 -12 ports/math/isabelle/Makefile 1.5 +9 -9 ports/math/isabelle/distinfo 1.2 +0 -8 ports/math/isabelle/files/patch-bin-Isabelle (dead) 1.2 +0 -8 ports/math/isabelle/files/patch-bin-isabelle (dead) 1.2 +0 -23 ports/math/isabelle/files/patch-bin-isabelle_interface (dead) 1.3 +0 -32 ports/math/isabelle/files/patch-bin-isabelle_process (dead) 1.2 +0 -32 ports/math/isabelle/files/patch-bin-isatool (dead) 1.3 +0 -32 ports/math/isabelle/files/patch-build (dead) 1.5 +32 -17 ports/math/isabelle/files/patch-etc-settings 1.3 +0 -26 ports/math/isabelle/files/patch-lib-Tools-browser (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-codegen (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-convert (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-dimacs2hol (dead) 1.3 +0 -26 ports/math/isabelle/files/patch-lib-Tools-display (dead) 1.4 +0 -26 ports/math/isabelle/files/patch-lib-Tools-doc (dead) 1.2 +0 -44 ports/math/isabelle/files/patch-lib-Tools-document (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-expandshort (dead) 1.3 +0 -17 ports/math/isabelle/files/patch-lib-Tools-findlogics (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-fixcpure (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-fixgreek (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-fixheaders (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-fixsome (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-getenv (dead) 1.2 +0 -54 ports/math/isabelle/files/patch-lib-Tools-install (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-keywords (dead) 1.2 +0 -65 ports/math/isabelle/files/patch-lib-Tools-latex (dead) 1.2 +0 -26 ports/math/isabelle/files/patch-lib-Tools-logo (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-make (dead) 1.3 +0 -26 ports/math/isabelle/files/patch-lib-Tools-makeall (dead) 1.3 +0 -26 ports/math/isabelle/files/patch-lib-Tools-mkdir (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-mkproject (dead) 1.2 +0 -26 ports/math/isabelle/files/patch-lib-Tools-print (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-unsymbolize (dead) 1.3 +0 -48 ports/math/isabelle/files/patch-lib-Tools-usedir (dead) 1.3 +0 -8 ports/math/isabelle/files/patch-lib-Tools-version (dead) 1.2 +0 -15 ports/math/isabelle/files/patch-lib-scripts-configure (dead) 1.2 +0 -26 ports/math/isabelle/files/patch-lib-scripts-feeder (dead) 1.2 +0 -8 ports/math/isabelle/files/patch-lib-scripts-fileindent (dead) 1.3 +0 -30 ports/math/isabelle/files/patch-lib-scripts-getsettings (dead) 1.2 +0 -37 ports/math/isabelle/files/patch-lib-scripts-patch_scripts.bash (dead) 1.3 +0 -8 ports/math/isabelle/files/patch-lib-scripts-polyml_platform (dead) 1.3 +0 -8 ports/math/isabelle/files/patch-lib-scripts-polyml_version (dead) 1.2 +0 -35 ports/math/isabelle/files/patch-lib-scripts-run_mosml (dead) 1.3 +0 -45 ports/math/isabelle/files/patch-lib-scripts-run_polyml (dead) 1.2 +0 -50 ports/math/isabelle/files/patch-lib-scripts-run_polyml_5.0 (dead) 1.2 +0 -50 ports/math/isabelle/files/patch-lib-scripts-run_polyml_5.1 (dead) 1.2 +0 -59 ports/math/isabelle/files/patch-lib-scripts-run_poplogml (dead) 1.3 +6 -54 ports/math/isabelle/files/patch-lib-scripts-run_smlnj 1.2 +0 -16 ports/math/isabelle/files/patch-lib-scripts-timestart.bash (dead) 1.2 +0 -44 ports/math/isabelle/files/patch-lib-scripts-timestop.bash (dead) 1.3 +0 -26 ports/math/isabelle/files/patch-src-Pure-mk (dead) 1.7 +163 -331 ports/math/isabelle/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"