Commit Graph

455 Commits

Author SHA1 Message Date
Thomas Tuegel
c816bbc8a8
qt5: remove makeQtWrapper 2017-06-18 08:44:42 -05:00
Thomas Tuegel
210f688802
qt5: rename qmakeHook to qmake 2017-06-18 08:41:57 -05:00
Fatih Altinok
ca8eed1732 flow: 0.46.0 -> 0.48.0 2017-06-16 09:32:05 +02:00
Pascal Wittmann
2c84e814e8
randoop: init at 3.1.5 2017-06-04 17:19:23 +02:00
Joachim Fasting
157b5bd1f0
cppcheck: 1.78 -> 1.79
ChangeLog: https://sourceforge.net/p/cppcheck/news/2017/05/cppcheck-179/
2017-05-28 17:18:11 +02:00
Fatih Altinok
27dc2c4926 flow: 0.42.0 -> 0.46.0 2017-05-22 15:49:30 +03:00
Armijn Hemel
192659af57 radare2: 1.3.0 -> 1.4.0 2017-04-19 12:23:45 +02:00
Guillaume Maudoux
605ce9b241 cppcheck: 0.76.1 -> 0.78 (#24937)
* cppcheck: 0.76.1 -> 0.78

* cppcheck: enable rule-file support
2017-04-16 09:53:05 +02:00
Tuomas Tynkkynen
15efefa832 lcov: 1.12 -> 1.13 2017-04-09 21:48:25 +03:00
Matthew Maurer
af33b23de3 frama-c: Aluminum -> Silicon
Upgrade required to work with new ocamlgraph
2017-03-28 19:14:08 +00:00
Thomas Tuegel
22300a9d77
qcachegrind: pin to Qt 5.6 and correct packaging errors 2017-03-25 08:49:36 -05:00
Periklis Tsirakidis
a92dfe78e9
qcachegrind: init at 16.12.3 2017-03-22 17:18:53 +01:00
Herwig Hochleitner
938df03ed1 radare2: fix hash 2017-03-22 08:54:35 +01:00
Fatih Altinok
4e00fcf068 flow: 0.41.0 -> 0.42.0 2017-03-21 21:36:51 +03:00
Robin Gloster
1c3308e9c1
jdepend: 2.9.0 -> 2.9.1, fix build 2017-03-20 21:29:47 +01:00
Tim Steinbach
2c1876ec6c Merge pull request #23844 from frontsideair/flow-41
flow: 0.39.0 -> 0.41.0
2017-03-13 18:12:16 -04:00
Michael Raskin
90f2b24fd7 Merge pull request #23850 from makefu/update/radare2
radare2: 0.10.6 -> 1.3.0
2017-03-13 19:32:41 +01:00
makefu
bc1011b330
radare2: 0.10.6 -> 1.3.0 2017-03-13 17:53:12 +01:00
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 15761b0520383a816d250b4301982e9d088be14b)
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