Commit graph

2101 commits

Author SHA1 Message Date
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
Mathijs Kwik
d2edc329e1 neoload: upgrade to 4.1.4 and fix mem issues 2014-04-24 08:05:44 +02:00
Eelco Dolstra
dbd332d147 Fix meta.maintainer -> meta.maintainers 2014-04-23 14:26:32 +02:00
Peter Simons
0753d64478 haskell-hlint: update to version 1.8.61 2014-04-23 11:17:11 +02:00
Peter Simons
4d765a4565 haskell-cabal-meta: re-generate with cabal2nix 2014-04-23 11:17:07 +02:00
Vincent Bernardoff
ce422b4553 Updated OCaml package findlib 2014-04-21 23:06:35 +02:00
aszlig
625d7b9043
Merge pull request #1928 from 'cross-win-osx'.
This includes a lot of fixes for cross-building to Windows and Mac OS X
and could possibly fix things even for non-cross-builds, like for
example OpenSSL on Windows.

The main reason for merging this in 14.04 already is that we already
have runInWindowsVM in master and it doesn't work until we actually
cross-build Cygwin's setup binary as the upstream version is a fast
moving target which gets _overwritten_ on every new release.

Conflicts:
	pkgs/top-level/all-packages.nix
2014-04-21 10:00:35 +02:00
Vladimír Čunát
cb83796abb elfutils: update 0.155 -> 0.158 2014-04-20 18:24:11 +02:00
Vladimír Čunát
b4df087f14 elfutils: fix CVE-2014-0172
Patch taken from upstream mailing-list.
2014-04-20 18:24:11 +02:00
Matt Whiteley
552d66cd9e Add swig-3.x 2014-04-20 11:30:31 +01:00
Jaka Hudoklin
d0c0132fb0 node_webkit: fix hash for i686-linux 2014-04-19 10:45:03 +01:00
Domen Kožar
85992ec738 Merge pull request #1507 from offlinehacker/pkgs/node_webkit/add
Add node-webkit, app runtime based on Chromium and node.js
2014-04-19 05:35:20 +02:00
Peter Simons
d4097e4e0e Merge pull request #2273 from jwiegley/cabal-delete
Add expression for cabal-delete
2014-04-16 10:17:29 +02:00
Peter Simons
d510eea7b0 Merge pull request #2277 from jwiegley/flex
Fix flex for building on darwin systems
2014-04-16 10:16:04 +02:00
John Wiegley
bc08fa99f1 Fix flex for building on darwin systems 2014-04-15 05:04:27 -05:00
John Wiegley
f2690384c9 Three new Haskell tools: rehoo, una, cabal-meta 2014-04-15 04:32:06 -05:00
John Wiegley
00d5f3ab79 Add expression for cabal-delete 2014-04-15 04:16:55 -05:00
Bjørn Forsman
5c2d17780d uhd: update 3.5.4 -> 3.7.0
Build tested (with gnuradio).
2014-04-15 07:11:41 +02:00
Bjørn Forsman
9878bb47a4 buildbot{,slave}: bump 0.8.7p1 -> 0.8.8
Build and run tested.
2014-04-13 21:11:49 +02:00
Bjørn Forsman
6989b9a3f9 babeltrace: update from 1.1.1 to 1.2.1 2014-04-13 10:47:17 +02:00
Bjørn Forsman
d1f875c6af lttng project: update from 2.3.0 to 2.4.1
(And update liburcu to 0.8.4 according to release notes for lttng 2.4.x.)

In addition to new features and bug fixes, version 2.4.x is needed to build
against Linux 3.12 (our new stable kernel).
2014-04-13 10:47:16 +02:00
John Wiegley
010132e302 Change several package constraints from linux to unix
They all build on Darwin.
2014-04-12 16:01:16 -05:00
John Wiegley
b296895abe Allow lsof to build on darwin (fixes #2219)
Closes #2219, closes #2223

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-12 11:14:18 -05:00
Peter Simons
f32be2da85 haddock: update to version 2.14.2 2014-04-11 22:33:11 +02:00
Peter Simons
f741be954c Offer consistently named attributes for the two available flex versions. 2014-04-11 10:06:18 +02:00
Aristid Breitkreuz
5d12cbf1c2 add back old version of flex for grub2 2014-04-09 20:42:08 +02:00
Peter Simons
fd9ea0f639 ltrace: fix build with latest gcc (by disabling -Werror) 2014-04-09 12:41:11 +02:00
Peter Simons
b7d0a9a614 ltrace: update from 0.5.3 to 0.7.3 2014-04-09 12:41:10 +02:00
Peter Simons
44e8fe67d0 flex: update from 2.5.35 to 2.5.39 2014-04-09 12:41:10 +02:00
Peter Simons
bdc3361515 haskell-keter: update to version 1.3.0 2014-04-07 17:06:37 +02:00
Peter Simons
6876e696b4 haskell-HaRe: update to version 0.7.2.2 2014-04-07 17:06:37 +02:00
Peter Simons
db1a390d9d haskell-hlint: update to version 1.8.60 2014-04-06 21:53:17 +02:00
Vladimír Čunát
10147beecf Merge branch vcunat@NixOS:p/stdenv (close #1840)
This branch contains a collection of stdenv-changing updates.
There's glibc 2.18 -> .19 bump and many non-intrusive PRs.

The grsecurity branch #1187 got removed at Eelco's request,
see https://github.com/NixOS/nixpkgs/issues/1840#issuecomment-39327023
2014-04-04 21:33:55 +02:00
Evgeny Egorochkin
bf8991175a global: update from 6.2.9 to 6.2.12 2014-04-03 10:22:59 +03:00
Vladimír Čunát
457fdb3842 texinfo: move ncurses support into texinfoInteractive
This, for example, drops the stdenv dependency on ncurses.
2014-04-02 19:05:56 +02:00
Vladimír Čunát
11d4c257c1 Merge branch glibc-2.19, see #1840 2014-04-02 19:03:49 +02:00
Peter Simons
1237886a91 haskell-cabal2nix: update to version 1.61 2014-04-02 18:17:02 +02:00