2013-03-24 22:32:14 +00:00
|
|
|
{ stdenv, fetchgit }:
|
|
|
|
|
2013-03-26 00:12:27 +00:00
|
|
|
stdenv.mkDerivation {
|
2019-03-26 20:41:54 +00:00
|
|
|
pname = "gnulib";
|
2020-02-23 18:16:02 +00:00
|
|
|
version = "20200223";
|
2013-03-26 00:12:27 +00:00
|
|
|
|
|
|
|
src = fetchgit {
|
2020-04-01 01:11:51 +00:00
|
|
|
url = "https://git.savannah.gnu.org/r/gnulib.git";
|
2020-02-23 18:16:02 +00:00
|
|
|
rev = "292fd5d6ff5ecce81ec3c648f353732a9ece83c0";
|
|
|
|
sha256 = "0hkg3nql8nsll0vrqk4ifda0v4kpi67xz42r8daqsql6c4rciqnw";
|
2013-03-26 00:12:27 +00:00
|
|
|
};
|
|
|
|
|
2018-02-26 21:27:39 +00:00
|
|
|
dontFixup = true;
|
2018-03-26 22:35:36 +00:00
|
|
|
# no "make install", gnulib is a collection of source code
|
|
|
|
installPhase = ''
|
|
|
|
mkdir -p $out; mv * $out/
|
|
|
|
ln -s $out/lib $out/include
|
2018-10-05 20:24:24 +00:00
|
|
|
mkdir -p $out/bin
|
|
|
|
ln -s $out/gnulib-tool $out/bin/
|
2018-03-26 22:35:36 +00:00
|
|
|
'';
|
2013-03-26 00:12:27 +00:00
|
|
|
|
|
|
|
meta = {
|
2020-04-01 01:11:51 +00:00
|
|
|
homepage = "https://www.gnu.org/software/gnulib/";
|
2016-06-20 10:53:46 +00:00
|
|
|
description = "Central location for code to be shared among GNU packages";
|
2013-03-26 00:12:27 +00:00
|
|
|
license = stdenv.lib.licenses.gpl3Plus;
|
2016-08-02 17:50:55 +00:00
|
|
|
platforms = stdenv.lib.platforms.unix;
|
2013-03-26 00:12:27 +00:00
|
|
|
};
|
|
|
|
}
|