diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-09-28 00:12:26 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-09-28 00:13:10 +0200 |
| commit | 4cb87d63e1c06eb99f90f33bd8a68d73975e4d72 (patch) | |
| tree | c7074b376621cfeb5eef4abfc60e454856ef1699 | |
| parent | 42ecb96e99f40613fd635be930d38378192c8315 (diff) | |
gnu: libgc: Add 'libgc-back-pointers' variant.
* gnu/packages/bdw-gc.scm (libgc/back-pointers): New variable.
| -rw-r--r-- | gnu/packages/bdw-gc.scm | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gnu/packages/bdw-gc.scm b/gnu/packages/bdw-gc.scm index 790a238579..ca47227826 100644 --- a/gnu/packages/bdw-gc.scm +++ b/gnu/packages/bdw-gc.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2012, 2013, 2014, 2016 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2012, 2013, 2014, 2016, 2017 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2014 Mark H Weaver <mhw@netris.org> ;;; Copyright © 2016 Leo Famulari <leo@famulari.name> ;;; Copyright © 2017 Rene Saavedra <rennes@openmailbox.org> @@ -78,6 +78,16 @@ C or C++ programs, though that is not its primary goal.") (license (x11-style (string-append home-page "license.txt"))))) +(define-public libgc/back-pointers + (package + (inherit libgc) + (name "libgc-back-pointers") + (arguments + `(#:make-flags + (list "CPPFLAGS=-DKEEP_BACK_PTRS=1") + ,@(package-arguments libgc))) + (synopsis "The BDW garbage collector, with back-pointer tracking"))) + (define-public libatomic-ops (package (name "libatomic-ops") |