2013-12-26 00:44:16 +01:00
|
|
|
{ stdenv, fetchurl, python }:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2013-12-26 01:01:01 +01:00
|
|
|
name = "git-repo-1.20";
|
2013-12-26 00:44:16 +01:00
|
|
|
src = fetchurl {
|
2013-12-26 01:01:01 +01:00
|
|
|
# I could not find a versioned url for the 1.20 version. In case
|
|
|
|
# the sha mismatches, check the homepage for new version and sha.
|
|
|
|
url = "http://commondatastorage.googleapis.com/git-repo-downloads/repo";
|
|
|
|
sha1 = "e197cb48ff4ddda4d11f23940d316e323b29671c";
|
2013-12-26 00:44:16 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
unpackPhase = "true";
|
|
|
|
installPhase = ''
|
|
|
|
mkdir -p $out/bin
|
2013-12-26 01:01:01 +01:00
|
|
|
sed -e 's,!/usr/bin/env python,!${python}/bin/python,' < $src > $out/bin/repo
|
|
|
|
chmod +x $out/bin/repo
|
2013-12-26 00:44:16 +01:00
|
|
|
'';
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
homepage = "http://source.android.com/source/downloading.html";
|
|
|
|
description = "Android's repo management tool";
|
|
|
|
};
|
|
|
|
}
|