From 8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af Mon Sep 17 00:00:00 2001 From: Albert Cervin Date: Thu, 10 Oct 2024 15:48:38 +0200 Subject: Support separate debug info for nix builds --- configure | 41 +++++++++++++++++++++++++++++++++++++++++ dged.nix | 1 + 2 files changed, 42 insertions(+) diff --git a/configure b/configure index ecc1949..b9b33cd 100755 --- a/configure +++ b/configure @@ -56,6 +56,47 @@ while [ "$#" -gt 0 ]; do exit ;; + # TODO: support the *dir flags + --bindir=*) + shift 1 + ;; + + --sbindir=*) + shift 1 + ;; + + --includedir=*) + shift 1 + ;; + + --oldincludedir=*) + shift 1 + ;; + + --mandir=*) + shift 1 + ;; + + --infodir=*) + shift 1 + ;; + + --docdir=*) + shift 1 + ;; + + --libdir=*) + shift 1 + ;; + + --libexecdir=*) + shift 1 + ;; + + --localedir=*) + shift 1 + ;; + -*) echo "Unknown flag \"$1\". Usage:" echo "$_usage" diff --git a/dged.nix b/dged.nix index 6bd4e43..6933c3b 100644 --- a/dged.nix +++ b/dged.nix @@ -18,6 +18,7 @@ stdenv.mkDerivation { src = ./.; doCheck = true; + separateDebugInfo = true; nativeBuildInputs = [ bmake -- cgit v1.2.3