Ticket #37344: Portfile.diff

File Portfile.diff, 811 bytes (added by someuser12, 11 years ago)

Proposal of a patch to the Portfile

  • Portfile

    old new  
    5050    default_variants +wxwidgets_devel
    5151}
    5252
     53if {[catch {registry_active wxwidgets30}] == 0} {
     54    default_variants +wxwidgets30
     55}
     56
    5357destroot {
    5458    xinstall -m 755 -d ${destroot}${applications_dir}
    5559    file copy ${worksrcpath}/wxMaxima.app ${destroot}${applications_dir}
     
    6872    depends_lib-append  port:wxWidgets-devel
    6973    supported_archs     i386 x86_64
    7074}
     75
     76variant wxwidgets30 description {Build against wxWidgets30 rather than wxWidgets} {
     77    # if the user has installed wxWidgets30, force using that
     78    # (from gobject-introspection)
     79    depends_lib-delete  port:wxWidgets
     80    depends_lib-append  port:wxWidgets30
     81    supported_archs     i386 x86_64
     82}