Date: Fri, 15 Aug 2008 04:40:03 GMT From: dfilter@FreeBSD.ORG (dfilter service) To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/126067: commit references a PR Message-ID: <200808150440.m7F4e3Qx005187@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
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 <timbob@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@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200808150440.m7F4e3Qx005187>