Merge pull request #232962 from tomodachi94/enhance/discord-gamesdk/cpp-headers

This commit is contained in:
Artturi 2023-09-06 23:54:16 +03:00 committed by GitHub
commit e812a20dd2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -14,9 +14,11 @@ stdenv.mkDerivation rec {
stripRoot = false;
};
nativeBuildInputs = [
autoPatchelfHook
];
outputs = [ "out" "dev" ];
buildInputs = [ (stdenv.cc.cc.libgcc or null) ];
nativeBuildInputs = [ autoPatchelfHook ];
installPhase =
let
@ -28,6 +30,8 @@ stdenv.mkDerivation rec {
install -Dm555 lib/${processor}/discord_game_sdk${sharedLibrary} $out/lib/discord_game_sdk${sharedLibrary}
install -Dm444 c/discord_game_sdk.h $dev/lib/include/discord_game_sdk.h
runHook postInstall
'';
@ -36,6 +40,7 @@ stdenv.mkDerivation rec {
description = "Library to allow other programs to interact with the Discord desktop application";
license = licenses.unfree;
maintainers = with maintainers; [ tomodachi94 ];
sourceProvenance = with sourceTypes; [ binaryNativeCode ];
platforms = [ "x86_64-linux" "x86_64-darwin" "aarch64-darwin" "x86_64-windows" ];
};
}