Ticket #22705: Portfile.diff

File Portfile.diff, 528 bytes (added by mail@…, 15 years ago)

Changing configure options

  • 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