Bug 116046

Summary: Update port: math/isabelle
Product: Ports & Packages Reporter: Timothy Bourke <timbob>
Component: Individual Port(s)Assignee: freebsd-ports-bugs (Nobody) <ports-bugs>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
isabelle.diff none

Description Timothy Bourke 2007-09-03 12:20:01 UTC
Update to Isabelle port:
		* Works with updated sml-nj-devel port.
		* Does not require bash

		Thanks to Johannes 5 Joemann for helpful comments/patches.
Comment 1 Edwin Groothuis freebsd_committer freebsd_triage 2007-09-10 13:11:15 UTC
State Changed
From-To: open->closed

Committed, thanks!
Comment 2 dfilter service freebsd_committer freebsd_triage 2007-09-10 13:11:17 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@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@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"