Merge pull request #22982 from dtzWill/fix/creduce-wrapper
creduce: Use wrapper instead of propagatedUserEnvPkgs
This commit is contained in:
commit
ac7c0208e8
|
@ -1,4 +1,4 @@
|
||||||
{ stdenv, fetchurl, cmake
|
{ stdenv, fetchurl, cmake, makeWrapper
|
||||||
, llvm, clang-unwrapped
|
, llvm, clang-unwrapped
|
||||||
, flex
|
, flex
|
||||||
, zlib
|
, zlib
|
||||||
|
@ -21,9 +21,10 @@ stdenv.mkDerivation rec {
|
||||||
# Ensure stdenv's CC is on PATH before clang-unwrapped
|
# Ensure stdenv's CC is on PATH before clang-unwrapped
|
||||||
stdenv.cc
|
stdenv.cc
|
||||||
# Actual deps:
|
# Actual deps:
|
||||||
cmake
|
cmake makeWrapper
|
||||||
llvm clang-unwrapped
|
llvm clang-unwrapped
|
||||||
flex zlib
|
flex zlib
|
||||||
|
perl ExporterLite FileWhich GetoptTabular RegexpCommon TermReadKey
|
||||||
];
|
];
|
||||||
|
|
||||||
# On Linux, c-reduce's preferred way to reason about
|
# On Linux, c-reduce's preferred way to reason about
|
||||||
|
@ -34,15 +35,13 @@ stdenv.mkDerivation rec {
|
||||||
lscpu ${utillinux}/bin/lscpu
|
lscpu ${utillinux}/bin/lscpu
|
||||||
'';
|
'';
|
||||||
|
|
||||||
perlDeps = [
|
|
||||||
perl ExporterLite FileWhich GetoptTabular RegexpCommon TermReadKey
|
|
||||||
];
|
|
||||||
|
|
||||||
propagatedNativeBuildInputs = perlDeps;
|
|
||||||
propagatedUserEnvPkgs = perlDeps;
|
|
||||||
|
|
||||||
enableParallelBuilding = true;
|
enableParallelBuilding = true;
|
||||||
|
|
||||||
|
postInstall = ''
|
||||||
|
wrapProgram $out/bin/creduce --prefix PERL5LIB : "$PERL5LIB"
|
||||||
|
'';
|
||||||
|
|
||||||
meta = with stdenv.lib; {
|
meta = with stdenv.lib; {
|
||||||
description = "A C program reducer";
|
description = "A C program reducer";
|
||||||
homepage = "https://embed.cs.utah.edu/creduce";
|
homepage = "https://embed.cs.utah.edu/creduce";
|
||||||
|
|
Loading…
Reference in a new issue