ports/126067: commit references a PR

[dfilter service]

The following reply was made to PR ports/126067; it has been noted by GNATS.

From: dfilter at FreeBSD.ORG (dfilter service)
To: bug-followup at 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 <timbob at bigpond.com>
   
   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 at freebsd.org mailing list
 http://lists.freebsd.org/mailman/listinfo/cvs-all
 To unsubscribe, send any mail to "cvs-all-unsubscribe at freebsd.org"