Ticket #15049 (closed defect: fixed)
RFE: install manuals and info pages of gcc43
| Reported by: | jochen@… | Owned by: | mww@… |
|---|---|---|---|
| Priority: | High | Milestone: | Port Enhancements |
| Component: | ports | Version: | 1.6.0 |
| Keywords: | gcc documentation info manual gcc_select | Cc: | |
| Port: |
Description
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.
Change History
Note: See
TracTickets for help on using
tickets.

