[bug#28673] [PATCH 1/6] gnu: Add papi.

[Ludovic Courtès]

Dave Love <address@hidden> skribis:

> * gnu/packages/profiling.scm: New file.
> * gnu/local.mk: Add it.

Neat.  Applied with the following changes.

Thanks,
Ludo’.

diff --git a/gnu/packages/profiling.scm b/gnu/packages/profiling.scm
index cd678cfea..6d62aa260 100644
--- a/gnu/packages/profiling.scm
+++ b/gnu/packages/profiling.scm
@@ -79,7 +79,8 @@ stealtime lmsensors infiniband powercap"
            (lambda _
              (with-directory-excursion "src/components"
                (substitute* '("lmsensors/configure" 
"infiniband_umad/configure")
-                 (("/bin/sh") (which "sh"))))))
+                 (("/bin/sh") (which "sh"))))
+             #t))
          (add-after 'configure 'components
            (lambda*  (#:key inputs #:allow-other-keys)
              (with-directory-excursion "components"
@@ -95,16 +96,19 @@ stealtime lmsensors infiniband powercap"
                                      "/include/sensors")
                       (string-append "--with-sensors_libdir=" base 
"/lib")))))))))
          (add-after 'install 'extra-doc
-           (lambda _
-             (let ((doc (string-append (assoc-ref %outputs "out") 
"/share/doc")))
+           (lambda* (#:key outputs #:allow-other-keys)
+             (let ((doc (string-append (assoc-ref outputs "out")
+                                       "/share/doc")))
                (mkdir-p doc)
                (chdir "..")             ; we went into src above
                (for-each (lambda (file)
                            (install-file file doc))
-                         '("README" "RELEASENOTES.txt" "LICENSE.txt"))))))))
+                         '("README" "RELEASENOTES.txt" "LICENSE.txt"))
+               #t))))))
     (home-page "http://icl.cs.utk.edu/papi/";)
     (synopsis "Performance Application Programming Interface")
-    (description "PAPI provides the tool designer and application engineer 
with a consistent
+    (description
+     "PAPI provides the tool designer and application engineer with a 
consistent
 interface and methodology for use of the performance counter hardware found in
 most major microprocessors.  PAPI enables software engineers to see, in near
 real time, the relation between software performance and processor events.