idrisPackages.sdl2: fix sources sha256

This is weird
b7ddbd52bd
replaced idris-modules/sdl2.nix hash with that of pkgs/applications/networking/instant-messengers/quaternion/default.nix

Build log says [sdl2.ipkg](https://github.com/steshaw/idris-sdl2/blob/0.1.1/sdl2.ipkg) isn't found, which is kind of correct message for using wrong archive
https://hydra.nixos.org/build/142426623/nixlog/2

How do we make sure all other replaced hashes are correct?

Also move pkg-config dependency to nativeBuildInputs

ZHF: #122042
This commit is contained in:
divanorama 2021-05-08 13:28:59 +02:00 committed by Dmitry Ivankov
parent dfebdee0fc
commit 9ad46075a0

View file

@ -12,8 +12,11 @@ build-idris-package rec {
idrisDeps = [ effects ]; idrisDeps = [ effects ];
extraBuildInputs = [ nativeBuildInputs = [
pkg-config pkg-config
];
extraBuildInputs = [
SDL2 SDL2
SDL2_gfx SDL2_gfx
]; ];
@ -24,7 +27,7 @@ build-idris-package rec {
owner = "steshaw"; owner = "steshaw";
repo = "idris-sdl2"; repo = "idris-sdl2";
rev = version; rev = version;
sha256 = "0hqhg7l6wpkdbzrdjvrbqymmahziri07ba0hvbii7dd2p0h248fv"; sha256 = "1jslnlzyw04dcvcd7xsdjqa7waxzkm5znddv76sv291jc94xhl4a";
}; };
meta = { meta = {