creduce: Use wrapper instead of propagatedUserEnvPkgs

Friendlier when installed,
fixes execution outside of NixOS.
This commit is contained in:
Will Dietz 2017-02-18 19:21:11 -06:00
parent 0982d9b00f
commit 798e0f50f4

View File

@ -1,4 +1,4 @@
{ stdenv, fetchurl, cmake
{ stdenv, fetchurl, cmake, makeWrapper
, llvm, clang-unwrapped
, flex
, zlib
@ -21,9 +21,10 @@ stdenv.mkDerivation rec {
# Ensure stdenv's CC is on PATH before clang-unwrapped
stdenv.cc
# Actual deps:
cmake
cmake makeWrapper
llvm clang-unwrapped
flex zlib
perl ExporterLite FileWhich GetoptTabular RegexpCommon TermReadKey
];
# On Linux, c-reduce's preferred way to reason about
@ -34,15 +35,13 @@ stdenv.mkDerivation rec {
lscpu ${utillinux}/bin/lscpu
'';
perlDeps = [
perl ExporterLite FileWhich GetoptTabular RegexpCommon TermReadKey
];
propagatedNativeBuildInputs = perlDeps;
propagatedUserEnvPkgs = perlDeps;
enableParallelBuilding = true;
postInstall = ''
wrapProgram $out/bin/creduce --prefix PERL5LIB : "$PERL5LIB"
'';
meta = with stdenv.lib; {
description = "A C program reducer";
homepage = "https://embed.cs.utah.edu/creduce";