Add coan: the C preprocessor chainsaw

This commit is contained in:
Tobias Geerinckx-Rice 2015-01-11 15:21:25 +01:00
parent 7fa32aecd1
commit 03e53af0f5
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 {});