Merge pull request #61071 from dtzWill/update/creduce-2.9.0

creduce: 2.8.0 -> 2.9.0, llvm7
This commit is contained in:
Jörg Thalheim 2019-05-07 10:05:02 +01:00 committed by GitHub
commit 33220585a8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 5 deletions

View File

@ -7,12 +7,12 @@
}:
stdenv.mkDerivation rec {
name = "creduce-${version}";
version = "2.8.0";
pname = "creduce";
version = "2.9.0";
src = fetchurl {
url = "https://embed.cs.utah.edu/creduce/${name}.tar.gz";
sha256 = "1vqx73ymfscvlyig03972a5m7ar3gx2yv6m8c6h2mibz792j5xkp";
url = "https://embed.cs.utah.edu/${pname}/${pname}-${version}.tar.gz";
sha256 = "1b833z0g1hich68kzbkpfc26xb8w2phfl5savy8c6ir9ihwy1a8w";
};
nativeBuildInputs = [ cmake makeWrapper ];

View File

@ -8872,7 +8872,7 @@ in
credstash = with python3Packages; toPythonApplication credstash;
creduce = callPackage ../development/tools/misc/creduce {
inherit (llvmPackages_6) llvm clang-unwrapped;
inherit (llvmPackages_7) llvm clang-unwrapped;
};
cscope = callPackage ../development/tools/misc/cscope { };