New Ticket     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #20531: Portfile.diff

File Portfile.diff, 0.5 KB (added by mail@…, 3 years ago)

Changed Portfile for pthsem

  • Portfile

    old new  
    55 
    66name                pthsem 
    77version             2.0.7 
     8revision            1 
    89categories          devel 
    910platforms           darwin 
    1011 
     
    2829                    port:libtool \ 
    2930                    port:git-core 
    3031 
    31 configure.args      --enable-optimize --enable-pthread --mandir=${prefix}/share/man 
     32configure.args      --enable-optimize --mandir=${prefix}/share/man 
    3233 
    3334test.run            yes 
    3435