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-all mailing list