2010-05-06 19:22:51 +01:00
|
|
|
{stdenv, mingw_runtime_headers, w32api_headers}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "mingw-headers";
|
|
|
|
|
|
|
|
phases = [ "installPhase" ];
|
|
|
|
|
|
|
|
installPhase = ''
|
2012-01-18 20:16:00 +00:00
|
|
|
mkdir -p $out/include
|
2010-05-06 19:22:51 +01:00
|
|
|
cp -R ${mingw_runtime_headers}/include/* $out/include
|
|
|
|
cp -R ${w32api_headers}/include/* $out/include
|
|
|
|
'';
|
|
|
|
}
|