2018-08-10 17:00:49 +01:00
|
|
|
{ stdenvNoCC, mingw_w64 }:
|
2017-06-19 16:51:01 +01:00
|
|
|
|
2018-08-10 17:00:49 +01:00
|
|
|
stdenvNoCC.mkDerivation {
|
|
|
|
name = "${mingw_w64.name}-headers";
|
|
|
|
inherit (mingw_w64) src meta;
|
2017-06-19 16:51:01 +01:00
|
|
|
|
2018-08-07 15:20:13 +01:00
|
|
|
patches = [ ./osvi.patch ];
|
|
|
|
|
2017-06-19 16:51:01 +01:00
|
|
|
preConfigure = ''
|
|
|
|
cd mingw-w64-headers
|
|
|
|
'';
|
2018-08-10 17:00:49 +01:00
|
|
|
|
2017-06-19 16:51:01 +01:00
|
|
|
}
|