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 ...
Edwin Groothuis
edwin at FreeBSD.org
Fri Aug 15 04:33:05 UTC 2008
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
More information about the cvs-ports
mailing list