2012-11-07 21:10:39 +01:00
|
|
|
{stdenv, fetchurl, unzip}:
|
|
|
|
|
|
|
|
let
|
|
|
|
buildSystemImage = args:
|
2013-07-31 18:56:27 +02:00
|
|
|
stdenv.mkDerivation (args // {
|
2012-11-07 21:10:39 +01:00
|
|
|
buildInputs = [ unzip ];
|
|
|
|
buildCommand = ''
|
|
|
|
mkdir -p $out
|
|
|
|
cd $out
|
|
|
|
unzip $src
|
|
|
|
'';
|
|
|
|
});
|
|
|
|
in
|
|
|
|
{
|
2013-07-31 18:56:27 +02:00
|
|
|
|
|
|
|
sysimg_armeabi-v7a_14 = buildSystemImage {
|
2012-11-07 21:10:39 +01:00
|
|
|
name = "armeabi-v7a-14";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl-ssl.google.com/android/repository/sysimg_armv7a-14_r02.zip;
|
|
|
|
sha1 = "d8991b0c06b18d7d6ed4169d67460ee1add6661b";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_armeabi-v7a_15 = buildSystemImage {
|
2012-11-07 21:10:39 +01:00
|
|
|
name = "armeabi-v7a-15";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl-ssl.google.com/android/repository/sysimg_armv7a-15_r02.zip;
|
|
|
|
sha1 = "1bf977d6cb4e0ad38dceac0c4863d1caa21f326e";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_armeabi-v7a_16 = buildSystemImage {
|
2012-11-07 21:10:39 +01:00
|
|
|
name = "armeabi-v7a-16";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl-ssl.google.com/android/repository/sysimg_armv7a-16_r03.zip;
|
|
|
|
sha1 = "d1cddb23f17aad5821a089c403d4cddad2cf9ef7";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_armeabi-v7a_17 = buildSystemImage {
|
2012-12-20 14:04:52 +01:00
|
|
|
name = "armeabi-v7a-17";
|
|
|
|
src = fetchurl {
|
2013-07-31 16:00:57 +02:00
|
|
|
url = https://dl-ssl.google.com/android/repository/sysimg_armv7a-17_r02.zip;
|
|
|
|
sha1 = "1c321cda1af793b84d47d1a8d15f85444d265e3c";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_armeabi-v7a_18 = buildSystemImage {
|
2013-07-31 16:00:57 +02:00
|
|
|
name = "armeabi-v7a-18";
|
|
|
|
src = fetchurl {
|
2013-09-18 12:05:14 +02:00
|
|
|
url = https://dl-ssl.google.com/android/repository/sysimg_armv7a-18_r02.zip;
|
|
|
|
sha1 = "4a1a93200210d8c42793324362868846f67401ab";
|
2012-12-20 14:04:52 +01:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_x86_10 = buildSystemImage {
|
|
|
|
name = "x86-10";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl-ssl.google.com/android/repository/sys-img/x86/sysimg_x86-10_r02.zip;
|
|
|
|
sha1 = "34e2436f69606cdfe35d3ef9112f0c64e3ff021d";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
sysimg_x86_15 = buildSystemImage {
|
|
|
|
name = "x86-15";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl-ssl.google.com/android/repository/sys-img/x86/sysimg_x86-15_r01.zip;
|
|
|
|
sha1 = "d540325952e0f097509622b9e685737584b83e40";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
sysimg_x86_16 = buildSystemImage {
|
|
|
|
name = "x86-16";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl-ssl.google.com/android/repository/sys-img/x86/sysimg_x86-16_r01.zip;
|
|
|
|
sha1 = "9d35bcaa4f9b40443941f32b8a50337f413c021a";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
sysimg_x86_17 = buildSystemImage {
|
|
|
|
name = "x86-17";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl-ssl.google.com/android/repository/sys-img/x86/sysimg_x86-17_r01.zip;
|
|
|
|
sha1 = "ddb3313e8dcd07926003f7b828eafea1115ea35b";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2013-09-18 12:05:14 +02:00
|
|
|
sysimg_x86_18 = buildSystemImage {
|
|
|
|
name = "x86-18";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl-ssl.google.com/android/repository/sys-img/x86/sysimg_x86-18_r01.zip;
|
|
|
|
sha1 = "f11bc9fccd3e7e46c07d8b26e112a8d0b45966c1";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_mips_15 = buildSystemImage {
|
|
|
|
name = "mips-15";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl-ssl.google.com/android/repository/sys-img/mips/sysimg_mips-15_r01.zip;
|
|
|
|
sha1 = "a753bb4a6783124dad726c500ce9aec9d2c1b2d9";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
sysimg_mips_16 = buildSystemImage {
|
|
|
|
name = "mips-16";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl-ssl.google.com/android/repository/sys-img/mips/sysimg_mips-16_r04.zip;
|
|
|
|
sha1 = "67943c54fb3943943ffeb05fdd39c0b753681f6e";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
sysimg_mips_17 = buildSystemImage {
|
|
|
|
name = "mips-17";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl-ssl.google.com/android/repository/sys-img/mips/sysimg_mips-17_r01.zip;
|
|
|
|
sha1 = "f0c6e153bd584c29e51b5c9723cfbf30f996a05d";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|