Merge pull request #230334 from trofi/nootka-use-getDev

nootka: use getDev to access .dev attributes
This commit is contained in:
Sergei Trofimovich 2023-05-06 17:33:05 +01:00 committed by GitHub
commit 9ce9c2940c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -28,7 +28,7 @@ stdenv.mkDerivation rec {
];
cmakeFlags = [
"-DCMAKE_INCLUDE_PATH=${libjack2}/include/jack;${libpulseaudio.dev}/include/pulse"
"-DCMAKE_INCLUDE_PATH=${lib.getDev libjack2}/include/jack;${lib.getDev libpulseaudio}/include/pulse"
"-DENABLE_JACK=ON"
"-DENABLE_PULSEAUDIO=ON"
];