2015-05-02 15:15:29 +02:00
|
|
|
# This file is generated from generate-sysimages.sh. DO NOT EDIT.
|
|
|
|
# Execute generate-sysimages.sh or fetch.sh to update the file.
|
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 {
|
2014-09-02 19:18:30 +02:00
|
|
|
name = "sysimg-armeabi-v7a-14";
|
2012-11-07 21:10:39 +01:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_armv7a-14_r02.zip;
|
2012-11-07 21:10:39 +01:00
|
|
|
sha1 = "d8991b0c06b18d7d6ed4169d67460ee1add6661b";
|
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_armeabi-v7a_15 = buildSystemImage {
|
2014-09-02 19:18:30 +02:00
|
|
|
name = "sysimg-armeabi-v7a-15";
|
2012-11-07 21:10:39 +01:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_armv7a-15_r03.zip;
|
|
|
|
sha1 = "0a47f586e172b1cf3db2ada857a70c2bdec24ef8";
|
2012-11-07 21:10:39 +01:00
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_armeabi-v7a_16 = buildSystemImage {
|
2014-09-02 19:18:30 +02:00
|
|
|
name = "sysimg-armeabi-v7a-16";
|
2012-11-07 21:10:39 +01:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_armv7a-16_r04.zip;
|
|
|
|
sha1 = "39c093ea755098f0ee79f607be7df9e54ba4943f";
|
2012-11-07 21:10:39 +01:00
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_armeabi-v7a_17 = buildSystemImage {
|
2014-09-02 19:18:30 +02:00
|
|
|
name = "sysimg-armeabi-v7a-17";
|
2012-12-20 14:04:52 +01:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_armv7a-17_r03.zip;
|
|
|
|
sha1 = "97cfad22b51c8475e228b207dd36dbef1c18fa38";
|
2013-07-31 16:00:57 +02:00
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_armeabi-v7a_18 = buildSystemImage {
|
2014-09-02 19:18:30 +02:00
|
|
|
name = "sysimg-armeabi-v7a-18";
|
2013-07-31 16:00:57 +02:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_armv7a-18_r03.zip;
|
|
|
|
sha1 = "2d7d51f4d2742744766511e5d6b491bd49161c51";
|
2012-12-20 14:04:52 +01:00
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
2013-12-03 02:27:53 +01:00
|
|
|
sysimg_armeabi-v7a_19 = buildSystemImage {
|
2014-09-02 19:18:30 +02:00
|
|
|
name = "sysimg-armeabi-v7a-19";
|
2013-12-03 02:27:53 +01:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_armv7a-19_r03.zip;
|
|
|
|
sha1 = "5daf7718e3ab03d9bd8792b492dd305f386ef12f";
|
2014-09-02 19:18:30 +02:00
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
|
|
|
sysimg_armeabi-v7a_21 = buildSystemImage {
|
|
|
|
name = "sysimg-armeabi-v7a-21";
|
2014-09-02 19:18:30 +02:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_arm-21_r03.zip;
|
2015-05-02 15:15:29 +02:00
|
|
|
sha1 = "0b2e21421d29f48211b5289ca4addfa7f4c7ae5a";
|
2013-12-03 02:27:53 +01:00
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
2015-10-06 14:27:49 +02:00
|
|
|
sysimg_armeabi-v7a_22 = buildSystemImage {
|
|
|
|
name = "sysimg-armeabi-v7a-22";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_arm-22_r01.zip;
|
|
|
|
sha1 = "2aa6a887ee75dcf3ac34627853d561997792fcb8";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_x86_10 = buildSystemImage {
|
2014-09-02 19:18:30 +02:00
|
|
|
name = "sysimg-x86-10";
|
2013-07-31 18:56:27 +02:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_x86-10_r03.zip;
|
|
|
|
sha1 = "6b8539eaca9685d2d3289bf8e6d21d366d791326";
|
2013-07-31 18:56:27 +02:00
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_x86_15 = buildSystemImage {
|
2014-09-02 19:18:30 +02:00
|
|
|
name = "sysimg-x86-15";
|
2013-07-31 18:56:27 +02:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_x86-15_r02.zip;
|
|
|
|
sha1 = "56b8d4b3d0f6a8876bc78d654da186f3b7b7c44f";
|
2013-07-31 18:56:27 +02:00
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_x86_16 = buildSystemImage {
|
2014-09-02 19:18:30 +02:00
|
|
|
name = "sysimg-x86-16";
|
2013-07-31 18:56:27 +02:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_x86-16_r02.zip;
|
|
|
|
sha1 = "36c2a2e394bcb3290583ce09815eae7711d0b2c2";
|
2013-07-31 18:56:27 +02:00
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_x86_17 = buildSystemImage {
|
2014-09-02 19:18:30 +02:00
|
|
|
name = "sysimg-x86-17";
|
2013-07-31 18:56:27 +02:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_x86-17_r02.zip;
|
|
|
|
sha1 = "bd8c7c5411431af7e051cbe961be430fc31e773d";
|
2013-07-31 18:56:27 +02:00
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
2013-09-18 12:05:14 +02:00
|
|
|
sysimg_x86_18 = buildSystemImage {
|
2014-09-02 19:18:30 +02:00
|
|
|
name = "sysimg-x86-18";
|
2013-09-18 12:05:14 +02:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_x86-18_r02.zip;
|
|
|
|
sha1 = "ab3de121a44fca43ac3aa83f7d68cc47fc643ee8";
|
2013-09-18 12:05:14 +02:00
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
2014-09-02 19:18:30 +02:00
|
|
|
sysimg_x86_19 = buildSystemImage {
|
|
|
|
name = "sysimg-x86-19";
|
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_x86-19_r03.zip;
|
|
|
|
sha1 = "3782f3ebac5e54b3de454570add401989515ffca";
|
2014-09-02 19:18:30 +02:00
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
|
|
|
sysimg_x86_21 = buildSystemImage {
|
|
|
|
name = "sysimg-x86-21";
|
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_x86-21_r03.zip;
|
2015-05-02 15:15:29 +02:00
|
|
|
sha1 = "a0b510c66769e84fa5e40515531be2d266a4247f";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
sysimg_x86_64_21 = buildSystemImage {
|
|
|
|
name = "sysimg-x86_64-21";
|
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_x86_64-21_r03.zip;
|
2015-05-02 15:15:29 +02:00
|
|
|
sha1 = "2f205b728695d84488156f4846beb83a353ea64b";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
sysimg_x86_22 = buildSystemImage {
|
|
|
|
name = "sysimg-x86-22";
|
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_x86-22_r01.zip;
|
2015-05-02 15:15:29 +02:00
|
|
|
sha1 = "6c7bb51e41a16099bb1f2a3cc81fdb5aa053fc15";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
sysimg_x86_64_22 = buildSystemImage {
|
|
|
|
name = "sysimg-x86_64-22";
|
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_x86_64-22_r01.zip;
|
2015-05-02 15:15:29 +02:00
|
|
|
sha1 = "05752813603f9fa03a58dcf7f8f5e779be722aae";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_mips_15 = buildSystemImage {
|
2014-09-02 19:18:30 +02:00
|
|
|
name = "sysimg-mips-15";
|
2013-07-31 18:56:27 +02:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_mips-15_r01.zip;
|
2013-07-31 18:56:27 +02:00
|
|
|
sha1 = "a753bb4a6783124dad726c500ce9aec9d2c1b2d9";
|
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_mips_16 = buildSystemImage {
|
2014-09-02 19:18:30 +02:00
|
|
|
name = "sysimg-mips-16";
|
2013-07-31 18:56:27 +02:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_mips-16_r04.zip;
|
2013-07-31 18:56:27 +02:00
|
|
|
sha1 = "67943c54fb3943943ffeb05fdd39c0b753681f6e";
|
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
sysimg_mips_17 = buildSystemImage {
|
2014-09-02 19:18:30 +02:00
|
|
|
name = "sysimg-mips-17";
|
2013-07-31 18:56:27 +02:00
|
|
|
src = fetchurl {
|
2015-10-06 14:27:49 +02:00
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_mips-17_r01.zip;
|
2013-07-31 18:56:27 +02:00
|
|
|
sha1 = "f0c6e153bd584c29e51b5c9723cfbf30f996a05d";
|
|
|
|
};
|
|
|
|
};
|
2015-10-06 14:27:49 +02:00
|
|
|
|
|
|
|
sysimg_x86_23 = buildSystemImage {
|
|
|
|
name = "sysimg-x86-23";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_x86-23_r03.zip;
|
|
|
|
sha1 = "3cb2e8efb575c35a558b091eac7e1bc5843f5f12";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
sysimg_x86_64_23 = buildSystemImage {
|
|
|
|
name = "sysimg-x86_64-23";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_x86_64-23_r03.zip;
|
|
|
|
sha1 = "226510856431bc4a73690540a8d7cbad974bedd3";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
sysimg_armeabi-v7a_23 = buildSystemImage {
|
|
|
|
name = "sysimg-armeabi-v7a-23";
|
|
|
|
src = fetchurl {
|
|
|
|
url = https://dl.google.com/android/repository/sys-img/android/sysimg_arm-23_r03.zip;
|
|
|
|
sha1 = "7bb8768ec4333500192fd9627d4234f505fa98dc";
|
|
|
|
};
|
|
|
|
};
|
2015-05-02 15:15:29 +02:00
|
|
|
}
|