diff options
author | Wouter Deconinck <wdconinc@gmail.com> | 2022-10-10 04:13:35 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-10 11:13:35 +0200 |
commit | 2a43571a68f9a976fad2aa46fdee69f6d99039aa (patch) | |
tree | 8ebe788f81590a8c68c34b573189491e2d12421a /.gitattributes | |
parent | 46239ea525e2f846775e2012cee306c2aaa9ee37 (diff) | |
download | spack-2a43571a68f9a976fad2aa46fdee69f6d99039aa.tar.gz spack-2a43571a68f9a976fad2aa46fdee69f6d99039aa.tar.bz2 spack-2a43571a68f9a976fad2aa46fdee69f6d99039aa.tar.xz spack-2a43571a68f9a976fad2aa46fdee69f6d99039aa.zip |
root: new variant webgui when +root7 (default True) (#33133)
ROOT has a webgui which is available with the `+root7` variant. This is a fairly large part of a ROOT install (275MB out of 732MB on my system) which is not necessarily useful in all use cases (e.g. inside containers on network-restricted HPC/HTC compute nodes). This new variant adds the option to retain the ROOT7 functionality but not necessarily include the `webgui` aspects.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions