Ticket #46388: Portfile-frescobaldi.diff

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

  • Portfile

    old new  
    66PortGroup           github 1.0
    77
    88github.setup        wbsoft frescobaldi 2.17.1 v
     9revision            1
    910conflicts           frescobaldi-devel
    1011categories          editors python
    1112maintainers         gmail.com:davide.liessi openmaintainer
    … …  
    4344    supported_archs     noarch
    4445}
    4546
     47patchfiles          patch-macosx-mac-app.py.diff
     48
    4649build {
    4750    if {[variant_isset app]} {
    4851        if {[info exists devel_version]} {