spirv-tools: 2019.3 -> 2019.4

This commit is contained in:
Franz Pletz 2019-11-02 19:41:47 +01:00
parent 126300372a
commit 5b4cf07af1
No known key found for this signature in database
GPG Key ID: 846FDED7792617B4

View File

@ -1,7 +1,7 @@
{ stdenv, fetchFromGitHub, cmake, python3, spirv-headers }:
let
# Update spirv-headers rev in lockstep according to DEPs file
version = "2019.3";
version = "2019.4";
in
stdenv.mkDerivation rec {
@ -12,11 +12,11 @@ stdenv.mkDerivation rec {
owner = "KhronosGroup";
repo = "SPIRV-Tools";
rev = "v${version}";
sha256 = "1wvipjcjsi815ls08s3dz9hwlbb59dbl4syxkskg1k9d5jjph1a8";
sha256 = "17bbvhk4p42x4jlvcr5p9903xiiryw57c8yyfxmqik10s8601an9";
};
enableParallelBuilding = true;
buildInputs = [ cmake python3 ];
nativeBuildInputs = [ cmake python3 ];
cmakeFlags = [ "-DSPIRV-Headers_SOURCE_DIR=${spirv-headers.src}" ];