[MacPorts] #15049: RFE: install manuals and info pages of gcc43

MacPorts trac at macosforge.org
Fri Apr 18 00:29:18 PDT 2008

#15049: RFE: install manuals and info pages of gcc43
 Reporter:  jochen at macports.org                       |       Owner:  mww at macports.org 
     Type:  defect                                    |      Status:  new              
 Priority:  Normal                                    |   Milestone:  Port Enhancements
Component:  ports                                     |     Version:  1.6.0            
 Keywords:  gcc documentation info manual gcc_select  |  
 Again, I believe that manuals are an integral part of software. Therefore,
 gcc43 should install them instead of deleting them.

 Due to the conflict issues I propose to move them to a specific position,
 like this (untested due to missing computing resources, but it shows the
 Index: Portfile
 --- Portfile    (revision 36111)
 +++ Portfile    (working copy)
 @@ -72,13 +72,15 @@
  # install-info # errors on objc-info files

  post-destroot {
 -       file delete -force ${destroot}${prefix}/share/man/man7 \
 -               ${destroot}${prefix}/share/info
 +        # move manuals to gcc43-specific directory
 +       xinstall -m 755 -d ${destroot}${prefix}/share/gcc43/man/man7
 +       xinstall -m 755 -d ${destroot}${prefix}/share/gcc43/info
 +        file copy ${destroot}${prefix}/share/man/man7/*
 +        file copy ${destroot}${prefix}/share/info/*
         # install/copy ffitarget.h only if we have it
         if {![catch {set ffitarget.h [glob
 result]} {
                 file copy ${ffitarget.h}
         # install select file for gcc_select
         xinstall -m 755 -d ${destroot}${prefix}/etc/select/gcc
         xinstall -m 444 ${filespath}/mp-gcc43

 It would be great if then gcc_select could provide the appropriate
 (selected) set in the standard place.

Ticket URL: <http://trac.macosforge.org/projects/macports/ticket/15049>
MacPorts </projects/macports>
Ports system for Mac OS

More information about the macports-tickets mailing list