Merge pull request #5706 from nckx/coan

Add coan: the C preprocessor chainsaw
This commit is contained in:
Arseniy Seroka 2015-01-11 20:42:45 +03:00
commit 88683589b4
2 changed files with 32 additions and 0 deletions

View file

@ -0,0 +1,30 @@
{ stdenv, fetchurl, perl }:
stdenv.mkDerivation rec {
version = "6.0.1";
name = "coan-${version}";
src = fetchurl {
url = "http://downloads.sourceforge.net/project/coan2/v${version}/${name}.tar.gz";
sha256 = "1d041j0nd1hc0562lbj269dydjm4rbzagdgzdnmwdxr98544yw44";
};
buildInputs = [ perl ];
enableParallelBuilding = true;
meta = with stdenv.lib; {
description = "The C preprocessor chainsaw";
longDescription = ''
A software engineering tool for analysing preprocessor-based
configurations of C or C++ source code. Its principal use is to simplify
a body of source code by eliminating any parts that are redundant with
respect to a specified configuration. Dead code removal is an
application of this sort.
'';
homepage = http://coan2.sourceforge.net/;
license = with licenses; bsd3;
platforms = with platforms; all;
maintainers = with maintainers; [ nckx ];
};
}

View file

@ -3076,6 +3076,8 @@ let
cmucl_binary = callPackage ../development/compilers/cmucl/binary.nix { };
coan = callPackage ../development/tools/analysis/coan { };
compcert = callPackage ../development/compilers/compcert {};
cryptol1 = lowPrio (callPackage ../development/compilers/cryptol/1.8.x.nix {});