Changeset 80861

Timestamp:

07/19/11 11:41:00 (4 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:

• trunk/dports/devel/gdb/Portfile (modified) (2 diffs)

trunk/dports/devel/gdb/Portfile

@@ -6 +6 @@
 name            gdb
 version         7.2
-revision        1
+revision        2
 categories      devel
 maintainers     dweber openmaintainer
@@ -61 +61 @@
     system "chmod g+s ${destroot}${prefix}/bin/ggdb*"
 
-    move ${destroot}${prefix}/share/info/standards.info ${destroot}${prefix}/share/info/gdb-standards.info
+    foreach info [glob -tails -directory ${destroot}${prefix}/share/info g*] {
+        move ${destroot}${prefix}/share/info/${info} ${destroot}${prefix}/share/info/g${info}
+    }
+    move ${destroot}${prefix}/share/info/standards.info ${destroot}${prefix}/share/info/ggdb-standards.info
 
     xinstall -m 755 -d ${destroot}${prefix}/libexec/gnubin