ports/116046: commit references a PR
dfilter service
dfilter at FreeBSD.ORG
Mon Sep 10 12:20:07 UTC 2007
The following reply was made to PR ports/116046; it has been noted by GNATS.
From: dfilter at FreeBSD.ORG (dfilter service)
To: bug-followup at FreeBSD.org
Cc:
Subject: Re: ports/116046: commit references a PR
Date: Mon, 10 Sep 2007 12:11:17 +0000 (UTC)
edwin 2007-09-10 12:11:10 UTC
FreeBSD ports repository
Modified files:
math/isabelle Makefile pkg-plist
math/isabelle/files Makefile run-polyml-5.0
Added 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-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-latex
patch-lib-Tools-logo patch-lib-Tools-make
patch-lib-Tools-makeall
patch-lib-Tools-mkdir
patch-lib-Tools-print
patch-lib-Tools-unsymbolize
patch-lib-Tools-usedir
patch-lib-Tools-version
patch-lib-scripts-feeder
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_smlnj
patch-lib-scripts-showtime
patch-src-Pure-mk
Log:
Update port: math/isabelle
Update to Isabelle port:
* Works with updated sml-nj-devel port.
* Does not require bash
Thanks to Johannes 5 Joemann for helpful comments/patches.
PR: ports/116046
Submitted by: Timothy Bourke <timbob at bigpond.com>
Revision Changes Path
1.6 +6 -5 ports/math/isabelle/Makefile
1.3 +2 -2 ports/math/isabelle/files/Makefile
1.1 +8 -0 ports/math/isabelle/files/patch-bin-Isabelle (new)
1.1 +8 -0 ports/math/isabelle/files/patch-bin-isabelle (new)
1.1 +23 -0 ports/math/isabelle/files/patch-bin-isabelle_interface (new)
1.1 +32 -0 ports/math/isabelle/files/patch-bin-isabelle_process (new)
1.1 +32 -0 ports/math/isabelle/files/patch-bin-isatool (new)
1.1 +41 -0 ports/math/isabelle/files/patch-build (new)
1.1 +26 -0 ports/math/isabelle/files/patch-lib-Tools-browser (new)
1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-convert (new)
1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-dimacs2hol (new)
1.1 +26 -0 ports/math/isabelle/files/patch-lib-Tools-display (new)
1.3 +26 -0 ports/math/isabelle/files/patch-lib-Tools-doc (new)
1.1 +44 -0 ports/math/isabelle/files/patch-lib-Tools-document (new)
1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-expandshort (new)
1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-findlogics (new)
1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-fixcpure (new)
1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-fixgreek (new)
1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-fixheaders (new)
1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-fixsome (new)
1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-getenv (new)
1.1 +54 -0 ports/math/isabelle/files/patch-lib-Tools-install (new)
1.1 +65 -0 ports/math/isabelle/files/patch-lib-Tools-latex (new)
1.1 +26 -0 ports/math/isabelle/files/patch-lib-Tools-logo (new)
1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-make (new)
1.1 +28 -0 ports/math/isabelle/files/patch-lib-Tools-makeall (new)
1.1 +26 -0 ports/math/isabelle/files/patch-lib-Tools-mkdir (new)
1.1 +26 -0 ports/math/isabelle/files/patch-lib-Tools-print (new)
1.1 +17 -0 ports/math/isabelle/files/patch-lib-Tools-unsymbolize (new)
1.1 +57 -0 ports/math/isabelle/files/patch-lib-Tools-usedir (new)
1.1 +8 -0 ports/math/isabelle/files/patch-lib-Tools-version (new)
1.1 +26 -0 ports/math/isabelle/files/patch-lib-scripts-feeder (new)
1.1 +39 -0 ports/math/isabelle/files/patch-lib-scripts-getsettings (new)
1.1 +37 -0 ports/math/isabelle/files/patch-lib-scripts-patch_scripts.bash (new)
1.1 +8 -0 ports/math/isabelle/files/patch-lib-scripts-polyml_platform (new)
1.1 +8 -0 ports/math/isabelle/files/patch-lib-scripts-polyml_version (new)
1.1 +35 -0 ports/math/isabelle/files/patch-lib-scripts-run_mosml (new)
1.1 +57 -0 ports/math/isabelle/files/patch-lib-scripts-run_polyml (new)
1.1 +68 -0 ports/math/isabelle/files/patch-lib-scripts-run_smlnj (new)
1.1 +26 -0 ports/math/isabelle/files/patch-lib-scripts-showtime (new)
1.1 +35 -0 ports/math/isabelle/files/patch-src-Pure-mk (new)
1.2 +13 -6 ports/math/isabelle/files/run-polyml-5.0
1.5 +0 -1 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"
More information about the freebsd-ports-bugs
mailing list