Pascal Wittmann
eef111fee8
checkstyle: 6.14.1 -> 6.15
2016-02-15 17:35:11 +01:00
Moritz Ulrich
4ee173e011
rr: 4.0.0 -> 4.0.3
2016-01-29 12:28:08 +01:00
Tobias Geerinckx-Rice
9fb8020e4e
Add version attribute where maintainers |= nckx
...
This will probably be mandatory soon, and is a step in the right
direction. Removes the deprecated meta.version, and move some meta
sections to the end of the file where I should have put them in
the first place.
2016-01-25 17:35:21 +01:00
Pascal Wittmann
642065e8d4
checkstyle: 6.13 -> 6.14.1
2016-01-03 19:42:59 +01:00
Tobias Geerinckx-Rice
ca8903c3c2
include-what-you-use: use unversioned llvm attribute
...
...in the expression itself, while hard-coding the officially supported
version in all-packages.nix for sanity's sake (mine).
2015-12-20 03:22:24 +01:00
Tobias Geerinckx-Rice
986f446674
include-what-you-use: 0.4 -> 0.5
...
Compatible with llvm+clang 3.7. Changes:
- Added Boost and Qt mappings.
- Better support for using declarations.
- Allow size_t from multiple headers.
- Fixed handling includes with common path prefix.
More: http://include-what-you-use.org/
2015-12-20 03:15:36 +01:00
Pascal Wittmann
42c7004d33
checkstyle: 6.12.1 -> 6.13
2015-12-12 12:05:19 +01:00
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