Ticket #44474: Portfile-frescobaldi.diff

File Portfile-frescobaldi.diff, 1.7 KB (added by dliessi (Davide Liessi), 10 years ago)

  • Portfile

    old new  
    2323                    sha256  2f7fb0f37151e2896b63c8c785aa3b5911d10c735d492e5fb95aae7c9cced64b
    2424
    2525subport frescobaldi-devel {
    26     # github.setup also sets 'name frescobaldi', overriding the subport name.
    27     # With 'name ${subport}', `port lint frescobaldi-devel` gives the following error:
    28     # 'Error: Portfile directory frescobaldi does not match port name frescobaldi-devel'.
    29     # With 'set PortInfo(name) ${subport}' (see the definition of 'proc subport' in
    30     # portutil.tcl) the Portfile works correctly and the error disappears.
    31     global PortInfo
    32     set PortInfo(name) ${subport}
    33 
     26    github.setup        wbsoft frescobaldi 339e16ef37443a39fd693040ac6d1873eccf7b74
    3427    conflicts           frescobaldi
    35     version             20140609
    36     set dev_version     2.0.16
     28    version             20140727
     29    revision            0
     30    set devel_version   2.17-dev
     31
     32    checksums           rmd160  d440fbb150f571c841a2aa90ec0ffc582e19cb55 \
     33                        sha256  081ed127bb95d3524bf2d9fe3539a1b0347b2167fbb9652e06402d4eb52820c7
    3734}
    3835
    3936depends_run-append  port:portmidi
    … …  
    6865
    6966build {
    7067    if {[variant_isset app]} {
    71         if {${name} eq ${subport}} {
    72             set bundle_version    ${version}
     68        if {[info exists devel_version]} {
     69            set bundle_version    ${devel_version}-${version}
    7370        } else {
    74             set bundle_version    ${dev_version}-dev-${version}
     71            set bundle_version    ${version}
    7572        }
    7673
    7774        system -W ${worksrcpath} "${prefix}/bin/python${python.branch} \