Merge pull request #65341 from WilliButz/update-highlight

highlight: 3.43 -> 3.52, use GitLab source
This commit is contained in:
Robin Gloster 2019-07-24 19:08:26 +00:00 committed by GitHub
commit 12d3b615c9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,18 +1,20 @@
{ stdenv, fetchFromGitHub, getopt, lua, boost, pkgconfig, gcc }: { stdenv, fetchFromGitLab, getopt, lua, boost, pkgconfig, gcc }:
with stdenv.lib; with stdenv.lib;
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "highlight-${version}"; name = "highlight-${version}";
version = "3.43"; version = "3.52";
src = fetchFromGitHub { src = fetchFromGitLab {
owner = "andre-simon"; owner = "saalen";
repo = "highlight"; repo = "highlight";
rev = "v${version}"; rev = "v${version}";
sha256 = "126nsf4cjxflg2kiv72qf1xl5fsilk0jqcncs6qqgm72cpjfmlsy"; sha256 = "0zhn1k70ck82ks7ckzsy1yiz686ym2ps7c28wjmkgxfpyjanilrq";
}; };
enableParallelBuilding = true;
nativeBuildInputs = [ pkgconfig ] ++ optional stdenv.isDarwin gcc ; nativeBuildInputs = [ pkgconfig ] ++ optional stdenv.isDarwin gcc ;
buildInputs = [ getopt lua boost ]; buildInputs = [ getopt lua boost ];