Date: Fri, 15 Aug 2008 04:33:05 +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 distinfo pkg-plist ports/math/isabelle/files patch-bin-Isabelle patch-bin-isabelle patch-bin-isabelle_interface patch-bin-isabelle_process patch-bin-isatool patch-build patch-etc-settings patch-lib-Tools-browser ... Message-ID: <200808150433.m7F4X5s5007833@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200808150433.m7F4X5s5007833>