Date: Mon, 10 Sep 2007 12:11:10 +0000 (UTC) From: Edwin Groothuis <edwin@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/isabelle Makefile pkg-plist ports/math/isabelle/files Makefile patch-bin-Isabelle patch-bin-isabelle patch-bin-isabelle_interface patch-bin-isabelle_process patch-bin-isatool patch-build patch-lib-Tools-browser ... Message-ID: <200709101211.l8ACBA7w005611@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200709101211.l8ACBA7w005611>