Commit Graph

88 Commits

Author SHA1 Message Date
Linquize
8f5fea5ab0 cppcheck: Build the cfg files (close #2572) 2014-05-13 11:39:33 +02:00
Austin Seipp
59528d9f0e clang-analyzer: respect $NIX_CFLAGS_COMPILE
When using scan-build, you're often going to want to use it in the
context of a Nix expression with buildInputs, and the default wrapper
scripts will put things like include locations for those inputs
$NIX_CFLAGS_COMPILE. Thus, scan-build also needs to pass them to the
analyzer - while the link flags aren't relevant, the include flags are.

This is because the analyzer executable that gets run by scan-build is
*not* clang-wrapper, but the actual clang executable, so it doesn't
implicitly add such arguments. The build is two-stage - it runs the real
clang wrapper once, and then the analyzer once.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 14:07:37 -05:00
Austin Seipp
f21d619558 nixpkgs: move frama-c to a more appropriate directory
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:14:08 -05:00
Austin Seipp
3c3256e4a8 nixpkgs: clang-analyzer 3.4
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 19:36:43 -05:00
Austin Seipp
1d3b5874ad nixpkgs: cov-build 7.0.2
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 16:00:34 -05:00
Vladimír Čunát
11d4c257c1 Merge branch glibc-2.19, see #1840 2014-04-02 19:03:49 +02:00
Peter Simons
a2f90518a9 cppcheck: update from 1.63 to 1.64 2014-03-05 15:32:15 +01:00
Eelco Dolstra
77a49e5813 valgrind: Support Glibc 2.19 2014-02-26 12:39:46 +01:00
Eelco Dolstra
eed3c8a6ec lcov: Don't warn about missing source files
Another upstream patch for compatibility with current GCCs.
2014-02-05 20:17:01 +01:00
Eelco Dolstra
d7cb2f5712 lcov: Apply upstream patch for GCC >= 4.7 compatibility 2014-02-05 19:46:48 +01:00
Petr Rockai
4124bb9ff5 Adopt more packages. 2014-01-28 18:11:00 +01:00
Eelco Dolstra
230a00f644 findbugs: Clean up packaging
Most stuff is now hidden under $out/libexec/findbugs, with only a few
JARs exported via $out/share/java.  Also, the setup hook sets
FINDBUGS_HOME.
2014-01-23 14:17:44 +01:00
Nixpkgs Monitor
3aaffe26ea cppcheck: update from 1.62 to 1.63 2014-01-13 17:05:45 +01:00
Nixpkgs Monitor
05288d3ad5 findbugs: update from 1.3.2 to 2.0.3 2013-12-18 18:18:27 +02:00
Nixpkgs Monitor
680a6380c8 cppcheck: update from 1.53 to 1.62 2013-12-15 12:26:24 +02:00
Petr Rockai
f9d66c239e lcov: Update to 1.10 as 1.9 fails with gcc 4.7 .gcno files. 2013-12-13 20:56:36 +02:00
Eelco Dolstra
bc3c49ce9b valgrind: Update to 3.9.0 2013-12-03 09:17:49 -05:00
Bjørn Forsman
083d0890f5 More description fixes
* Remove package name
* Start with upper case letter
* Remove trailing period

Also reword some descriptions and move some long descriptions to
longDescription.

I'm not touching generated packages.
2013-10-06 12:01:38 +02:00
Bjørn Forsman
28ac782583 Some description fixes
There are many more packages to fix, this is just a start.

Rules:
 * Don't repeat the package name (not always that easy...)
 * Start with capital letter
 * Don't end with full stop
 * Don't start with "The ..." or "A ..."

I've also added descriptions to some packages and rewritten others.
2013-10-05 19:36:23 +02:00
Ludovic Courtès
2e937c437a unmaintain several packages 2013-08-16 23:45:01 +02:00
Bjørn Forsman
d0748afc5e splint: improve meta attributes
- don't repeat package name in description
- prefer licenses.gpl2Plus over free form "GPLv2+" license name
- add platform attribute so that splint will be available in the channel
2013-08-06 21:20:47 +02:00
Evgeny Egorochkin
9c6f7cc9c1 Add package versions to some of the packages or fix existing ones to conform to nixpkgs conventions. 2013-06-07 03:15:45 +03:00
Eelco Dolstra
5cad2c497d valgrind: Support Glibc 2.17
http://hydra.nixos.org/build/3894741
2013-01-28 17:19:03 +01:00
Eelco Dolstra
ab3eeabfed Rename buildNativeInputs -> nativeBuildInputs
Likewise for propagatedBuildNativeInputs, etc.  "buildNativeInputs"
sounds like an imperative rather than a noun phrase.
2012-12-28 19:20:09 +01:00
Eelco Dolstra
5553546c21 Remove a bunch of unreferenced files
Plus a small number of obsolete packages (like old versions of qemu).
2012-11-29 13:43:37 +01:00
Lluís Batlle i Rossell
2880190491 valgrind: updating to bugfix release 3.8.1 2012-11-23 15:04:51 +01:00
Cyril Roelandt
4b3d29003e smatch: add dependency on Perl
Signed-off-by: Cyril Roelandt <tipecaml@gmail.com>
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2012-10-30 17:15:26 +01:00
Ludovic Courtès
d1202f702b smatch: install files in the right place 2012-10-30 15:07:35 +01:00
Cyril Roelandt
172abb4b26 Add a "smatch" package.
Signed-off-by: Cyril Roelandt <tipecaml@gmail.com>
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2012-10-05 10:41:44 +02:00
Lluís Batlle i Rossell
6cdb98a140 valgrind: update to 3.8.0 2012-09-04 15:50:47 +02:00
Ludovic Courtès
63a9c0e5a1 LCOV: Fix FreeBSD patch.
svn path=/nixpkgs/trunk/; revision=34057
2012-05-11 09:31:37 +00:00
Ludovic Courtès
04600bbec1 Darwin: Add mig', lipo', etc. to `stdenvNative'.
Consequently, remove `darwinLipoUtility', `darwinArchUtility', etc.

svn path=/nixpkgs/trunk/; revision=33893
2012-04-23 15:47:31 +00:00
Yury G. Kudryashov
57fd764a39 svn merge ^/nixpkgs/trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=32792
2012-03-05 10:00:23 +00:00
Ludovic Courtès
d8849a045e lcov: Fix build on FreeBSD.
svn path=/nixpkgs/trunk/; revision=32746
2012-03-02 15:57:36 +00:00
Yury G. Kudryashov
e5027e5b36 svn merge ^/nixpkgs/trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=32330
2012-02-16 15:02:26 +00:00
Peter Simons
ca1912036b cppcheck: added version 1.53
svn path=/nixpkgs/trunk/; revision=32302
2012-02-15 16:07:45 +00:00
Peter Simons
c5d870f1d8 sparse: updated to version 0.4.4
svn path=/nixpkgs/trunk/; revision=32301
2012-02-15 16:07:38 +00:00
Eelco Dolstra
c556a6ea46 * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
function, so obsolete it.

svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
2012-01-18 20:16:00 +00:00
Ludovic Courtès
d5951bfac1 LCOV: Add `meta.platforms'.
svn path=/nixpkgs/trunk/; revision=30775
2011-12-06 14:12:43 +00:00
Lluís Batlle i Rossell
8d746d0fd5 Updating valgrind
svn path=/nixpkgs/trunk/; revision=30723
2011-12-04 00:25:58 +00:00
Ludovic Courtès
37776f1568 Valgrind: Add myself as maintainer.
svn path=/nixpkgs/trunk/; revision=29657
2011-10-05 10:52:16 +00:00
Ludovic Courtès
631c013a13 Valgrind: Remove unnecessary dependency on Autoconf and Automake.
svn path=/nixpkgs/trunk/; revision=29656
2011-10-05 10:52:11 +00:00
Ludovic Courtès
ba677f861f Valgrind: Fix Darwin builds.
svn path=/nixpkgs/trunk/; revision=29655
2011-10-05 10:52:05 +00:00
Eelco Dolstra
5a437c99d6 * Valgrind 3.6.1.
svn path=/nixpkgs/trunk/; revision=26191
2011-03-07 12:37:01 +00:00
Eelco Dolstra
2b464d6e13 * lcov updated to 1.9.
svn path=/nixpkgs/trunk/; revision=25475
2011-01-09 19:24:32 +00:00
Lluís Batlle i Rossell
1cb59660e0 Removing valgrind patches, as we got a recent valgrind already.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24853
2010-11-25 09:32:12 +00:00
Michael Raskin
31b22ed108 Merge from trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=24820
2010-11-23 08:57:29 +00:00
Lluís Batlle i Rossell
8cd20e6f61 Adding valkyrie, a frontend for some valgrind 3.6 tools.
svn path=/nixpkgs/trunk/; revision=24815
2010-11-22 19:10:15 +00:00
Michael Raskin
6af8a1debd Merging from trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=24804
2010-11-22 11:39:42 +00:00
Lluís Batlle i Rossell
e8320167d2 Updating valgrind to 3.6.0
svn path=/nixpkgs/trunk/; revision=24803
2010-11-22 09:03:22 +00:00