diff options
| author | Albert Cervin <albert@acervin.com> | 2024-10-10 15:48:38 +0200 |
|---|---|---|
| committer | Albert Cervin <albert@acervin.com> | 2024-10-10 15:48:38 +0200 |
| commit | 8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af (patch) | |
| tree | 8c0e10d98458809432c5d3826e2914a5482d347c | |
| parent | 10caa92f491504d670b890f9cc99d08240efce41 (diff) | |
| download | dged-8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af.tar.gz dged-8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af.tar.xz dged-8259a3c5d4caf31423d8ca3108c4f2a1f9bd78af.zip | |
Support separate debug info for nix builds
| -rwxr-xr-x | configure | 41 | ||||
| -rw-r--r-- | dged.nix | 1 |
2 files changed, 42 insertions, 0 deletions
@@ -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" @@ -18,6 +18,7 @@ stdenv.mkDerivation { src = ./.; doCheck = true; + separateDebugInfo = true; nativeBuildInputs = [ bmake |
