gnu: Add papi.
* gnu/packages/profiling.scm: New file. * gnu/local.mk: Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
Dave Love
Ludovic Courtès
parent
65d98906b8
commit
6a3af24f06
2 changed files with 127 additions and 0 deletions
|
|
@ -326,6 +326,7 @@ GNU_SYSTEM_MODULES = \
|
||||||
%D%/packages/plotutils.scm \
|
%D%/packages/plotutils.scm \
|
||||||
%D%/packages/polkit.scm \
|
%D%/packages/polkit.scm \
|
||||||
%D%/packages/popt.scm \
|
%D%/packages/popt.scm \
|
||||||
|
%D%/packages/profiling.scm \
|
||||||
%D%/packages/pth.scm \
|
%D%/packages/pth.scm \
|
||||||
%D%/packages/pulseaudio.scm \
|
%D%/packages/pulseaudio.scm \
|
||||||
%D%/packages/pumpio.scm \
|
%D%/packages/pumpio.scm \
|
||||||
|
|
|
||||||
126
gnu/packages/profiling.scm
Normal file
126
gnu/packages/profiling.scm
Normal file
|
|
@ -0,0 +1,126 @@
|
||||||
|
;;; GNU Guix --- Functional package management for GNU
|
||||||
|
;;; Copyright © 2017 Dave Love <fx@gnu.org>
|
||||||
|
;;;
|
||||||
|
;;; This file is part of GNU Guix.
|
||||||
|
;;;
|
||||||
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
||||||
|
;;; under the terms of the GNU General Public License as published by
|
||||||
|
;;; the Free Software Foundation; either version 3 of the License, or (at
|
||||||
|
;;; your option) any later version.
|
||||||
|
;;;
|
||||||
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
||||||
|
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||||
|
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||||
|
;;; GNU General Public License for more details.
|
||||||
|
;;;
|
||||||
|
;;; You should have received a copy of the GNU General Public License
|
||||||
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
||||||
|
|
||||||
|
(define-module (gnu packages profiling)
|
||||||
|
#:use-module (guix packages)
|
||||||
|
#:use-module ((guix licenses) #:prefix license:) ; avoid zlib, expat clashes
|
||||||
|
#:use-module (guix download)
|
||||||
|
#:use-module (guix utils)
|
||||||
|
#:use-module (guix build-system gnu)
|
||||||
|
#:use-module (gnu packages)
|
||||||
|
#:use-module (gnu packages autotools)
|
||||||
|
#:use-module (gnu packages base) ;for "which"
|
||||||
|
#:use-module (gnu packages fabric-management)
|
||||||
|
#:use-module (gnu packages gcc)
|
||||||
|
#:use-module (gnu packages libunwind)
|
||||||
|
#:use-module (gnu packages linux)
|
||||||
|
#:use-module (gnu packages ncurses))
|
||||||
|
|
||||||
|
;; Fixme: Separate out lib and fix resulting cycle errors; separate libpfm
|
||||||
|
;; output(?); build libmsr and add that component.
|
||||||
|
(define-public papi
|
||||||
|
(package
|
||||||
|
(name "papi")
|
||||||
|
(version "5.5.1")
|
||||||
|
(source
|
||||||
|
(origin
|
||||||
|
(method url-fetch)
|
||||||
|
(uri (string-append "http://icl.utk.edu/projects/papi/downloads/papi-"
|
||||||
|
version ".tar.gz"))
|
||||||
|
(sha256 (base32 "1m62s8fkjjgq04ayf18jcxc33rqfd7nrkdw1gr54q5pn4cijrp29"))))
|
||||||
|
(build-system gnu-build-system)
|
||||||
|
(inputs
|
||||||
|
`(("ncurses" ,ncurses)
|
||||||
|
("lm-sensors" ,lm-sensors "lib")
|
||||||
|
("rdma-core" ,rdma-core)
|
||||||
|
("infiniband-diags" ,infiniband-diags "lib")
|
||||||
|
("net-tools" ,net-tools)))
|
||||||
|
(native-inputs
|
||||||
|
`(("autoconf" ,autoconf)
|
||||||
|
("gfortran" ,gfortran)))
|
||||||
|
(arguments
|
||||||
|
'(#: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
|
||||||
|
;; infiniband and infiniband_mad, but you can't use them together, and
|
||||||
|
;; the umad version needs at least one patch.
|
||||||
|
;; Implicit enabled components: perf_event perf_event_uncore
|
||||||
|
`("--with-perf-events" "--with-shared-lib=yes" "--with-shlib"
|
||||||
|
"--with-static-lib=no"
|
||||||
|
"--with-components=appio coretemp example lustre micpower net rapl \
|
||||||
|
stealtime lmsensors infiniband powercap"
|
||||||
|
;; So utils get rpath set correctly:
|
||||||
|
,(string-append "LDFLAGS=-Xlinker -rpath -Xlinker "
|
||||||
|
(assoc-ref %outputs "out") "/lib"))
|
||||||
|
#:phases
|
||||||
|
(modify-phases %standard-phases
|
||||||
|
(add-before 'configure 'autoconf
|
||||||
|
(lambda _
|
||||||
|
(chdir "src")
|
||||||
|
(zero? (system* "autoconf"))))
|
||||||
|
;; Amalgamating with the following clause gives double substitution.
|
||||||
|
(add-before 'patch-source-shebangs 'patch-components
|
||||||
|
(lambda _
|
||||||
|
(with-directory-excursion "src/components"
|
||||||
|
(substitute* '("lmsensors/configure" "infiniband_umad/configure")
|
||||||
|
(("/bin/sh") (which "sh"))))
|
||||||
|
#t))
|
||||||
|
(add-after 'configure 'components
|
||||||
|
(lambda* (#:key inputs #:allow-other-keys)
|
||||||
|
(with-directory-excursion "components"
|
||||||
|
(and
|
||||||
|
(with-directory-excursion "infiniband_umad"
|
||||||
|
(zero? (system* "./configure")))
|
||||||
|
(with-directory-excursion "lmsensors"
|
||||||
|
(let ((base (assoc-ref inputs "lm-sensors")))
|
||||||
|
(zero?
|
||||||
|
(system*
|
||||||
|
"./configure"
|
||||||
|
(string-append "--with-sensors_incdir=" base
|
||||||
|
"/include/sensors")
|
||||||
|
(string-append "--with-sensors_libdir=" base "/lib")))))))))
|
||||||
|
(add-after 'install 'extra-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"))
|
||||||
|
#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
|
||||||
|
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.
|
||||||
|
|
||||||
|
In addition, PAPI provides access to a collection of components that expose
|
||||||
|
performance measurement opportunites across the hardware and software stack.")
|
||||||
|
;; See Debian papi copyright file.
|
||||||
|
(license (list license:bsd-3
|
||||||
|
license:lgpl2.1+ ;src/components/infiniband/pscanf.h
|
||||||
|
;; not used in output
|
||||||
|
license:gpl2+ ;src/components/appio/tests/iozone/gengnuplot.sh
|
||||||
|
;src/libpfm-3.y/*/multiplex*
|
||||||
|
;; "BSD-like": src/libpfm-3.y/*, src/libpfm4/*
|
||||||
|
;; lgpl2.1+: src/perfctr-2.*/*
|
||||||
|
))))
|
||||||
Reference in a new issue