You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, a command like make document install will run document on every package, and then run install for every package. What it should do is document and install one package, then document and install the next package, etc.
Context
This should resolve some of the dependency issues we're currently encountering with package installations.
Possible Implementation
One option is to merge the document and install features into a single command that is modulated instead by environment variables. For instance, the default command could be something like make build that would document and install each package, and the equivalent to make document could be something like NODOC=true make build.
The text was updated successfully, but these errors were encountered:
Description
Currently, a command like
make document install
will rundocument
on every package, and then runinstall
for every package. What it should do isdocument
andinstall
one package, thendocument
andinstall
the next package, etc.Context
This should resolve some of the dependency issues we're currently encountering with package installations.
Possible Implementation
One option is to merge the
document
andinstall
features into a single command that is modulated instead by environment variables. For instance, the default command could be something likemake build
that would document and install each package, and the equivalent tomake document
could be something likeNODOC=true make build
.The text was updated successfully, but these errors were encountered: