Mirror of GNU Guix
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

47 lines
2.0 KiB

  1. ;;; Guix --- Nix package management from Guile. -*- coding: utf-8 -*-
  2. ;;; Copyright (C) 2012 Ludovic Courtès <ludo@gnu.org>
  3. ;;;
  4. ;;; This file is part of Guix.
  5. ;;;
  6. ;;; Guix is free software; you can redistribute it and/or modify it
  7. ;;; under the terms of the GNU General Public License as published by
  8. ;;; the Free Software Foundation; either version 3 of the License, or (at
  9. ;;; your option) any later version.
  10. ;;;
  11. ;;; Guix is distributed in the hope that it will be useful, but
  12. ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
  13. ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  14. ;;; GNU General Public License for more details.
  15. ;;;
  16. ;;; You should have received a copy of the GNU General Public License
  17. ;;; along with Guix. If not, see <http://www.gnu.org/licenses/>.
  18. (define-module (distro packages libsigsegv)
  19. #:use-module (guix packages)
  20. #:use-module (guix http)
  21. #:use-module (guix utils)
  22. #:use-module (guix build-system gnu))
  23. (define-public libsigsegv
  24. (package
  25. (name "libsigsegv")
  26. (version "2.10")
  27. (source (origin
  28. (method http-fetch)
  29. (uri (string-append
  30. "http://ftp.gnu.org/gnu/libsigsegv/libsigsegv-"
  31. version ".tar.gz"))
  32. (sha256
  33. (base32 "16hrs8k3nmc7a8jam5j1fpspd6sdpkamskvsdpcw6m29vnis8q44"))))
  34. (build-system gnu-build-system)
  35. (outputs '("out" "lib")) ; separate libdir from the rest
  36. (home-page "http://www.gnu.org/software/libsigsegv/")
  37. (synopsis "GNU libsigsegv, a library to handle page faults in user mode")
  38. (description
  39. "GNU libsigsegv is a library for handling page faults in user mode. A page
  40. fault occurs when a program tries to access to a region of memory that is
  41. currently not available. Catching and handling a page fault is a useful
  42. technique for implementing pageable virtual memory, memory-mapped access to
  43. persistent databases, generational garbage collectors, stack overflow
  44. handlers, distributed shared memory, and more.")
  45. (license "GPLv2+")))