Ticket #16438: isabelle-devel.diff

File isabelle-devel.diff, 1.0 KB (added by ryandesign (Ryan Carsten Schmidt), 16 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