2021-02-13 05:59:36 +01:00
|
|
|
{ lib, stdenv, fetchgit, python3 }:
|
2013-03-24 23:32:14 +01:00
|
|
|
|
2013-03-26 01:12:27 +01:00
|
|
|
stdenv.mkDerivation {
|
2019-03-26 21:41:54 +01:00
|
|
|
pname = "gnulib";
|
2021-07-13 15:12:15 +02:00
|
|
|
version = "20210702";
|
2013-03-26 01:12:27 +01:00
|
|
|
|
|
|
|
src = fetchgit {
|
2020-04-01 03:11:51 +02:00
|
|
|
url = "https://git.savannah.gnu.org/r/gnulib.git";
|
2021-07-13 15:12:15 +02:00
|
|
|
rev = "901694b904cd861adc2529b2e05a3fb33f9b534f";
|
|
|
|
sha256 = "1f5znlv2wjziglw9vlygdgm4jfbsz34h2dz6w4h90bl4hm0ycb1w";
|
2013-03-26 01:12:27 +01:00
|
|
|
};
|
|
|
|
|
2021-02-13 05:59:36 +01:00
|
|
|
postPatch = ''
|
|
|
|
patchShebangs gnulib-tool.py
|
|
|
|
'';
|
|
|
|
|
|
|
|
buildInputs = [ python3 ];
|
|
|
|
|
2018-03-27 00:35:36 +02:00
|
|
|
installPhase = ''
|
2018-10-05 22:24:24 +02:00
|
|
|
mkdir -p $out/bin
|
2021-02-13 05:59:36 +01:00
|
|
|
cp -r * $out/
|
|
|
|
ln -s $out/lib $out/include
|
2018-10-05 22:24:24 +02:00
|
|
|
ln -s $out/gnulib-tool $out/bin/
|
2018-03-27 00:35:36 +02:00
|
|
|
'';
|
2013-03-26 01:12:27 +01:00
|
|
|
|
2021-02-13 05:59:36 +01:00
|
|
|
# do not change headers to not update all vendored build files
|
|
|
|
dontFixup = true;
|
|
|
|
|
|
|
|
meta = with lib; {
|
2020-04-01 03:11:51 +02:00
|
|
|
homepage = "https://www.gnu.org/software/gnulib/";
|
2016-06-20 12:53:46 +02:00
|
|
|
description = "Central location for code to be shared among GNU packages";
|
2021-02-13 05:59:36 +01:00
|
|
|
license = licenses.gpl3Plus;
|
|
|
|
platforms = platforms.unix;
|
2013-03-26 01:12:27 +01:00
|
|
|
};
|
|
|
|
}
|