Merge pull request #55008 from dtzWill/update/ninja-1.9.0

ninja: 1.8.2 -> 1.9.0
This commit is contained in:
Will Dietz 2019-02-02 00:58:59 -06:00 committed by GitHub
commit b6e50b3a3c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,13 +4,13 @@ with stdenv.lib;
stdenv.mkDerivation rec {
name = "ninja-${version}";
version = "1.8.2";
version = "1.9.0";
src = fetchFromGitHub {
owner = "ninja-build";
repo = "ninja";
rev = "v${version}";
sha256 = "16scq9hcq6c5ap6sy8j4qi75qps1zvrf3p79j1vbrvnqzp928i5f";
sha256 = "1q0nld3g0d210zmdjyjzjz2xb2bw1s58gj6zsx7p8q30yh0wg610";
};
nativeBuildInputs = [ python re2c ] ++ optionals buildDocs [ asciidoc docbook_xml_dtd_45 docbook_xsl libxslt.bin ];