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