Opened 3 months ago

Last modified 3 months ago

#63749 new enhancement

RFE: gcc-devel @12-20211024: add a `+docs` variant (or sub-port)

Reported by: cooljeanius (Eric Gallager) Owned by:
Priority: Normal Milestone:
Component: ports Version: 2.7.1
Keywords: Cc:
Port: gcc-devel

Description

I recently made a commit to GCC allowing its dvi-formatted documentation to be installed: https://gcc.gnu.org/git/?p=gcc.git;a=commitdiff;h=c3e80a16af287e804b87b8015307085399755cd4

I would like to have MacPorts take advantage of this new Makefile target, as well as the other Makefile targets available for installing documentation (install-pdf and install-html). Thus, I propose a new +docs variant that would do this (either that, or a gcc-devel-docs sub-port). The changes required ought to be simple: just add build.target-append info html pdf dvi and destroot.target-append install-html install-pdf install-dvi lines to the variant (or sub-port). I am still investigating which additional dependencies this would drag in, but I'm assuming it'll be at least py-sphinx and various texlive ports (texinfo is already listed as a dependency). Note that it may be necessary for this upstream bug to be fixed first: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102824

Change History (1)

comment:1 in reply to:  description Changed 3 months ago by cooljeanius (Eric Gallager)

Replying to cooljeanius:

The changes required ought to be simple: just add build.target-append info html pdf dvi

OK, I take this back: it looks like the additional targets will have to be done in a post-build step rather than as part of the main build process...

Note: See TracTickets for help on using tickets.