Enable separatedebuginfo for openmp

Reviewed-by: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Tested-by: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
This commit is contained in:
Aleix Roca Nonell 2024-04-12 10:20:14 +02:00 committed by Rodrigo Arias Mallo
parent fce556cb28
commit 9c8a077828

View File

@ -51,6 +51,8 @@ stdenv.mkDerivation rec {
dontStrip = enableDebug; dontStrip = enableDebug;
separateDebugInfo = true;
cmakeFlags = [ cmakeFlags = [
"-DLIBOMP_OMPD_SUPPORT=OFF" "-DLIBOMP_OMPD_SUPPORT=OFF"
"-DOPENMP_ENABLE_LIBOMPTARGET=OFF" "-DOPENMP_ENABLE_LIBOMPTARGET=OFF"