Commit graph

179 commits

Author SHA1 Message Date
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
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