Commit graph

181 commits

Author SHA1 Message Date
Arseniy Seroka
e024f7fec9 Merge pull request #11409 from FlorentBecker/kcov
kcov: fix issue #11399
2015-12-03 16:28:45 +03:00
Florent Becker
fa8586495d kcov: fix issue #11399 2015-12-02 22:20:01 +01:00
Tobias Geerinckx-Rice
2798b02ad0 Convert some *Flags from strings to lists 2015-11-26 23:45:31 +01:00
Pascal Wittmann
0773d7b576 checkstyle: 6.11.2 -> 6.12.1 2015-11-22 14:07:53 +01:00
Pascal Wittmann
7fd2796e99 Replace 'with plaforms; platform' with 'platforms.platform' 2015-11-17 21:30:43 +01:00
lethalman
ca186286d7 Merge pull request #10986 from teh/master
update flow + new go binary (codesearch)
2015-11-16 20:45:10 +01:00
Florent Becker
7ff5826e08 kcov : init at 29 2015-11-15 18:07:48 +01:00
Tom Hunger
14efaba4c8 flow: 0.17.0 -> 0.18.1 2015-11-11 15:28:56 +00:00
Matthijs Steen
67c4c5fd16 flow: added Linux support
Changed the build inputs to only include the additional Darwin inputs when building for Darwin.
2015-11-10 16:23:20 +01:00
Nicolas B. Pierron
13a379cfa2 Merge pull request #10672 from wizeman/u/upd-rr
rr: 3.0.0 -> 4.0.0
2015-11-05 14:21:25 +00:00
Jude Taylor
137cadb66b darwin purity: flow 2015-11-03 04:53:25 -08:00
Ricardo M. Correia
3136a17834 rr: 3.0.0 -> 4.0.0 2015-10-28 23:20:42 +01:00
Robin Gloster
5815b95176 flow: 0.14.0 -> 0.17.0 2015-10-18 10:22:47 +00:00
Pascal Wittmann
9d37d4cc9d checkstyle: 6.10.1 -> 6.11.2 2015-10-06 13:13:57 +02:00
Eelco Dolstra
5b52b3589c valgrind: Update to 3.11.0 2015-09-28 15:52:31 +02:00
Thomas Tuegel
2e0589b4ca kde414: build with kdelibs-4.14.12
Upstream changes to the build system required adjusting many packages'
dependencies. On the Nixpkgs side, we no longer propagate the dependency
on cmake (to reduce closure size), so downstream dependencies had to be
adjusted for most packages that depend on kdelibs.
2015-09-27 15:08:12 -05:00
Pascal Wittmann
7ed4046d90 checkstyle: 6.9 -> 6.10.1 2015-09-08 13:53:28 +02:00
Daniel Brockman
06b6648770 flow: 0.13.1 -> 0.14.0, fixes #9321 2015-09-03 13:51:08 +02:00
Eelco Dolstra
4e41b64511 valgrind: Separate doc output 2015-08-27 19:07:44 +02:00
Pascal Wittmann
6f5c2ec311 checksyle: update from 6.8.2 to 6.9 2015-08-08 00:08:50 +02:00
Pascal Wittmann
454dc664a6 checkstyle: update from 6.8.1 to 6.8.2 2015-08-05 14:44:41 +02:00
Daniel Brockman
322358db03 flow: 0.1.0 -> 0.13.1 2015-07-27 12:00:54 +02:00
Pascal Wittmann
f5c91c445f checkstyle: update from 6.8 to 6.8.1 2015-07-01 20:21:33 +02:00
Pascal Wittmann
439ce0d07d checkstyle: update from 6.7 to 6.8 2015-06-29 12:50:34 +02:00
Austin Seipp
c3fcd5ecb7 nixpkgs: Remove bunk 'infer' expression
This was accidentally committed because I'm a goof - see
1ee742b0ef.

Thanks to ftrvxmtrx on IRC for spotting.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
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