Ignore:
Timestamp:
Jul 19, 2011, 6:41:00 PM (6 years ago)
Author:
blair@…
Message:

gdb: following the convention of the other GNU ports, rename all the
gdb* info files to ggdb*, but don't do this to any of the other info
files it provides.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/devel/gdb/Portfile

    r80860 r80861  
    66name            gdb
    77version         7.2
    8 revision        1
     8revision        2
    99categories      devel
    1010maintainers     dweber openmaintainer
     
    6161    system "chmod g+s ${destroot}${prefix}/bin/ggdb*"
    6262
    63     move ${destroot}${prefix}/share/info/standards.info ${destroot}${prefix}/share/info/gdb-standards.info
     63    foreach info [glob -tails -directory ${destroot}${prefix}/share/info g*] {
     64        move ${destroot}${prefix}/share/info/${info} ${destroot}${prefix}/share/info/g${info}
     65    }
     66    move ${destroot}${prefix}/share/info/standards.info ${destroot}${prefix}/share/info/ggdb-standards.info
    6467
    6568    xinstall -m 755 -d ${destroot}${prefix}/libexec/gnubin
Note: See TracChangeset for help on using the changeset viewer.