Commit Graph

487 Commits

Author SHA1 Message Date
Fatih Altinok
d23effdedf flow: 0.39.0 -> 0.41.0 2017-03-13 17:04:36 +03:00
Periklis Tsirakidis
7c980f5e9c valgrind: enable darwin build 2017-03-11 20:29:52 +01:00
Thomas Tuegel
f28848cb4d
kde4.kdelibs -> kdelibs4
Our kdelibs4 package does not come from KDE 4, so per upstream's request I am
moving it out of the kde4 set.
2017-02-24 17:16:28 -06:00
Florent Becker
9d57f1ae9a frama-c: fix compilation with ocaml 4.02+ 2017-02-19 13:05:47 +01:00
Graham Christensen
4450327c06
flow: pin ocaml to ocaml_4_02 2017-02-12 20:52:37 -05:00
Tobias Pflug
9960f7e9f8 flow: 0.37.4 -> 0.39.0 2017-02-12 11:41:47 +01:00
Aristid Breitkreuz
00517f1779 rr: 4.4.0 -> 4.5.0 2017-02-05 22:00:42 +01:00
Fatih Altinok
40d3a67754 flow: 0.37.1 -> 0.37.4 2017-01-30 12:15:50 +03:00
Vincent Laporte
939e2d702f frama-c: link to the apron library 2017-01-14 09:34:34 +00:00
Aneesh Agrawal
80ea1c0631 rr: 4.3.0 -> 4.4.0 2017-01-13 00:44:30 -05:00
Léo Gaspard
7f0143b89d
kcov: 29 -> 32 2017-01-01 03:32:31 +01:00
Fatih Altinok
1946e872c0 flow: 0.36.0 -> 0.37.1 2016-12-16 16:02:27 +00:00
Graham Christensen
8088ad7586 Merge pull request #20689 from frontsideair/flow-34-36
flow: 0.34.0 -> 0.36.0
2016-11-28 07:38:05 -05:00
Fatih Altinok
0a77d46322 flow: 0.34.0 -> 0.36.0 2016-11-24 16:40:52 +02:00
Nikolay Amiantov
be95ceaff2 treewide: quote URLs in my packages 2016-11-24 01:17:52 +03:00
Pascal Wittmann
3db83dd19d
checkstyle: 6.18 -> 6.19 2016-11-19 21:11:54 +01:00
Fatih Altinok
4e5917c007 flow: 0.33.0 -> 0.34.0 2016-10-29 10:48:48 +00:00
Tuomas Tynkkynen
b7aebdbf70 valgrind: 3.11.0 -> 3.12.0
Also use more multiple outputs and perl shouldn't be a
nativeBuildInput.
2016-10-25 17:22:00 +03:00
Nikolay Amiantov
1e66aa6e5e cppcheck: 1.74 -> 1.76.1 2016-10-21 16:56:40 +03:00
Fatih Altinok
8ab8f49827
flow: 0.32.0 -> 0.33.0 2016-10-15 08:24:07 -04:00
Jörg Thalheim
888f6a1280 Merge pull request #19199 from wizeman/u/fix-help2man-hash
help2man: fix hash
2016-10-03 19:26:44 +02:00
Matthias Beyer
081c5494ac
radare2: 0.9.7 -> 0.10.6 2016-10-02 17:19:19 +02:00
Tuomas Tynkkynen
19225bf5cc Merge remote-tracking branch 'upstream/master' into staging 2016-10-02 10:36:47 +03:00
Vincent Laporte
19eba38b6c frama-c: Sodium -> Aluminium 2016-09-30 17:49:16 +02:00
Fatih Altinok
f9c8dceb11 bump flow version to 0.32 2016-09-29 08:36:07 +00:00
Vladimír Čunát
77604964b6 Merge branch 'master' into staging 2016-09-28 17:13:59 +02:00
Kirill Boltaev
e61663a233 treewide: move to ocaml-ng system 2016-09-26 02:36:49 +03:00
Aneesh Agrawal
bb349421c1 rr: pin Python to Python 2
rr requires Python>=2.7, but does not support Python 3.
2016-09-24 15:05:42 +02:00
Kirill Boltaev
0f37287df5 treewide: explicitly specify gtk version 2016-09-13 21:09:24 +03:00
Tuomas Tynkkynen
1e665de6b4 flow: Broken on i686
http://hydra.nixos.org/build/39411311

````
hh_shared.c:142:6: error: #error "hh_shared.c requires a architecture that supports memfd_create"
````
2016-09-02 18:54:39 +03:00
obadz
78b7529ee3 Merge branch 'master' into staging 2016-08-24 11:57:44 +01:00
Matthew Bauer
ad61000697 cccc: fix darwin build 2016-08-16 19:25:41 +00:00
Robin Gloster
b7787d932e Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-08-12 09:46:53 +00:00
Danny Arnold
21102b1589 flow: 0.28.0 -> 0.30.0 2016-08-09 16:51:13 +02:00
Robin Gloster
1b979d8384 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-08-03 13:34:44 +00:00
Tuomas Tynkkynen
21f17d69f6 treewide: Add lots of meta.platforms
Build-tested on x86_64 Linux & Mac.
2016-08-02 21:42:43 +03:00
Franz Pletz
f0d0164a38 tracefilesim: disable fortify hardening 2016-08-02 20:21:29 +02:00
Tuomas Tynkkynen
898c3436f3 kcov: Fix indentation 2016-08-02 21:17:44 +03:00
Robin Gloster
f222d98746 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-07-25 12:47:13 +00:00
Ivan Sorokin
844a029bab rr: 4.2.0 -> 4.3.0 2016-07-23 13:07:24 +03:00
Robin Gloster
203846b9de Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-07-19 10:37:02 +00:00
Joachim Fasting
ce103cae38
cppcheck: 1.73 -> 1.74 2016-07-17 11:52:13 +02:00
Robin Gloster
5185bc1773 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-07-15 14:41:01 +00:00
Danny Arnold
42c91dd1d8 flow: 0.22.1 -> 0.28.0 (#16827) 2016-07-10 14:02:21 +02:00
Tuomas Tynkkynen
21253ac835 lcov: 1.10 -> 1.12; maintain 2016-07-08 03:27:07 +03:00
Vladimír Čunát
6b27ceb006 Merge 'master' into staging and re-revert merge
... from staging to master, reverted temporarily in aa9a04883e.
2016-06-23 12:09:03 +02:00
Vladimír Čunát
aa9a04883e Revert "Merge branch 'staging'" due to glibc
The main output started to retain dependency on bootstrap-tools; see
https://github.com/NixOS/nixpkgs/pull/15867#issuecomment-227949096

This reverts commit c05d829598, reversing
changes made to f073df60d6.
2016-06-23 09:25:10 +02:00
Vladimír Čunát
c05d829598 Merge branch 'staging' 2016-06-22 10:49:56 +02:00
Bjørn Forsman
bd01fad0ed Captialize meta.description of all packages
In line with the Nixpkgs manual.

A mechanical change, done with this command:

  find pkgs -name "*.nix" | \
      while read f; do \
          sed -e 's/description\s*=\s*"\([a-z]\)/description = "\u\1/' -i "$f"; \
      done

I manually skipped some:

* Descriptions starting with an abbreviation, a user name or package name
* Frequently generated expressions (haskell-packages.nix)
2016-06-20 13:55:52 +02:00
Vladimír Čunát
d133a168f0 rr: improve the parent commit 2016-06-13 10:15:48 +02:00
Vladimír Čunát
e9c612cdfe rr: fix build after gcc-5.4 bump
Discussion: https://github.com/NixOS/nixpkgs/commit/772c92ba5c60a
2016-06-13 10:12:18 +02:00
Robin Gloster
8031cba2ab Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-06-10 09:27:04 +00:00
Nikolay Amiantov
bd1b236f7c fix 'licenses' -> 'license' in several places 2016-06-07 04:57:21 +03:00
Tuomas Tynkkynen
bac26e08db Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
Robin Gloster
2d382f3d98 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-05-30 19:39:34 +00:00
Vladimír Čunát
da2788c3d7 Merge #15354: add tracefilegen and tracefilesim 2016-05-19 10:29:28 +02:00
Vladimír Čunát
70c66e9828 tracefilegen, tracefilesim: fixup source hashes
and also whitespace. This is probably due to #15469.
2016-05-19 10:27:57 +02:00
Roger Qiu
c02bc80d86 garcosim: Added tracefilegen and tracefilesim 2016-05-19 18:00:09 +10:00
Franz Pletz
f8d481754c
Merge remote-tracking branch 'origin/master' into hardened-stdenv 2016-05-18 17:10:02 +02:00
Moritz Ulrich
29644950d4 rr: Only build native architecture.
rr wants to build itself with 32+64bit support on 64bit systems, but
this fails in recent NixOS versions as it can't find libstdc++.so.6 at
runtime.

This patch disables 32bit builds on 64bit. To debug 32bit binaries,
pkgsi686Linux.rr can be used.
2016-05-18 12:56:48 +02:00
Peter Simons
8e462995ba Bring my stdenv.lib.maintainers user name in line with my github nick. 2016-05-16 22:49:55 +02:00
Tobias Geerinckx-Rice
2159ea5e4c
include-what-you-use: 0.5 -> 0.6
* Added mappings for Qt 5.4.
* Added better analysis of uses in macros.
* Added --no_comments switch to suppress why-comments.
* Fixed bug with global namespace qualifier on friend declarations.
* Fixed bug in fix_includes.py generating invalid diff output.
2016-05-16 20:27:31 +02:00
Vladimír Čunát
3e387c3e00 Merge branch 'staging'
Darwin isn't in a perfect state, in particular its bootstrap tools won't
build which will block nixpkgs channel. But on the whole it seems
acceptable.
2016-05-13 10:14:53 +02:00
Pascal Wittmann
cfd899c00f checkstyle: 6.17 -> 6.18 2016-05-12 20:41:30 +02:00
Vladimír Čunát
65a9fa8cdc Merge branch 'master' into staging 2016-05-08 21:24:48 +02:00
Tobias Geerinckx-Rice
70a02d64bc
kcov: meta.{homePage -> homepage} 2016-05-08 00:45:06 +02:00
Robin Gloster
9820cb1bf2 use dontBuild instead of hacks
changes:
 * buildPhase = "true"
 * buildPhase = ":"
2016-05-04 10:11:04 +00:00
Robin Gloster
c92bca56f8 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-05-02 22:58:02 +00:00
Vladimír Čunát
1c9234fd6c foswiki, egypt, wml: fix build 2016-04-25 16:22:52 +02:00
Nikolay Amiantov
f3e8653647 valkyrie: move to qmake4Hook 2016-04-20 18:55:54 +03:00
Robin Gloster
d020caa5b2 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-04-18 13:49:22 +00:00
Joachim Fasting
be2bb668ec
cppcheck: 1.72 -> 1.73
ChangeLog at https://sourceforge.net/p/cppcheck/news/2016/04/cppcheck-173/
2016-04-15 17:43:50 +02:00
Joachim Fasting
7b9b6d27d3
cppcheck: split man output 2016-04-15 17:41:41 +02:00
Robin Gloster
4ee2b2ab7b rr: set Wno-error and turn off fortify hardening 2016-04-03 12:37:35 +00:00
Robin Gloster
f60c9df0ba Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-03-28 15:16:29 +00:00
Nikolay Amiantov
ef06c7db8f spin: add ispin with tools 2016-03-26 17:05:29 +03:00
Nikolay Amiantov
f273dd226c swarm: init at 3.1 2016-03-26 17:04:41 +03:00
Pascal Wittmann
54e1628b19 checkstyle: 6.16.1 -> 6.17 2016-03-25 17:22:11 +01:00
Domen Kožar
b7f50b493c flow: 0.18.1 -> 0.22.1
(cherry picked from commit 15761b0520)
Signed-off-by: Domen Kožar <domen@dev.si>
2016-03-22 21:22:15 +00:00
Nicolas B. Pierron
1941c80610 rr: 4.0.3 -> 4.2.0 2016-03-18 16:01:14 +01:00
Pascal Wittmann
d0a1a8bf47 checkstyle: 6.16 -> 6.16.1 2016-03-16 18:10:01 +01:00
Robin Gloster
3f45f0948d Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-03-15 01:44:24 +00:00
Vincent Laporte
456d16ff4b verasco: init at 1.3 2016-03-14 12:06:18 +01:00
Joachim Fasting
93efa92367 cppcheck: move build-time dependencies to nativeBuildInputs 2016-03-12 19:06:57 +01:00
Nikolay Amiantov
2a288ad435 spin: add gcc to path 2016-03-12 14:13:42 +03:00
Franz Pletz
e9fc4e7db6 Merge remote-tracking branch 'origin/master' into hardened-stdenv 2016-03-07 22:08:27 +01:00
Joachim Fasting
757a1f7fe9 cppcheck: 1.69 -> 1.72
Also add myself to the list of maintainers
2016-03-05 19:09:02 +01:00
Franz Pletz
cb3d27df93 Merge remote-tracking branch 'origin/master' into hardened-stdenv 2016-03-05 18:55:30 +01:00
Franz Pletz
aff1f4ab94 Use general hardening flag toggle lists
The following parameters are now available:

  * hardeningDisable
    To disable specific hardening flags
  * hardeningEnable
    To enable specific hardening flags

Only the cc-wrapper supports this right now, but these may be reused by
other wrappers, builders or setup hooks.

cc-wrapper supports the following flags:

  * fortify
  * stackprotector
  * pie (disabled by default)
  * pic
  * strictoverflow
  * format
  * relro
  * bindnow
2016-03-05 18:55:26 +01:00
Nikolay Amiantov
1e51364dd5 spin: 6.4.3 -> 6.4.5 2016-03-04 14:46:46 +03:00
Robin Gloster
d47857c3d9 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-03-01 21:09:17 +00:00
Pascal Wittmann
931fa7433d checkstyle: 6.15 -> 6.16 2016-02-29 23:35:32 +01:00
Robin Gloster
3b4765c9e5 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-02-28 16:32:57 +00:00
zimbatm
69ce5cb656 use the sourceforge mirrors everywhere
find pkgs -name "*.nix" -exec sed -r \
    "s|https?://downloads.sourceforge.net/|mirror://sourceforge/|g" -i {} \;
2016-02-28 12:07:42 +00:00
Robin Gloster
46b0d51636 flow: 0.18 -> 0.22 2016-02-26 15:59:24 +00:00
Franz Pletz
41698c9efa Merge branch 'master' into hardened-stdenv 2016-02-15 20:05:29 +01:00
Pascal Wittmann
eef111fee8 checkstyle: 6.14.1 -> 6.15 2016-02-15 17:35:11 +01:00
Robin Gloster
e558a7f252 radare: turn off format hardening 2016-02-12 15:10:11 +00:00
Robin Gloster
f39da3be76 valgrind: turn off stackprotector 2016-02-09 01:20:59 +00:00
Robin Gloster
9c3ab53960 cccc: turn off format hardening 2016-02-09 01:02:56 +00: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
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.

The prior commit was broken a bit; rr will take a little more work to
support a 64bit build.
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
Pascal Wittmann
c17096309e checkstyle: update from 5.7 to 5.8 and adopt it 2014-10-26 02:27:35 +01:00
Pascal Wittmann
47a6f5eda9 spin: update from 6.3.2 to 6.4.1 and add myself to maintainers 2014-10-06 11:19:15 +02:00
Mateusz Kowalczyk
7b4cd347ea findbugs: update from 2.0.3 to 3.0.0, potentially fixes CVE-2012-5659, CVE-2012-5660 2014-09-30 10:56:11 +01:00
Eelco Dolstra
9f12c8bde8 valgrind: Update to 3.10.0 2014-09-19 14:55:39 +02:00
Pascal Wittmann
8d67b9a240 transformed meta.maintainers of some packages into lists 2014-09-13 13:52:02 +02:00
Rob Vermaas
d79b4a7b53 pmd: update from 4.2.5 to 4.2.6 2014-09-11 13:34:26 +02:00
Moritz Ulrich
e30baf653e cppcheck: update from 1.65 to 1.66 2014-09-04 19:31:32 +02:00
Michael Raskin
068d1696df Add radare2 2014-09-03 23:02:02 +04:00
Michael Raskin
71086542ee Fix radre for now by not using libewf and update it to latest 2014-09-03 23:02:02 +04:00
Luca Bruno
83c968fa2c Add new kgraphviewer and massif-visualizer packages
I chose the unstable versions because the stable versions
seemed too outdated to me. They work with kde 4.12 anyway.
2014-09-03 17:04:22 +02:00
Mateusz Kowalczyk
4e189f68ab checkstyle: update to 5.7 2014-08-29 18:18:41 +01:00
Bjørn Forsman
c9baba9212 Fix many package descriptions
(My OCD kicked in today...)

Remove repeated package names, capitalize first word, remove trailing
periods and move overlong descriptions to longDescription.

I also simplified some descriptions as well, when they were particularly
long or technical, often based on Arch Linux' package descriptions.

I've tried to stay away from generated expressions (and I think I
succeeded).

Some specifics worth mentioning:
 * cron, has "Vixie Cron" in its description. The "Vixie" part is not
   mentioned anywhere else. I kept it in a parenthesis at the end of the
   description.

 * ctags description started with "Exuberant Ctags ...", and the
   "exuberant" part is not mentioned elsewhere. Kept it in a parenthesis
   at the end of description.

 * nix has the description "The Nix Deployment System". Since that
   doesn't really say much what it is/does (especially after removing
   the package name!), I changed that to "Powerful package manager that
   makes package management reliable and reproducible" (borrowed from
   nixos.org).

 * Tons of "GNU Foo, Foo is a [the important bits]" descriptions
   is changed to just [the important bits]. If the package name doesn't
   contain GNU I don't think it's needed to say it in the description
   either.
2014-08-24 22:31:37 +02:00
Eelco Dolstra
8a7f3c3618 Mark a bunch of packages as broken or not supported on Darwin 2014-08-08 17:59:02 +02:00
Mateusz Kowalczyk
7a45996233 Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
Austin Seipp
ee775eebda sparse: 0.4.4 -> 0.5.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-07-24 06:04:36 -05:00
Pascal Wittmann
5df645dd28 spin: update from 5.1.7 to 6.3.2, clean up and fetch sources as a different user agent (the default curl agent string is blocked) 2014-07-14 19:57:33 +02:00
Peter Simons
8420a2e979 cppcheck: update from 1.64 to 1.65 2014-06-21 14:04:15 +02:00
Rob Vermaas
1cf51eb3fc Merge pull request #2589 from linquize/cccc
cccc: New package 3.1.4
2014-05-16 09:16:25 +02:00
Linquize
8f5fea5ab0 cppcheck: Build the cfg files (close #2572) 2014-05-13 11:39:33 +02:00
Linquize
349d87d47c cccc: New package 3.1.4 2014-05-09 16:50:36 +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
Lluís Batlle i Rossell
7867c5ee47 Making valgrind build with glibc 2.12 (now tested in x86_64)
svn path=/nixpkgs/branches/stdenv-updates/; revision=24029
2010-10-03 09:12:39 +00:00