summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlbert Cervin <albert@acervin.com>2024-10-10 15:48:38 +0200
committerAlbert Cervin <albert@acervin.com>2024-10-10 15:48:38 +0200
commit8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af (patch)
tree8c0e10d98458809432c5d3826e2914a5482d347c
parent10caa92f491504d670b890f9cc99d08240efce41 (diff)
downloaddged-8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af.tar.gz
dged-8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af.tar.xz
dged-8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af.zip
Support separate debug info for nix builds
-rwxr-xr-xconfigure41
-rw-r--r--dged.nix1
2 files changed, 42 insertions, 0 deletions
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