Commit graph

903 commits

Author SHA1 Message Date
Eelco Dolstra b9d19af3e6 Merge remote-tracking branch 'origin/master' into staging 2014-07-15 12:14:35 +02:00
Peter Simons 78c7ea2c8f haskell-ShellCheck: update to version 0.3.4 2014-07-14 17:33:50 +02:00
Eelco Dolstra ff97b7dbe6 Merge remote-tracking branch 'origin/master' into staging 2014-07-14 17:04:55 +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
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
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 d9d6af1bda haskell-cpphs: update to version 1.18.5 2014-07-04 11:45:42 +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
Austin Seipp 48f2ca07f4 arcanist: 20140617 -> 20140627
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-06-27 01:12:49 -05: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
Bjørn Forsman f2909d0763 dejagnu: fix description (don't repeat package name) 2014-06-23 16:16:18 +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 72dae9f3e0 ShellCheck: re-generate with cabal2nix 2014-06-20 14:56: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 9757785295 Merge recent master 2014-06-15 17:55:35 +02:00
Michael Raskin ed20f939f5 Update CL-Launch 2014-06-14 00:23:11 +04:00
Ricky Elrod 4a2dd52b54 add ShellCheck
Signed-off-by: Ricky Elrod <ricky@elrod.me>
2014-06-12 21:27:32 -04:00
Vladimír Čunát f2352f7ecf Merge recent master 2014-06-10 20:14:08 +02: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
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
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
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
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
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 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
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
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
Ricardo M. Correia 2902c8f628 binutils: Add PaX patch 2014-05-15 13:25:49 +02:00
Eelco Dolstra 46b77d3bb4 fetchurl_gnome -> fetchurlGnome 2014-05-08 15:30:17 +02:00
John Wiegley 66f0275b41 Disable Texinfo tests on Darwin 2014-05-05 01:03:51 -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 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