From f7c870f78afa5cdb27726ad9b0db931bbd87ca65 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Sun, 4 Mar 2018 17:28:37 +0100 Subject: gnu: papi: Fix documentation location. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/profiling.scm (papi)[arguments]: Install ‘documentation’ to a customary subdirectory of /share/doc. --- gnu/packages/profiling.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gnu') diff --git a/gnu/packages/profiling.scm b/gnu/packages/profiling.scm index 35f9d3884f..e70269e9a1 100644 --- a/gnu/packages/profiling.scm +++ b/gnu/packages/profiling.scm @@ -66,7 +66,7 @@ (define-public papi `(("autoconf" ,autoconf) ("gfortran" ,gfortran))) (arguments - '(#:tests? #f ; no check target + `(#:tests? #f ; no check target #:configure-flags ;; These are roughly per Fedora, but elide mx (assumed to be dead, even ;; Open-MX) and add and powercap -- I don't know the pros/cons of @@ -110,7 +110,7 @@ (define-public papi (add-after 'install 'extra-doc (lambda* (#:key outputs #:allow-other-keys) (let ((doc (string-append (assoc-ref outputs "out") - "/share/doc"))) + "/share/doc/" ,name "-" ,version))) (chdir "..") ; we went into src above (for-each (lambda (file) (install-file file doc)) -- cgit v1.2.3