diff options
author | brietzke <brietzke@users.noreply.github.com> | 2019-04-11 01:34:38 +0200 |
---|---|---|
committer | Peter Scheibel <scheibel1@llnl.gov> | 2019-04-10 16:34:38 -0700 |
commit | d0e281e2013702b59a1826173d5350447c7ca048 (patch) | |
tree | d1d6d979c21a732507043991d896eaa3124b3409 /var | |
parent | 7ec12c59ab7126b27cc0ae61fe52253b190faed9 (diff) | |
download | spack-d0e281e2013702b59a1826173d5350447c7ca048.tar.gz spack-d0e281e2013702b59a1826173d5350447c7ca048.tar.bz2 spack-d0e281e2013702b59a1826173d5350447c7ca048.tar.xz spack-d0e281e2013702b59a1826173d5350447c7ca048.zip |
libxsmm package: add variant to build generator executables (#11114)
Diffstat (limited to 'var')
-rw-r--r-- | var/spack/repos/builtin/packages/libxsmm/package.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/var/spack/repos/builtin/packages/libxsmm/package.py b/var/spack/repos/builtin/packages/libxsmm/package.py index aedd5edc85..e4a23c67e5 100644 --- a/var/spack/repos/builtin/packages/libxsmm/package.py +++ b/var/spack/repos/builtin/packages/libxsmm/package.py @@ -46,6 +46,8 @@ class Libxsmm(MakefilePackage): description='Unoptimized with call-trace (LIBXSMM_TRACE).') variant('header-only', default=False, description='Produce header-only installation') + variant('generator', default=False, + description='build generator executables') conflicts('+header-only', when='@:1.6.2', msg='Header-only is available since v1.6.2!') @@ -88,6 +90,10 @@ class Libxsmm(MakefilePackage): make(*make_args) + if '+generator' in spec: + make_args += ['generator'] + make(*make_args) + def install(self, spec, prefix): install_tree('include', prefix.include) @@ -101,6 +107,10 @@ class Libxsmm(MakefilePackage): install_tree('src', prefix.src) else: install_tree('lib', prefix.lib) + + if '+generator' in spec: + install_tree('bin', prefix.bin) + mkdirp(prefix.doc) for doc_file in glob(join_path('documentation', '*.md')): install(doc_file, prefix.doc) |