update Rust easyblock to disable installations of docs via --disable-docs configure option#3768
Conversation
|
Test report by @Micket Overview of tested easyconfigs (in order)
Build succeeded for 1 out of 1 (1 easyconfigs in total) |
|
Test report by @Micket Overview of tested easyconfigs (in order)
Build succeeded for 1 out of 1 (1 easyconfigs in total) |
|
Test report by @Micket Overview of tested easyconfigs (in order)
Build succeeded for 1 out of 1 (1 easyconfigs in total) |
--disable-docs configure option
|
@boegelbot please test @ jsc-zen3 |
|
@boegel: Request for testing this PR well received on jsczen3l1.int.jsc-zen3.fz-juelich.de PR test command '
Test results coming soon (I hope)... Details- notification for comment with ID 3033380193 processed Message to humans: this is just bookkeeping information for me, |
|
Test report by @boegelbot Overview of tested easyconfigs (in order)
Build succeeded for 1 out of 1 (1 easyconfigs in total) |
(created using
eb --new-pr)I intentionally didn't even make this an option. Just drop them, since noone had ever read these html pages hidden away inside a share dir on an HPC cluster; everyone always uses their browser and look them up online.
Saves about 700MB out of the 1.6GB installs for each Rust.