Ticket #47875: Portfile-frescobaldi.diff

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

  • Portfile

    old new PortSystem 1.0 
    55PortGroup           python 1.0
    66PortGroup           github 1.0
    77
    8 github.setup        wbsoft frescobaldi 2.18 v
     8github.setup        wbsoft frescobaldi 2.18.1 v
    99conflicts           frescobaldi-devel
    1010categories          editors python
    1111maintainers         gmail.com:davide.liessi openmaintainer
    … … homepage http://www.frescobaldi.org/ 
    1818platforms           darwin
    1919license             GPL-2+
    2020
    21 checksums           rmd160  a67816c9ef71ebc2ee39c52c712abf7c1ae8d25e \
    22                     sha256  711c4fcb53a261fa1bac1a7ea7bacbda0cb236369fd3de30591334ef92defd92
     21checksums           rmd160  0cb60b3a6c127d2ac4b2d2b93bd5e8b7760ba9bc \
     22                    sha256  7a97c23a8e4c366d3c541efae20fc62cbc67d16102b07ecb33a3e00af6585993
    2323
    2424subport frescobaldi-devel {
    2525    conflicts           frescobaldi
    26     version             20150307
    27     set devel_version   2.18
     26    version             20150524
     27    set devel_version   2.18.1
    2828}
    2929
    3030depends_run-append  port:portmidi
    … … if {![variant_isset app]} { 
    4747    supported_archs     noarch
    4848}
    4949
    50 patchfiles          patch-setup.cfg.diff
    51 
    5250build {
    5351    if {[variant_isset app]} {
    5452        if {[info exists devel_version]} {