+
+(define-public perf
+ (package
+ (name "perf")
+ (version (package-version linux-libre))
+ (source (package-source linux-libre))
+ (build-system gnu-build-system)
+ (arguments
+ '(#:phases (alist-replace
+ 'configure
+ (lambda* (#:key inputs #:allow-other-keys)
+ (setenv "SHELL_PATH" (which "bash"))
+ (chdir "tools/perf"))
+ %standard-phases)
+ #:make-flags (list (string-append "DESTDIR="
+ (assoc-ref %outputs "out"))
+ "WERROR=0")
+ #:tests? #f)) ;no tests
+ (native-inputs
+ `(("pkg-config" ,pkg-config)
+ ("bison" ,bison)
+ ("flex" ,flex)
+
+ ;; There are build scripts written in these languages.
+ ("perl" ,perl)
+ ("python" ,python-2)))
+ (inputs
+ `(;; ("slang" ,slang)
+ ;; ("newt" ,newt)
+ ("elfutils" ,elfutils)
+
+ ;; FIXME: Documentation.
+ ;; ("libxslt" ,libxslt)
+ ;; ("docbook-xml" ,docbook-xml)
+ ;; ("docbook-xsl" ,docbook-xsl)
+ ;; ("xmlto" ,xmlto)
+ ;; ("asciidoc" ,asciidoc)
+ ))
+ (home-page "https://perf.wiki.kernel.org/")
+ (synopsis "Linux profiling with performance counters")
+ (description
+ "perf is a tool suite for profiling using hardware performance counters,
+with support in the Linux kernel. perf can instrument CPU performance
+counters, tracepoints, kprobes, and uprobes (dynamic tracing). It is capable
+of lightweight profiling. This package contains the user-land tools and in
+particular the 'perf' command.")
+ (license (package-license linux-libre))))
+
+(define-public pflask
+ (package
+ (name "pflask")
+ (version "0.2")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "https://github.com/ghedo/pflask/archive/v"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "1g8fjj67dfkc2s0852l9vqi1pm61gp4rxbpzbzg780f5s5hd1fys"))))
+ (build-system cmake-build-system)
+ (arguments
+ '(#:tests? #f)) ; no tests
+ (home-page "http://ghedo.github.io/pflask/")
+ (synopsis "Simple tool for creating Linux namespace containers")
+ (description "pflask is a simple tool for creating Linux namespace
+containers. It can be used for running a command or even booting an OS inside
+an isolated container, created with the help of Linux namespaces. It is
+similar in functionality to chroot, although pflask provides better isolation
+thanks to the use of namespaces.")
+ (license bsd-2)))