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 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