Austin Seipp
c3fcd5ecb7
nixpkgs: Remove bunk 'infer' expression
...
This was accidentally committed because I'm a goof - see
1ee742b0ef
2015-06-18 11:37:51 -05:00
Vincent Laporte
2583b22573
frama-c: fix hash, closes #8308
2015-06-18 11:47:34 +02:00
Tobias Geerinckx-Rice
98b2d7b727
Separate nativeBuildInputs where maintainers |= nckx
2015-06-17 22:21:32 +02:00
Austin Seipp
1ee742b0ef
nixpkgs: afl 1.80b -> 1.83b
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-14 14:28:00 -05:00
Tobias Geerinckx-Rice
2156937166
include-what-you-use 3.6 -> 0.4 (sic)
...
Not a downgrade. Upstream's weird.
2015-06-12 02:27:53 +02:00
Pascal Wittmann
ed9455838c
checkstyle: update from 6.6 to 6.7
2015-05-31 20:25:33 +02:00
Peter Simons
99273a6716
Merge pull request #8047 from nckx/master
...
Don't use "with licenses;" for single licences
2015-05-28 22:14:53 +02:00
Tobias Geerinckx-Rice
158e1cfdd0
Don't use "with licenses;" for single licences
...
And don't use square brackets on such lines.
2015-05-28 19:20:29 +02:00
Pascal Wittmann
1a3860e95a
checkstyle: update from 6.5 to 6.6
2015-05-28 18:49:06 +02:00
Pascal Wittmann
4a9df12721
Merge pull request #7708 from vbgl/framac-sodium
...
frama-c: update from Neon to Sodium
2015-05-05 21:49:46 +02:00
Vincent Laporte
67529e7a08
frama-c: update from Neon to Sodium
2015-05-05 19:59:54 +02:00
Tobias Geerinckx-Rice
2c62a0a930
Add egypt 1.10: create simple C call graphs
2015-05-05 19:43:18 +02:00
Aristid Breitkreuz
6f5bfcdb33
Merge pull request #7665 from joachifm/cppcheck
...
cppcheck: 1.68 -> 1.69
2015-05-03 13:34:12 +02:00
Joachim Fasting
127050d851
cppcheck: 1.68 -> 1.69
...
Also update meta and install man page.
2015-05-03 00:22:23 +02:00
Pascal Wittmann
06e2fdc62e
spin: update from 6.4.1 to 6.4.3
2015-04-28 09:57:10 +02:00
Cray Elliott
e73921aee1
valgrind: patch build system to allow linux kernels of v4.x
2015-04-21 20:40:15 -07:00
Pascal Wittmann
4576a72e45
checkstyle: update from 6.4.1 to 6.5
2015-04-08 16:03:03 +02:00
Tobias Geerinckx-Rice
9060ae8f89
include-what-you-use: pin clang to version 3.5
...
Fixes Hydra failure with clang 3.6 <http://hydra.nixos.org/build/20560181 >.
Also shorten excessive longDescription a bit.
2015-03-26 00:29:42 +01:00
Vladimír Čunát
e924f05cc3
Merge branch 'master' into staging
2015-03-17 13:35:05 +01:00
Pascal Wittmann
9cda91bcd8
pmd: update from 4.2.6 to 5.2.3
2015-03-12 21:19:49 +01:00
Peter Simons
6694ef42a9
Merge branch 'master' into staging.
...
Conflicts:
pkgs/development/libraries/gtk+/2.x.nix
pkgs/tools/security/gnupg/21.nix
pkgs/top-level/all-packages.nix
2015-03-10 12:09:43 +01:00
Pascal Wittmann
362f2db258
findbugs: update from 3.0.0 to 3.0.1
2015-03-09 19:35:24 +01:00
Peter Simons
1d953779b0
Merge remote-tracking branch 'origin/master' into staging.
2015-03-05 12:24:57 +01:00
Pascal Wittmann
824accb1cb
checkstyle: update from 6.4 to 6.4.1
2015-03-04 12:23:37 +01:00
Vladimír Čunát
4dd253c306
valgrind: fix build with glibc-2.21 by Arch patch
2015-03-03 11:36:43 +01:00
Tobias Geerinckx-Rice
ebf122c36f
coan: only build on Linux
2015-03-01 12:32:13 +01:00
Pascal Wittmann
b8d5e2fd6a
checkstyle: update from 6.3 to 6.4
2015-03-01 09:53:41 +01:00
Tobias Geerinckx-Rice
841905e1ea
coan: skip checks; they work locally but fail on Hydra
...
This reverts commit 607cc808d8
2015-02-23 01:45:08 +01:00
Tobias Geerinckx-Rice
607cc808d8
coan: run checks
2015-02-17 05:13:40 +01:00
Tobias Geerinckx-Rice
54397283b0
Add include-what-you-use 3.5: static C/C++ #include analyser
2015-02-11 00:14:16 +01:00
Arseniy Seroka
c477e173de
Merge pull request #6179 from k0ral/cppcheck
...
cppcheck: 1.67 -> 1.68
2015-02-05 21:58:37 +03:00
koral
7ccede4aab
cppcheck: 1.67 -> 1.68
2015-02-05 16:58:21 +01:00
Pascal Wittmann
a1ce00d81e
checkstyle: update from 6.2 to 6.3
2015-02-03 10:43:41 +01:00
Pascal Wittmann
8d322e0fee
checkstyle: update from 6.1.1 to 6.2
2015-01-14 14:23:47 +01:00
Tobias Geerinckx-Rice
9b7a58e1f9
coan: don't double-gzip man page
...
`make install` gzips coan.1 with the wrong extension (.1). So Nix re-
compresses it. Result: coan.1.1.gz, and a screen full of gobbledygook.
2015-01-12 21:38:31 +01:00
Tobias Geerinckx-Rice
03e53af0f5
Add coan: the C preprocessor chainsaw
2015-01-11 15:21:26 +01:00
Eelco Dolstra
fcd4aa44d5
valgrind: Update to 3.10.1
2014-12-12 15:08:25 +01:00
Austin Seipp
0bdff430a4
nixpkgs: rr 2.0.0 -> 3.0.0, with 64bit support
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-12-12 01:20:23 -06:00
Austin Seipp
73651e6c01
Revert "rr: bump version, 64bit support"
...
This reverts commit 12a3db89ba
2014-12-04 17:49:33 -06:00
Austin Seipp
12a3db89ba
rr: bump version, 64bit support
...
The git version of `rr` recently got 64bit support; bump version and
pick out a working git revision for the new builds.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-12-04 17:25:56 -06:00
Nicolas B. Pierron
8caa0ea525
rr: Bump to version 2.0.0 and fetch it from github.
2014-11-30 17:20:34 +01:00
Nicolas Pierron
1b294105d7
libpfm & rr: Add packages.
2014-11-30 17:20:34 +01:00
Pascal Wittmann
a94da8c44c
checkstyle: update from 6.1 to 6.1.1
2014-11-28 11:08:13 +01:00
Brian McKenna
40261b7484
Add Flow
...
A static type checker for JavaScript
2014-11-18 21:15:55 -07:00
Pascal Wittmann
818bd7dd1c
cppcheck: update from 1.66 to 1.67
2014-11-18 20:52:29 +01:00
Pascal Wittmann
5d7c5d4686
checkstyle: update from 6.0 to 6.1
2014-11-14 13:07:01 +01:00
Ricardo M. Correia
90172ba079
valgrind: Fix running under grsecurity
2014-11-13 23:07:27 +01:00
Vincent Laporte
fbbd88017f
zarith: propagate build input gmp
2014-11-07 09:50:39 +00:00
Mateusz Kowalczyk
007f80c1d0
Turn more licenses into lib.licenses style
...
Should eval cleanly, as far as -A tarball tells me.
Relevant: issue #2999 , issue #739
2014-11-06 00:48:16 +00:00
Evgeny Egorochkin
a4300af71d
checkstyle: update from 5.8 to 6.0
2014-10-27 07:33:29 +02:00
