Merge pull request #67291 from dtzWill/gengetopt-2.23

gengetopt: 2.22.6 -> 2.23
This commit is contained in:
markuskowa 2019-08-23 12:43:43 +02:00 committed by GitHub
commit 8120fb6ec4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,17 +1,25 @@
{ fetchurl, stdenv }:
{ fetchurl, stdenv, texinfo, help2man }:
stdenv.mkDerivation rec {
name = "gengetopt-2.22.6";
pname = "gengetopt";
version = "2.23";
src = fetchurl {
url = "mirror://gnu/gengetopt/${name}.tar.gz";
sha256 = "1xq1kcfs6hri101ss4dhym0jn96z4v6jdvx288mfywadc245mc1h";
url = "mirror://gnu/${pname}/${pname}-${version}.tar.xz";
sha256 = "1b44fn0apsgawyqa4alx2qj5hls334mhbszxsy6rfr0q074swhdr";
};
doCheck = true;
enableParallelBuilding = true;
nativeBuildInputs = [ texinfo help2man ];
#Fix, see #28255
postPatch = ''
sed -e 's/set -o posix/set +o posix/' -i configure
substituteInPlace configure --replace \
'set -o posix' \
'set +o posix'
'';
meta = {