New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #16438: isabelle-devel.diff

File isabelle-devel.diff, 1.0 KB (added by ryandesign@…, 6 years ago)
  • Portfile

     
    44 
    55name                    isabelle-devel 
    66version                 2008-08-27 
     7set my_version          [clock format [clock scan ${version}] -format %d-%b-%Y] 
    78categories              math lang ml 
    89platforms               darwin 
    910maintainers             mww 
     
    1819                        This version is a development snapshot of the upcoming 2008 release. 
    1920 
    2021homepage                http://isabelle.in.tum.de/ 
    21 master_sites            ${homepage}/devel/ 
    22 distname                Isabelle_27-Aug-2008 
     22master_sites            ${homepage}/devel/ \ 
     23                        http://distfiles.macports.org/${dist_subdir} 
     24distname                Isabelle_${my_version} 
    2325checksums               sha1 41ca5d96b59dc7d71b0ac1c72b5be0a56dd813c0 
    2426patchfiles              patch-etc-settings.diff 
    2527 
     
    4749 
    4850livecheck.check regex 
    4951livecheck.url   ${homepage}/devel/ 
    50 livecheck.version       ${distname} 
    51 livecheck.regex         (Isabelle_\[0-9\]+-\[a-zA-Z\]+-200\[7-9\]).tar.gz 
     52livecheck.version       ${my_version} 
     53livecheck.regex         (\[0-9\]+-\[a-zA-Z\]+-200\[7-9\])\\.tar\\.gz 
    5254