#15049: RFE: install manuals and info pages of gcc43 ------------------------------------------------------+--------------------- Reporter: jochen@macports.org | Owner: mww@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 idea): {{{ 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/* ${destroot}${prefix}/share/gcc43/man/man7 + file copy ${destroot}${prefix}/share/info/* ${destroot}${prefix}/share/gcc43/info # install/copy ffitarget.h only if we have it if {![catch {set ffitarget.h [glob ${destroot}${prefix}/lib/${name}/gcc/*/${version}/include/ffitarget.h]} result]} { file copy ${ffitarget.h} ${destroot}${prefix}/include/${name}/ } - # install select file for gcc_select xinstall -m 755 -d ${destroot}${prefix}/etc/select/gcc xinstall -m 444 ${filespath}/mp-gcc43 ${destroot}${prefix}/etc/select/gcc/ }}} 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