Enable separatedebuginfo for common BSC packages

For now, we keep dontStrip for packages that already had it for systems
without the separatedebuginfo support.

Reviewed-By: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Tested-By: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>

pkgs/nanos6/default.nix

@@ -87,6 +87,7 @@ in
 
     # Keep debug symbols in the debug variant of the library
     dontStrip = enableDebug;
+    separateDebugInfo = true;
 
     buildInputs = [
       autoconf

pkgs/nodes/default.nix

@@ -51,6 +51,7 @@ in
 
     enableParallelBuilding = true;
     dontStrip = true;
+    separateDebugInfo = true;
 
     configureFlags = [
       "--with-nosv=${nosv}"

pkgs/nosv/default.nix

@@ -42,6 +42,7 @@ in
     inherit (source) src version;
     hardeningDisable = [ "all" ];
     dontStrip = true;
+    separateDebugInfo = true;
     configureFlags = [ "--with-ovni=${ovni}" ];
     buildInputs = [
       autoreconfHook

pkgs/ovni/default.nix

@@ -38,6 +38,8 @@ in
   stdenv.mkDerivation rec {
     pname = "ovni";
     inherit (source) src version;
+    dontStrip = true;
+    separateDebugInfo = true;
     postPatch = ''
       patchShebangs --build test/
     '';
@@ -47,7 +49,6 @@ in
     preCheck = ''
       export CTEST_OUTPUT_ON_FAILURE=1
     '';
-    dontStrip = true;
     doCheck = true;
     checkTarget = "test";
     hardeningDisable = [ "all" ];

pkgs/tagaspi/default.nix

@@ -16,6 +16,7 @@ stdenv.mkDerivation rec {
   pname = "tagaspi";
   version = src.shortRev;
   enableParallelBuilding = true;
+  separateDebugInfo = true;
 
   buildInputs = [
     autoreconfHook

pkgs/tampi/default.nix

@@ -15,6 +15,7 @@ stdenv.mkDerivation rec {
   version = "2.0";
   pname = "tampi";
   enableParallelBuilding = true;
+  separateDebugInfo = true;
   buildInputs = [ autoreconfHook automake autoconf libtool gnumake boost mpi gcc ];
   dontDisableStatic = true;