Commit Graph

2337 Commits

Author SHA1 Message Date
Joel Taylor
3e8344d334 suitable clang stdenv 2014-09-09 13:54:24 -07:00
Vladimír Čunát
82797f98f2 Merge branch 'staging' into modular-stdenv
Conflicts:
	pkgs/development/interpreters/perl/5.10/setup-hook.sh
	pkgs/development/interpreters/perl/5.8/setup-hook.sh
	pkgs/stdenv/linux/default.nix
2014-09-08 18:24:58 +02:00
Vladimír Čunát
1e389c976c merge 'staging' into modular-stdenv
In 2c62a36b77 the messages in pkgs/stdenv/generic/default.nix
were not merged correctly.

Conflicts:
	pkgs/stdenv/generic/default.nix
2014-09-08 18:16:54 +02:00
Bjørn Forsman
1a5501889c jenkins: update to latest (v1.579) 2014-09-08 17:08:05 +02:00
Bjørn Forsman
af2334912a jenkins: expression cleanup
* Include version number in package name
* Remove trailing dot in meta.description
* Simplify meta by using "with stdenv.lib;"
2014-09-08 17:05:15 +02:00
Eelco Dolstra
585983bc95 Merge remote-tracking branch 'origin/staging'
Conflicts:
	pkgs/applications/version-management/subversion/default.nix
2014-09-08 11:42:09 +02:00
Vladimír Čunát
06fea81c6e Merge recent master into staging
Hydra: ?compare=1150594
2014-09-06 16:52:45 +02:00
Pascal Wittmann
f99ad6fe94 help2man: update from 1.46.1 to 1.46.2 2014-09-06 16:23:15 +02:00
Rüdiger Sonderfeld
46266cc216 gdb: Update to 7.8 and include Guile support.
GDB 7.8 adds Guile scripting support.  This is now enabled by default as
well.  Checking for guile also adds a pkg-config dependency.

It seems Python is explicitly excluded from cross building.  I'm not
sure if Guile should also be excluded.
2014-09-06 13:31:56 +02:00
Florent Becker
02a4e40474 Reexport ocaml data notation in the ocaml-oasis derivation 2014-09-06 12:44:33 +04:00
Florent Becker
3245b97000 Add a derivation for js_of_ocaml 2014-09-06 12:44:32 +04:00
Domen Kožar
f9ba413b55 fix eval 2014-09-05 00:06:11 +02:00
Michael Raskin
5523408947 Merge pull request #3969 from manveru/vagrant
vagrant: 1.6.3 -> 1.6.4
2014-09-04 22:56:28 +04:00
Michael Fellinger
f21cccb2b6 vagrant: 1.6.3 -> 1.6.4 2014-09-04 20:24:21 +02:00
Moritz Ulrich
e30baf653e cppcheck: update from 1.65 to 1.66 2014-09-04 19:31:32 +02:00
Moritz Ulrich
af8a91b0b2 ant: update from 1.9.3 to 1.9.4 2014-09-04 19:31:32 +02:00
Michael Raskin
6fcf8c0f63 Merge pull request #3954 from wjlroe/elixir-for-unix
Elixir and rebar aren't Linux-specific tools
2014-09-03 23:22:48 +04:00
William Roe
9a30ea90f0 Elixir and rebar aren't Linux-specific tools
Widen platform support to all unix
2014-09-03 20:14:57 +01: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
Michael Raskin
d81303813a Merge pull request #3465 from joelteon/picky-binutils
Stop binutils from trying to build on Darwin
2014-09-03 19:57:09 +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
Eelco Dolstra
9d64b445b6 swig: Disable ccache stuff
http://hydra.nixos.org/build/13936297
2014-09-02 13:07:49 +02:00
Peter Simons
1c0d15b90e Merge branch 'origin/master' into staging.
Conflicts:
	pkgs/development/libraries/ffmpeg/2.x.nix
	pkgs/development/libraries/serf/default.nix
2014-09-02 12:31:03 +02:00
Peter Simons
2fcbff576a haskell-timeplot: broken by Chart update
https://github.com/jkff/timeplot/issues/17
2014-09-02 11:48:20 +02:00
Peter Simons
3129fb3a11 haskell-docs: broken by the recent update to Haddock 2.15 2014-09-02 11:48:20 +02:00
Peter Simons
49c7b7040b haskell-haddock: add version 2.15.0 2014-09-02 11:48:19 +02:00
Michael Raskin
4e3ee27060 Merge pull request #3681 from vbgl/merlin-1.7
Merlin: update to 1.7
2014-09-02 02:07:27 +04:00
Daniel Peebles
933ac5e9f8 Use a more permanent URL for the byacc version we're using
The other one is likely to change with every new release.
2014-09-01 19:26:21 +01:00
Ricardo M. Correia
f9e63ca20d inotify-tools: Fix hash
The hash wasn't updated when the version was bumped.
2014-09-01 15:07:54 +02:00
Daniel Peebles
ba13808259 Fix byacc 2014-08-31 16:01:03 -04:00
Peter Simons
9733b56609 haskell-cabal-bounds: update to version 0.8.6 2014-08-31 18:17:01 +02:00
Peter Simons
b259dde853 haskell-codex: update to version 0.1.0.4 2014-08-31 18:17:00 +02:00
Michael Raskin
1bfcc7b477 Update SCons 2014-08-31 18:20:07 +04:00
Michael Raskin
7a998aca73 Update SlimerJS 2014-08-31 18:20:07 +04:00
Michael Raskin
fe549d89be Update CL-Launch 2014-08-31 18:20:06 +04:00
Pascal Wittmann
408832ac67 help2man: update from 1.44.1 to 1.46.1 and add myself as a maintainer 2014-08-30 23:59:35 +02:00
Florent Becker
d7b67d8cfa add utop (improved ocaml toplevel) 2014-08-30 19:37:15 +04:00
Vladimír Čunát
e51f73652d Merge recent master into staging
Hydra: ?compare=1149952

Conflicts:
	nixos/doc/manual/configuration.xml (changed split file)
	nixos/modules/config/users-groups.nix (choosing filterNull instead of inline definition)
	pkgs/development/libraries/readline/readline6.3.nix (auto-solved)
2014-08-30 10:04:02 +02:00
Mateusz Kowalczyk
4e189f68ab checkstyle: update to 5.7 2014-08-29 18:18:41 +01:00
Peter Simons
c9286fd171 haskell-hlint: update to version 1.9.4 2014-08-29 12:52:27 +02:00
ambrop7@gmail.com
21090fa778 Add BOSSA.
BOSSA is a flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers. The motivation behind
BOSSA is to create a simple, easy-to-use, open source utility to replace Atmel's SAM-BA software. BOSSA is an acronym
for Basic Open Source SAM-BA Application to reflect that goal.
2014-08-27 13:07:43 +02: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
Peter Simons
99a863f306 haskell-cabal-bounds: update to version 0.8.5 2014-08-24 20:28:12 +02:00
Peter Simons
40fdda7237 haskell-cabal2nix: update to version 1.69 2014-08-24 20:28:11 +02:00
Georges Dubus
6418007dab nixbang: add expession 2014-08-24 16:07:23 +02:00
Peter Simons
25e0377e51 haddock-2.14.3: enable test suite
https://github.com/NixOS/cabal2nix/pull/86
2014-08-24 11:49:20 +02:00
Vincent Laporte
e2db82874c Updates merlin to 1.7.1 2014-08-22 14:56:33 +02:00
Vladimír Čunát
d4e9fd2a90 Merge recent master into staging
Hydra: ?compare=1148749

Conflicts (easy):
	nixos/modules/virtualisation/containers.nix
2014-08-21 15:09:31 +02:00
Peter Simons
128039217e haskell-hdevtools: fix patch checksum one more time
It appears that upstream has re-based the pull request, thereby changing the hash.
2014-08-20 20:26:57 +02:00
Peter Simons
e910c8d6c9 Disable Hydra builds for broken Haskell packages.
The following packages are broken with GHC 7.8.3:

 - filesystem-conduit version 1.0.0.2
 - ghc-events-analyze version 0.2.0
 - haskelldb version 2.2.2
 - haskell-mpi version 1.2.1
 - haxr-th version 3000.5
 - hoauth version 0.3.5
 - holy-project version 0.1.1.0
 - hoogle version 4.2.32
 - hspread version 0.3.3
 - instant-generics version 0.4
 - ivor version 0.1.14.1
 - jmacro-rpc-happstack version 0.3
 - lambdacube-engine version 0.2.4
 - language-c-inline version 0.6.0.0
 - lockfree-queue version 0.2.3
 - monad-peel version 0.1.1
 - network-transport-tests version 0.1.0.1
 - poppler version 0.12.3
 - profiteur version 0.1.2.1
 - prolog-graph-lib version 0.2.0.1
 - semigroupoid-extras version 4.0
 - setlocale version 0.0.3
 - sized-types version 0.5.0
 - snaplet-postgresql-simple version 0.5
 - snap-loader-dynamic version 0.10.0.2
 - uhc git version 20120502
 - uniqueid version 0.1.1
 - unix-process-conduit version 0.2.2.3
 - vado version 0.0.1
 - vcsgui version 0.0.4
 - xml-html-conduit-lens version 0.3.2.0

The following packages depend on one of the broken ones above:

 - hoodle-builder version 0.3
 - hoodle-core version 0.14
 - hoodle-extra version 0.1
 - hoodle-parser version 0.3
 - hoodle-render version 0.4
 - hoodle-types version 0.3
 - hoodle version 0.3
 - kansas-lava version 0.2.4
 - liblastfm version 0.4.0.0
 - prolog-graph version 0.1.0.2
 - vacuum-cairo version 0.5
 - wcwidth version 0.0.2
2014-08-20 20:26:57 +02:00
Shea Levy
908bd66407 Merge branch 'master' of git://github.com/ip1981/nixpkgs
jq: make sure libjq is in library search path
2014-08-20 11:33:25 -04:00
Rickard Nilsson
7c06bb13be re2c: Fix license reference 2014-08-20 15:30:18 +02:00
Peter Simons
4bbe6a39bb Merge pull request #3686 from ts468/hdevtool
Fix: hdevtools: correct sha256 hash of patch
2014-08-20 12:40:37 +02:00
Eelco Dolstra
5c53f22492 Revert "binutils: Enable sysroot support"
This reverts commit 773595540b. It
breaks stuff and we don't need it anymore.

http://hydra.nixos.org/build/13517591
2014-08-20 11:13:46 +02:00
Austin Seipp
528a1c0f56 ninja: 1.4.0 -> 1.5.1
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-08-20 01:13:33 -05:00
Austin Seipp
9f5eba94d8 re2c: 0.13.6 -> 0.13.7.4
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-08-20 01:12:21 -05:00
Thomas Strobel
1fbf590713 Fix: hdevtools: correct sha256 hash of patch 2014-08-20 01:17:16 +02:00
Peter Simons
f700bcaf06 haskell-cabal-bounds: update to version 0.8.4 2014-08-19 23:47:59 +02:00
Peter Simons
08bb0c8a81 haskell-happy-meta: update to version 0.2.0.7 2014-08-19 23:47:58 +02:00
Vincent Laporte
e8d2f8f109 merlin: update to 1.7 2014-08-19 18:43:41 +02:00
Igor Pashev
628ae1c63e jq: make sure libjq is in library search path
Fixes runtime error:

jq: error while loading shared libraries: libjq.so.1:
cannot open shared object file: No such file or directory
2014-08-18 16:22:51 +02:00
Pascal Wittmann
f06419e1a8 inotify-tools: update from 3.13 to 3.14 and add myself to maintainers
note: project has moved to github on 23 November 2009
2014-08-17 23:13:12 +02:00
Eelco Dolstra
773595540b binutils: Enable sysroot support 2014-08-17 17:25:12 +02:00
Peter Simons
0f78da8878 haskell-cabal-bounds: update to version 0.8.3 2014-08-17 00:20:13 +02:00
Peter Simons
7f875a328f haskell-happy-meta: update to version 0.2.0.6 2014-08-17 00:20:12 +02:00
Peter Simons
3b12f59ead Merge pull request #3610 from ts468/hdevtools
Fix for hdevtools: update patch to build with ghc 7.8.3
2014-08-15 15:25:20 +02:00
Thomas Strobel
5f14d3cceb Fix for hdevtools: update patch to build with ghc 7.8.3 2014-08-15 15:05:46 +02:00
Mateusz Kowalczyk
bd957f8038 haskell-cabal-bounds: update to 0.8.1 2014-08-15 02:16:33 +01:00
Luca Bruno
36bef2b267 gobject-introspection: refer to shlibs with absolute paths in typelibs
After this, LD_LIBRARY_PATH should not be required anymore.
The patch has been applied only for .la files, so there may
be some other cases missing.
2014-08-14 23:16:51 +02:00
Peter Simons
1c29dba62a haskell-pointfree: re-generate with cabal2nix 2014-08-14 14:41:22 +02:00
Peter Simons
423f789602 haskell-pointful: re-generate with cabal2nix 2014-08-14 14:41:22 +02:00
Peter Simons
09d214dfbf haskell-hscope: re-generate with cabal2nix 2014-08-14 14:41:22 +02:00
Peter Simons
4e45e7c60f haskell-docs: re-generate with cabal2nix 2014-08-14 14:41:22 +02:00
Thomas Strobel
637ed1642e Add Haskell package: pointfree 2014-08-14 14:41:22 +02:00
Peter Simons
758838df2b Merge pull request #3579 from ts468/haskell-haskell-docs
Add Haskell package: haskell-docs
2014-08-14 13:56:24 +02:00
Peter Simons
91ce5a47a6 Merge pull request #3578 from ts468/haskell-hscope
Add Haskell packages: hscope and pure-cdb
2014-08-14 13:55:55 +02:00
Michael Raskin
8da8c805bb Update luarocks 2014-08-14 10:14:21 +04:00
Thomas Strobel
aab5ab8711 Add Haskell package: haskell-docs 2014-08-14 01:00:31 +02:00
Thomas Strobel
f2e30cb9b2 Add Haskell package: pointful 2014-08-14 00:40:33 +02:00
Thomas Strobel
26bda4eb00 Add Haskell packages: hscope and pure-cdb 2014-08-14 00:35:32 +02:00
Austin Seipp
6bd1b35509 arcanist: 20140717 -> 20140812
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-08-12 21:52:35 -05:00
Peter Simons
d3c68cd723 haskell-cabal2nix: update to version 1.68 2014-08-12 16:09:22 +02:00
Moritz Ulrich
e3bf7253b0 rebar: Bump to 2.5.1. 2014-08-12 13:47:59 +02:00
Moritz Ulrich
1f221a72de dfu-programmer: Bump to 0.7. 2014-08-12 13:42:10 +02:00
Peter Simons
e823c123a8 Don't build broken Haskell packages on Hydra.
These packages don't compile:

 - cabal-delete
 - cabal-file-th
 - categories
 - cmdtheline
 - codec-image-devil
 - concurrent-extra
 - cryptol 1.8.x
 - data-lens
 - diagrams-postscript
 - djinn
 - download
 - dstring
 - enummapset
 - git-date
 - github-backup
 - gtkglext
 - happyy-meta
 - haskeline-class
 - pakcs

These packages depend on some of the packages listed before:

 - Chart-diagrams
 - data-lens-template
 - hp2any-manager
 - purescript
 - repr

These packages fail with GHC 7.8.3 but still compile with older compilers:

 - happy: 1.18.4, 1.18.5, 1.18.6
2014-08-12 12:37:44 +02:00
Mateusz Kowalczyk
e7832f4b80 haskell-cabal-bounds: update to 0.8
doCheck = false; remains due to
https://github.com/dan-t/cabal-bounds/issues/3
2014-08-11 14:34:10 +02:00
Mateusz Kowalczyk
bb5841875d haskell-threadscope: mark as broken
Needs updating for the gtk/glib/pango API change. Ticket at
https://github.com/haskell/ThreadScope/issues/38 .
2014-08-11 13:58:39 +02:00
Mateusz Kowalczyk
9cb34308da haskell-PastePipe: add version 1.5 2014-08-11 07:03:19 +02:00
John Wiegley
326ca0f690 Many minor fixes to get things building after recent compiler changes 2014-08-10 23:18:57 -05:00
Peter Simons
43fd39de43 Merge pull request #3520 from pavelkogan/SourceGraph
new packages: SourceGraph + dependency
2014-08-10 22:42:56 +02:00
Pavel Kogan
a00209a38e Add SourceGraph: Haskell code analysis tool 2014-08-10 16:13:35 +01:00
Eelco Dolstra
0acc4e6b26 cmake: Fix setup hook on bash < 4.0
This matters in nix-shell and stdenvNative on Darwin.

Fixes #3204.
2014-08-09 23:14:01 +02:00
Peter Simons
5ebc4d829b Re-generate Haskell expressions with latest cabal2nix. 2014-08-09 13:49:24 +02:00
Peter Simons
18250b97ae Remove 'andres' from the meta.maintainer section of all Haskell package where I
had added him earlier.
2014-08-09 13:49:24 +02:00
Peter Simons
d9f6e54e7a Disable Hydra builds for all "old" Haskell packages.
Old means that we have a newer version in Nixpkgs already. If there is a reason
for the old package to still exist, i.e. because some other package is still
referring to it, then Hydra will still build the package as a dependency, but
we won't want to build old packages on their own right.
2014-08-09 13:49:24 +02:00
Peter Simons
c00e814202 HaRe: remove broken package until it supports GHC 7.8.3 2014-08-09 13:49:23 +02:00
Eelco Dolstra
e3f7dbbac8 Cleanup: Use += to append to envHooks 2014-08-09 12:47:05 +02:00
Eelco Dolstra
2def8e7499 Remove addHook
Just use bash arrays directly. I.e.

  addHook preConfigure myPreConfigure

is now

  preConfigureHooks+=(myPreConfigure)
2014-08-09 12:45:53 +02:00
Eelco Dolstra
d7a4fa26b0 Fix dontPatchELF being set after the setup script has been sourced 2014-08-09 12:44:49 +02:00
Eelco Dolstra
83a41771ab Move RPATH shrinking from stdenv to a setup hook provided by patchelf 2014-08-09 12:44:49 +02:00
Peter Simons
ba59416c3d haddock: don't build old versions of this package with a recent GHC 2014-08-09 00:39:52 +02:00
Peter Simons
cee9394fb3 alex: don't build old versions of this package with a recent GHC 2014-08-09 00:39:52 +02:00
Peter Simons
faa33d58ce HaRe: don't build this with Hydra; the build is broken because of missing dependencies 2014-08-09 00:39:52 +02:00
Peter Simons
c2b405e06c haskell-{alex,BNFC}-meta: remove broken packages 2014-08-09 00:39:52 +02:00
Vladimír Čunát
52d9c93abe Merge 'staging' into master 2014-08-08 20:13:23 +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
Peter Simons
9226fbf56a Merge remote-tracking branch 'origin/master' into staging. 2014-08-08 09:51:01 +02:00
William A. Kennington III
0450b0ad0a intel-gpu-tools: Add derivation 2014-08-07 01:32:43 +02:00
Joel Taylor
a232a2d2c5 prevent usage of binutils on darwin 2014-08-04 13:30:05 -07:00
Peter Simons
2d326e5032 Merge remote-tracking branch 'origin/master' into staging.
Conflicts:
	pkgs/desktops/e18/enlightenment.nix
2014-08-04 16:51:47 +02:00
Michael Raskin
4c176fd76e Update Scons build manager 2014-08-03 22:29:41 +04:00
Vladimír Čunát
6295a3ca36 Merge recent master into x-updates
Hydra: ?compare=1142825

Conflicts (easy):
	pkgs/applications/audio/lmms/default.nix
	pkgs/desktops/e18/enlightenment.nix
	pkgs/games/exult/default.nix
	pkgs/os-specific/linux/alsa-plugins/default.nix
2014-08-02 05:08:07 +02:00
Pascal Wittmann
0baac649aa Merge pull request #3188 from vbgl/merlin
Adds merlin
2014-08-01 13:39:27 +02:00
Vincent Laporte
81f258e7bf merlin: some cleaning of the derivation 2014-08-01 09:42:37 +02:00
John Wiegley
511f41387d haskell-haddock: use buildTools, not extraBuildInputs
Fixes #2815
2014-07-31 12:48:54 -05:00
Bjørn Forsman
410f2a9dab lttng: align attribute name with package name
lttngModules => lttng-modules
lttngTools => lttng-tools
lttngUst => lttng-ust

But keep the old attributes around for backward compatibility.
2014-07-31 16:00:04 +02:00
Peter Simons
ae6d32ffd3 haskell-cabal2nix: update to version 1.67 2014-07-31 15:48:30 +02:00
Matej Cotman
b1ba1689bd zed: build from source, ditch the installer, upgrade node-webkit 2014-07-30 12:43:24 +02:00
Peter Simons
90939a0482 haskell-hlint: update to version 1.9.3 2014-07-29 18:39:36 +02:00
Eelco Dolstra
8a10d8bbc3 autoconf: Disable tests
These take waaaay too long.
2014-07-29 17:03:48 +02:00
Peter Simons
86dc30daa6 haskell-keter: update to version 1.3.3 2014-07-28 20:32:59 +02:00
Peter Simons
d0ca8c237e Fix broken license references. 2014-07-28 11:43:20 +02:00
Mateusz Kowalczyk
7a45996233 Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
Eelco Dolstra
f64d84698e Merge remote-tracking branch 'origin/master' into staging
Conflicts:
	pkgs/applications/audio/espeak/edit.nix
	pkgs/applications/audio/lmms/default.nix
	pkgs/desktops/e18/enlightenment.nix
	pkgs/games/exult/default.nix
	pkgs/os-specific/linux/alsa-plugins/default.nix
2014-07-28 11:30:49 +02:00
Cray Elliott
441ccf85dc update hlint to 1.9.2 2014-07-25 14:45:47 -07: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
Vladimír Čunát
b9045a7d96 Merge branch 'x-updates' into staging
...in preparation for a merge to master
2014-07-22 22:28:39 +02:00
Peter Simons
fd3ca78bfc haskell-hlint: update to version 1.9.1 2014-07-22 14:20:59 +02:00
Peter Simons
029d26cdfb haskell-codex: update to version 0.1.0.3 2014-07-22 14:20:59 +02:00
Peter Simons
7b9288bc81 haskell-HaRe: update to version 0.7.2.6 2014-07-22 14:20:59 +02:00
Eelco Dolstra
4f7289eec9 Don't use ensureDir 2014-07-22 11:01:32 +02:00
Eelco Dolstra
7f410ef923 Merge remote-tracking branch 'origin/master' into staging
Conflicts:
	pkgs/misc/vim-plugins/default.nix
2014-07-22 11:00:00 +02:00
Vladimír Čunát
9b02635faa Merge recent master into x-updates
Hydra: ?compare=1138350

Conflicts:
	nixos/modules/services/x11/desktop-managers/default.nix
	Two imports were added independently on the same line.
	I split it as well, as it was very long now.
2014-07-21 12:05:57 +02:00
Pascal Wittmann
c7add6c270 Merge pull request #3317 from Mathnerd314/prelink
Add prelink package
2014-07-20 14:03:12 +02:00
Peter Simons
713379c658 Re-generate Haskell packages with cabal2nix. 2014-07-19 21:12:04 +02:00
Mathnerd314
dd325fa30c Add prelink package 2014-07-19 02:16:41 +02:00
John Wiegley
9b608c0e99 haskell-codex: jailbreak due to circular dependency
It seems the codex-0.1.0.2 build requires 0.1.0.1.
2014-07-18 18:00:27 -05:00
Alexander Tsamutali
a1a9c26ccc Merge branch 'master' of https://github.com/NixOS/nixpkgs 2014-07-18 20:12:00 +04:00
Alexander Tsamutali
cc4c108965 usb-modeswitch: Update to 2.2.0. 2014-07-18 20:11:16 +04:00
Peter Simons
125aeed5a0 haddock: update to version 2.14.3 2014-07-18 17:30:48 +02:00
Peter Simons
dfbce69f05 haskell-codex: update to version 0.1.0.2 2014-07-18 17:30:48 +02:00
Peter Simons
c0791a5b2c haskell-HaRe: update to version 0.7.2.5 2014-07-18 17:30:48 +02:00
lethalman
5ef6745be3 Merge pull request #3278 from sztupi/vagrant
vagrant: upgrade to 1.6.3
2014-07-18 14:35:55 +02:00
Vladimír Čunát
16e35532e4 Merge recent master into x-updates 2014-07-17 19:30:56 +02:00
Austin Seipp
d5326a4af0 arcanist: 20140627 -> 20140717
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-07-17 01:26:44 -05:00
Peter Simons
ea4767221f haskell-cabal2nix: update to version 1.66 2014-07-16 12:51:43 +02:00
Eelco Dolstra
b9d19af3e6 Merge remote-tracking branch 'origin/master' into staging 2014-07-15 12:14:35 +02:00
Attila Sztupak
84939f1d14 vagrant: upgrade to 1.6.3 2014-07-15 01:53:07 +01: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
6a8ee6ad5c haskell-cabal2nix: update to version 1.65 2014-07-14 17:39:15 +02:00
Peter Simons
ab00da7caf Add "please don't edit" comment at the top of every auto-generated Haskell file. 2014-07-14 17:33:52 +02:00
Peter Simons
b85bd47e9e haskell-cabal-bounds: update to version 0.7 2014-07-14 17:33:51 +02:00
Peter Simons
78c7ea2c8f haskell-ShellCheck: update to version 0.3.4 2014-07-14 17:33:50 +02:00
Peter Simons
be090a6372 happy: remove obsolete versions 1.18.8, 1.18.11, 1.19.2, and 1.19.3 2014-07-14 17:33:48 +02:00
Peter Simons
15d9034477 happy: update to version 1.19.4 2014-07-14 17:33:48 +02:00
Eelco Dolstra
ff97b7dbe6 Merge remote-tracking branch 'origin/master' into staging 2014-07-14 17:04:55 +02:00
Shea Levy
b57bc220cc Merge branch 'master' of git://github.com/ip1981/nixpkgs
Added quilt-0.63
2014-07-14 10:26:39 -04:00
Igor Pashev
a95e65da60 Added quilt-0.63 2014-07-14 15:35:27 +02:00
Peter Simons
d2e731e111 Add "please don't edit" comment at the top of every auto-generated Haskell file. 2014-07-14 13:21:41 +02:00
John Wiegley
6863cd0910 haskell-codex: updated 0.1.0.0 -> 0.1.0.1 2014-07-10 21:25:56 -05:00
cillianderoiste
d6e8e764ae Merge pull request #3233 from wjlroe/exercism
New Exercism package
2014-07-10 18:56:47 +02:00
William Roe
8788eb09c7 Remove full stop from description 2014-07-10 15:11:12 +01:00
William Roe
09209878c6 Added wjlroe (me) as maintainer of this new Exercism package 2014-07-10 15:03:50 +01:00
William Roe
e22c0e6367 New exercism package 2014-07-10 15:03:42 +01:00
Peter Simons
a77078b84a haskell-cabal2nix: update to version 1.64 2014-07-10 13:12:14 +02:00
Vladimír Čunát
5979d428b4 Merge recent master into x-updates
Hydra: ?compare=1134869

Conflicts (just meta):
	pkgs/applications/networking/instant-messengers/telepathy/gabble/default.nix
2014-07-09 22:13:29 +02:00
Peter Simons
4e39d2dde6 haskell-uuagc: update to version 0.9.51 2014-07-08 15:58:22 +02:00
Peter Simons
cefbc461cc haskell-codex: update to version 0.1.0.0 2014-07-08 15:58:22 +02:00
Peter Simons
93e5ad83bc haskell-cake3: update to version 0.5.1.0 2014-07-08 15:58:22 +02:00
Peter Simons
a9a9b758d0 haskell-HaRe: update to version 0.7.2.4 2014-07-08 15:58:22 +02:00
Eelco Dolstra
973c9abdbe Fix info command
The "info" command has been broken on NixOS since
457fdb3842 (proving that nobody uses
info).
2014-07-08 15:19:08 +02:00
Eelco Dolstra
95b828de42 Merge remote-tracking branch 'origin/master' into staging 2014-07-07 13:16:26 +02:00
Charles Strahan
6b16c2ec34 watchman: new package
This adds `watchman`, a CLI utility that watches files and takes action when
they change.
2014-07-06 01:34:11 -04:00
Vincent Laporte
f16124d521 Adds merlin
Merlin is an editor-independant tool to ease the developpement of
programs in OCaml. It aims to provide features available in modern IDEs.

Homepage: http://the-lambda-church.github.io/merlin/
2014-07-05 17:33:55 +02:00
Bjørn Forsman
3950f2582d openocd: fix symlink to udev rules file
I made an error last time I touched this line. Fix it (.udev => .rules).
2014-07-05 14:56:10 +02:00
Luca Bruno
ac711a705e dfeet: fix icons 2014-07-05 12:18:17 +02:00
Peter Simons
f5a5f46b57 haskell-hlint: update to version 1.9 2014-07-04 12:04:22 +02:00
Peter Simons
d9d6af1bda haskell-cpphs: update to version 1.18.5 2014-07-04 11:45:42 +02:00
Vladimír Čunát
aceb30cd93 Merge master into x-updates
Adds the mass-rebuilding python update.
2014-07-02 22:54:41 +02:00
Eelco Dolstra
06fc1ec34d Merge remote-tracking branch 'origin/master' into staging
Conflicts:
	pkgs/servers/serfdom/default.nix
2014-07-01 11:25:41 +02:00
Eelco Dolstra
40f7b0f9df Another attempt to eradicate ensureDir
See c556a6ea46.
2014-06-30 14:56:10 +02:00
Cillian de Róiste
336f1f9d88 chromedriver 2.9 -> 2.10 2014-06-30 12:48:38 +02:00
Austin Seipp
2245580812 Merge pull request #3077 from vbgl/cppo
Adds cppo
2014-06-28 20:37:46 -05:00
Benno Fünfstück
e10001042d fetchbzr, fetchdarcs, fetchhg: use rev attr
This makes it match the behaviour of fetchgit and fetchsvn, so it's
easier to write scripts that support all of them.
2014-06-28 21:06:10 +02:00
Austin Seipp
48f2ca07f4 arcanist: 20140617 -> 20140627
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-06-27 01:12:49 -05:00
Vladimír Čunát
dfd80a1b7e Merge recent master into x-updates
Hydra eval: 1131611
2014-06-26 22:05:15 +02:00
Vladimír Čunát
02a1e85ab1 cmake, podofo: fix finding freetype-2.5 2014-06-26 18:24:44 +02:00
Bjørn Forsman
32bca3976f openocd: update meta attributes
* Don't repeat package name in description
* Fix longDescription indent
* Use licenses.gpl2Plus instead of string literal "GPLv2+"
2014-06-25 20:39:10 +02:00
Bjørn Forsman
1149154e0e openocd: update 0.7.0 -> 0.8.0
* Remove unneeded --enable-<JLINK_BASED_DEBUGGER> configure flags.
  configure auto selects support for them now (and they're all enabled).

* Not everything is auto-detected; I asked on the openocd mailing list
  and they suggested a set of ./configure flags for a "distro build"
  (add them).

* Remove --enable-ft2232_libftdi because configure says that it's
  deprecated and we should use libftdi (which we are using when *not*
  passing --enable-ft2232_libftdi (or --enable-legacy-ft2232_libftdi as
  the option is now known as)).

* Add needed pkgconfig build input.

* Udev rules file has been renamed in source archive: openocd.rules =>
  99-openocd.rules.
2014-06-25 20:18:53 +02:00
Vincent Laporte
e7df430d91 Adds cppo 2014-06-25 10:25:14 +02:00
John Wiegley
6776fe077a Merge pull request #3066 from cstrahan/gocode
add gocode package
2014-06-24 15:21:00 -07:00
John Wiegley
ff4c3444bc Merge pull request #3063 from cstrahan/etcdctl
add etcdctl package
2014-06-24 15:20:21 -07:00
John Wiegley
8cf92b530a Merge pull request #3060 from cstrahan/packer
Add gox and packer packages
2014-06-24 15:19:42 -07:00
Bjørn Forsman
f2909d0763 dejagnu: fix description (don't repeat package name) 2014-06-23 16:16:18 +02:00
Charles Strahan
f76fbe03e0 add gocode package 2014-06-23 05:50:48 -04:00
Charles Strahan
70ce3ee861 add etcdctl package 2014-06-23 05:03:03 -04:00
Charles Strahan
06a07684aa Add gox and packer packages 2014-06-23 03:56:31 -04:00
Bjørn Forsman
239d35338f antlr: add meta attributes 2014-06-22 21:59:41 +02:00
Peter Simons
d4e1604c1e Merge pull request #3048 from chrisfarms/sqsh
New package: sqsh. An SQL query tool/shell for Sybase/MSSQL
2014-06-22 15:31:33 +02:00
Peter Simons
5b6f3fc7f5 Merge pull request #3017 from ttuegel/wrap-haskell
Wrap Haskell tools to find GHC packages
2014-06-22 15:29:53 +02:00
Chris Farmiloe
0669981ba0 New package: sqsh. An SQL query tool/shell for Sybase/MSSQL 2014-06-22 14:32:02 +02:00
Bjørn Forsman
9883b5806a chrpath: new package
chrpath is a command line tool to adjust the RPATH or RUNPATH of ELF
binaries.

(Yes, it is similar to our patchelf tool.)

gpsd and Yocto/OpenEmbedded depend on chrpath (although we have
currently patched that dependency out of gpsd).
2014-06-22 14:21:55 +02:00
John Wiegley
812bba77f1 swig: ccache tests broken on Darwin with Gcc 4.8.3 2014-06-21 23:53:49 -07:00
Peter Simons
8420a2e979 cppcheck: update from 1.64 to 1.65 2014-06-21 14:04:15 +02:00
Peter Simons
006eca8947 haskell-keter: update to version 1.3.2 2014-06-20 16:56:00 +02:00
Peter Simons
72dae9f3e0 ShellCheck: re-generate with cabal2nix 2014-06-20 14:56:33 +02:00
Thomas Tuegel
048ec25757 Wrap haddock 2.10+ to find GHC packages 2014-06-19 06:36:11 -05:00
Moritz Ulrich
f85d3ad6d3 leiningen: Update to 2.4.2. 2014-06-19 12:04:33 +02:00
Austin Seipp
5cf3fb7cb6 arcanist: 20140606 -> 20140617
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-06-17 15:48:51 -05:00
Vladimír Čunát
1b78ca58bc Merge #2798: stdenv and a few other big updates
Stdenv-changing things:
    - gcc 4.8.2 -> 4.8.3
    - long-running grsecurity branch
Others:
    - pkgconfig update
    - CVE for libtasn1, dbus

Conflicts (simple):
    pkgs/development/compilers/ghc/7.6.3.nix
2014-06-16 10:23:36 +02:00
Vladimír Čunát
9757785295 Merge recent master 2014-06-15 17:55:35 +02:00
Shea Levy
7a0c66c829 Merge branch 'master' of git://github.com/soenkehahn/nixpkgs
packaging hp2any-manager and dependencies
2014-06-15 11:00:40 -04:00
Michael Raskin
ed20f939f5 Update CL-Launch 2014-06-14 00:23:11 +04:00
Peter Simons
bcd9e73947 haskell-keter: update to version 1.3.1 2014-06-13 15:41:25 +02:00
Peter Simons
129197ba5e haskell-cabal-bounds: update to version 0.6 2014-06-13 15:41:24 +02:00
Sönke Hahn
aaf8b264d7 hp2any-manager: tool for haskell heap profile visualization 2014-06-13 16:22:46 +08:00
Ricky Elrod
4a2dd52b54 add ShellCheck
Signed-off-by: Ricky Elrod <ricky@elrod.me>
2014-06-12 21:27:32 -04:00
Peter Simons
5becd18203 haskell-cabal2nix: update to version 1.63 2014-06-12 10:03:32 +02:00
Vladimír Čunát
f2352f7ecf Merge recent master 2014-06-10 20:14:08 +02:00
Moritz Ulrich
717d9c39f9 leiningen: Update to 2.4.0. 2014-06-10 11:49:47 +02:00
Michael Raskin
99d59d8094 Update jq 2014-06-10 09:41:48 +04:00
Vladimír Čunát
5a98b9f514 Merge recent master into p/stdenv
Merged just before the pypi update, as it seems to cause problems on Hydra.
2014-06-09 19:07:31 +02:00
Peter Simons
164c81be84 haskell-hscolour: define the bootstap version of this package using 'extension' rather than by passing an additional parameter to it 2014-06-09 13:00:33 +02:00
John Wiegley
1986a10d41 cabal-db: new expression 2014-06-09 03:58:52 -05:00
Peter Simons
717fe5e3e4 haskell-threadscope: update to version 0.2.4 2014-06-09 10:27:00 +02:00
Peter Simons
3584bfe0fd haskell-cabal-dev: remove obsolete package
All cabal-dev functionality has been merged into cabal-install.
2014-06-09 10:26:58 +02:00
Peter Simons
8b07b3a6a1 haskell-codex: update to version 0.0.2.1 2014-06-09 10:26:58 +02:00
Oliver Charles
ed95e2d07e Merge pull request #2873 from tomberek/hdevtool_patch28
hdevtools compiles
2014-06-09 08:30:44 +01:00
Austin Seipp
678def6d30 Fix again, thx to @CodeBlock
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-06-09 01:29:53 -05:00
Austin Seipp
3f6197cafe arcanist: Fix this because how did it work
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-06-09 01:25:27 -05:00
Thomas Bereknyei
666478789f hdevtools compiles 2014-06-08 23:19:52 -04:00
Austin Seipp
4dd5496bd4 arcanist: build xhpast for 'arc liberate'
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-06-07 07:12:02 -05:00
Austin Seipp
17368bdf8e arcanist: update
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-06-06 23:01:13 -05:00
Peter Simons
7553a476f5 simple-build-tool: update to version 0.13.5 2014-06-05 12:36:39 +02:00
Luca Bruno
bc53b9ec4c opengrok: new package
Source code search and cross reference engine

http://opengrok.github.io/OpenGrok/
2014-06-04 14:29:54 +02:00
Austin Seipp
ec1eadf5a0 Merge pull request #2691 from joelteon/cdecl-osx
Update cdecl to block-supporting version
2014-06-03 20:37:30 -05:00
Peter Simons
7d1c124647 Merge pull request #2767 from jwiegley/hscolour
Build Haddocks with source hyperlinks unless doHscolour is false
2014-06-03 10:50:04 +02:00
Bjørn Forsman
8a4dc83793 sigrok-cli: new package
This is the command-line frontend for the sigrok signal analysis
software suite.

http://sigrok.org/
2014-05-31 15:49:13 +02:00
Bjørn Forsman
647173db26 libsigrokdecode: new package
libsigrokdecode is a protocol decoding library for the sigrok signal
analysis software suite.

http://sigrok.org/
2014-05-31 15:49:13 +02:00
Bjørn Forsman
7329ad6813 libsigrok: new package
libsigrok is the core library of the sigrok signal analysis software
suite, which I'm about to package.

http://sigrok.org/
2014-05-31 15:49:13 +02:00
Bjørn Forsman
3b3d1d075c avrdude: update 6.0.1 -> 6.1 2014-05-31 14:20:15 +02:00
Bjørn Forsman
c7c32e1d09 avrdude: add extra dependencies: libelf, libftdi1, readline
They are strictly speaking optional, but they provide useful features...
2014-05-31 14:20:04 +02:00
Bjørn Forsman
be524e925b avrdude: rewrite expression
* Use stdenv.mkDerivation instead of composableDerivation.
  stdenv.mkDerivation is the current coding standard and is easier to
  read (IMHO).

* Remove the 'parportSupport' flag because it doesn't do anything.
  (Parallel port support is still enabled.)

* Remove unneeded --disable-dependency-tracking flag to ./configure; our
  default builder does that already.

* Fix documentation build. But it is still disabled (by default),
  because texLive is such a big dependency. There is always the man
  page.

* Update 'meta' attributes
2014-05-31 14:11:59 +02:00
Austin Seipp
7b0736b7c0 arcanist: Fix php exec (needed for arc diff)
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-30 15:19:18 -05:00
Austin Seipp
90f01d6a68 arcanist: 20140521 -> 20140530
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-30 04:38:36 -05:00
John Wiegley
176797576c Build Haddocks with source hyperlinks unless doHscolour is false 2014-05-29 20:00:04 -05:00
Vladimír Čunát
872860e6de Merge #1187 into p/stdenv
Tested building firefox, kdelibs, evince on x86_64-linux.
2014-05-29 22:16:07 +02:00
Rob Vermaas
fdc78ad9e0 Merge pull request #2760 from offlinehacker/pkgs/grafana/add
Add grafana, A Graphite & InfluxDB Dashboard and Graph Editor
2014-05-28 08:33:43 +02:00
Michael Raskin
f769585c95 Updating SlimerJS to 0.9.1 2014-05-28 01:33:28 +04:00
Michael Raskin
97c61e9a44 Updating LuaRocks 2014-05-28 01:33:28 +04:00
Michael Raskin
700d332e7d Updating CL-Launch 2014-05-28 01:33:28 +04:00
Jaka Hudoklin
a8a9c78af8 Add grafana, A Graphite & InfluxDB Dashboard and Graph Editor 2014-05-27 21:02:55 +02:00
Luca Bruno
db3b440150 pkg-config: update to 0.28 (close #2769) 2014-05-27 11:48:08 +02:00
John Wiegley
cfb7884719 Add expression for the YUI compressor 2014-05-27 09:13:40 +00:00
wmertens
8ad1a0ceaf swig: enable on Darwin (close #2326)
Verified on OS X 10.9.2 to build and check, dependents build fine too.

@vcunat enabled doCheck as it works for him on x86_64-linux;
also did style nitpick modification, and changed platforms to .all
according to the homepage http://www.swig.org/compat.html
2014-05-26 21:50:27 +02:00
Bjørn Forsman
e1d2e0d380 srecord: update 1.62 -> 1.63 2014-05-25 13:44:31 +02:00
Peter Simons
3f0a45e88f haskell-codex: update to version 0.0.2 2014-05-23 17:58:48 +02:00
John Wiegley
a1df473db7 haskell-hobbes: add version 0.2.2 2014-05-23 17:39:16 +02:00
John Wiegley
47a8cd7008 haskell-codex: add version 0.0.1.6 2014-05-23 17:39:15 +02:00
Jaka Hudoklin
4d634e2bae Add apktool, tool for reverse engineering Android apk files 2014-05-22 15:43:50 +02:00
Austin Seipp
7685754f0f arcanist: Fix license
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-21 15:21:50 -05:00
Austin Seipp
79a0ae902f arcanist: version 20140521
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-21 15:17:52 -05:00
Moritz Ulrich
0e44d8e3e8 rebar: update from 2.2.0 to 2.3.0 2014-05-19 15:36:59 +02:00
Joel Taylor
1564af1d99 update constraints and maintainers 2014-05-18 20:51:08 -07:00
Joel Taylor
8be662f659 remove patches 2014-05-18 20:50:40 -07:00
Joel Taylor
dc6c1423cd build cdecl on darwin 2014-05-18 20:00:28 -07:00
Peter Simons
edeffd7c49 haskell-DrIFT: add version 2.4.2 2014-05-17 12:56:52 +02:00
Vladimír Čunát
137eae0b55 Merge #2630: add and use fetchpatch
fetchpatch is fetchurl that determinizes the patch.
Some parts of generated patches change from time to time, e.g. see #1983 and
http://comments.gmane.org/gmane.linux.distributions.nixos/12815
Using fetchpatch should prevent the hash from changing.

Conflicts (auto-solved):
	pkgs/development/libraries/haskell/gitit/default.nix
2014-05-17 07:31:03 +02:00
Peter Simons
d31052058e haskell-timeplot: update to version 1.0.25 2014-05-16 21:35:54 +02:00
Peter Simons
1d14076943 haskell-splot: update to version 0.3.12 2014-05-16 21:35:54 +02:00
Peter Simons
c44c96a2a0 haskell-hasktags: update to version 0.69.0 2014-05-16 18:51:37 +02:00
Peter Simons
2bc8175982 haskell-cake3: update to version 0.5.0.0 2014-05-16 18:51:37 +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
Ricardo M. Correia
2902c8f628 binutils: Add PaX patch 2014-05-15 13:25:49 +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
Eelco Dolstra
46b77d3bb4 fetchurl_gnome -> fetchurlGnome 2014-05-08 15:30:17 +02:00
Peter Simons
0241caf153 Merge pull request #2517 from jwiegley/texinfo
Disable Texinfo tests on Darwin

https://github.com/NixOS/nixpkgs/issues/2338
2014-05-07 11:31:30 +02:00
Peter Simons
7b8cd6d788 haskell-cabal-bounds: update to version 0.5 2014-05-05 10:46:40 +02:00
John Wiegley
66f0275b41 Disable Texinfo tests on Darwin 2014-05-05 01:03:51 -05:00
Benno Fünfstück
d385835c38 haskell-profiteur: new expression 2014-05-04 23:02:46 +02:00
Peter Simons
208e7cae1a happy-1.19.3: patch code to build with ghc-head
https://github.com/simonmar/happy/issues/20
2014-05-03 20:22:12 +02:00
Peter Simons
1bfeca7a90 haddock-2.14.2: re-generate with cabal2nix
Fixes <https://github.com/NixOS/nixpkgs/issues/2481>.
2014-05-03 20:03:33 +02:00
Peter Simons
c0d742110f haskell-threadscope: update to version 0.2.3 2014-05-03 20:03:32 +02:00
Peter Simons
0cb0810c96 haskell-hslogger: update to version 1.2.4 2014-05-03 20:03:32 +02:00
Peter Simons
0e4d6747ee haskell-HaRe: update to version 0.7.2.3 2014-05-03 20:03:32 +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
Peter Simons
baa1543dbc cabal-bounds: re-generate with cabal2nix 2014-05-01 23:38:20 +02:00
Peter Simons
979520396e Merge pull request #2311 from bennofs/haskell-cabal-bounds
haskell-cabal-bounds: New expression
2014-05-01 14:53:10 +02:00
Austin Seipp
628e914f2b frama-c: overhaul, upgrade to 20140301-Neon
This massively upgrades the frama-c package to be far more useful,
including support for a lot more plugins, including Jessie.

Jessie unfortunately requires that its plugin is installed alongside
frama-c, so we install why2 (where it lives) along with frama-c now.
This increases the size, but makes it much more useful.

In the future, it may be possible to split out the build such that why2
is a separate expression and frama-c only installs the plugin, rather
than all of why2. However, right now this is fine.

Furthermore, why3 is now a dependency - the Jessie plugin can use
either, and defaults to Why3 now. Per the design, Frama-C can also go
from Why2->Why3 as well.

We also make Coq and Alt-Ergo dependencies, so that out-of-the-box users
get at least one SMT solver and a prover for support.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:42:34 -05:00
Austin Seipp
5f702d52f4 ocamlgraph: upgrade to 1.8.5
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:39 -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
Benno Fünfstück
3685bf378f haskell: new expression cabal-bounds 2014-04-29 19:19:10 +02:00
Peter Simons
1a06bcc109 haskell-packunused: update to version 0.1.1.2 2014-04-29 01:35:50 +02:00
Oliver Charles
5de0ca50d7 Merge pull request #2389 from bennofs/haskell-ghc-gc-tune
haskell-ghc-gc-tune: new expression
2014-04-25 12:12:57 +01:00
Benno Fünfstück
027319708e haskell-ghc-gc-tune: new expression 2014-04-25 12:33:07 +02:00
Oliver Charles
61d74e4c8c Merge pull request #2345 from vbmithr/master
Updated OCaml package findlib
2014-04-25 10:31:04 +01:00