JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
66,668 Commits 2 Branches 0 Tags 13 GiB
bba10d8be4
Commit Graph

1181 Commits

Author SHA1 Message Date
Eelco Dolstra
7495c61d49 Merge remote-tracking branch 'origin/darwin-clang-stdenv' into staging 
Conflicts:
	pkgs/applications/editors/vim/macvim.nix
 2014-11-04 14:30:43 +01:00
Evgeny Egorochkin
cb981b9dad swig3: update from 3.0.0 to 3.0.2 2014-11-03 13:29:23 +02:00
Evgeny Egorochkin
3580f6dab5 automake: add meta.branch 2014-11-03 12:58:08 +02:00
koral
0670f105cc cgdb: 0.6.6 -> 0.6.7 2014-11-02 21:47:54 +01:00
Peter Simons
b11060d8db Merge remote-tracking branch 'origin/master' into staging. 2014-10-31 11:14:24 +01:00
Charles Strahan
a8a9b93d98 chruby: allow for specifying Rubies to use 
This allows the user to specify an attrset of Rubies to use with chruby by
overriding the default of ~/.rubies with a path to a symlink tree.
 2014-10-27 03:48:30 +00:00
Charles Strahan
d696f56324 chruby package: a utlity for switching the current ruby version. 2014-10-26 04:31:35 +00:00
Vladimír Čunát
89354b4b1a autoconf-2.13: add versioned executable 
Needed by mozilla hg builds.
 2014-10-25 21:40:23 +02:00
Vladimír Čunát
2cf17b0802 Merge recent master into staging 
Hydra nixpkgs: ?compare=1156478
 2014-10-23 17:40:41 +02:00
Domen Kožar
efea92de19 fixes #1933 2014-10-23 00:14:09 +02:00
Peter Simons
1c8b3d9217 haskell-cpphs: update to version 1.18.6 2014-10-19 16:55:23 +02:00
Eelco Dolstra
09dc132e04 Merge remote-tracking branch 'origin/master' into staging 
Conflicts:
	pkgs/development/libraries/poppler/default.nix
 2014-10-16 15:16:50 +02:00
Lluís Batlle i Rossell
83fb281d80 Making hydra build ddd. 
(cherry picked from commit 4ba671ff113844267dbad307f8a5cbf8ac1d0f52)
 2014-10-15 11:16:27 +02:00
Eelco Dolstra
d4d0e449d7 Remove obsolete Hydra package 2014-10-14 22:49:12 +02:00
Rickard Nilsson
87bcb503aa kibana: Update from 3.1.0 to 3.1.1 2014-10-14 19:06:03 +02:00
Bjørn Forsman
391c2778d4 lttng: update to latest (2.4.1 -> 2.5.0) 
- This unbreaks lttng linux kernel modules[1]
- lttng-tools has grown a dependency on libxml2

[1]: Build tested (for default NixOS Linux kernel) and run tested with
lttng-sessiond (it successfully loads kernel modules).
 2014-10-13 22:16:32 +02:00
Pascal Wittmann
f0ef22b1b7 help2man: update from 1.46.3 to 1.46.4 2014-10-13 17:40:22 +02:00
Eelco Dolstra
811de3bfaa Merge remote-tracking branch 'origin/staging' into darwin-clang-stdenv 
Conflicts:
	pkgs/tools/security/gnupg/default.nix
 2014-10-09 10:57:57 +02:00
Pascal Wittmann
2ff0c8d6ef epm: update from 4.1 to 4.2 2014-10-08 09:17:28 +02:00
Aristid Breitkreuz
6b315040f3 intel-gpu-tools: update from 1.7 to 1.8 2014-10-07 21:50:40 +02:00
Eelco Dolstra
a85dcf4a00 Merge remote-tracking branch 'origin/master' into staging 
Conflicts:
	pkgs/development/libraries/libav/default.nix
	pkgs/shells/bash/bash-4.2-patches.nix
	pkgs/stdenv/generic/default.nix
 2014-10-07 00:09:37 +02:00
Damien Cassou
5d294db3b2 shellcheck is packaged twice 
I removed development/libraries/haskell/ShellCheck and kept
development/tools/misc/ShellCheck.
 2014-10-03 20:16:25 +02:00
Mateusz Kowalczyk
7b3cef8eac babeltrace: update from 1.2.1 to 1.2.3 
cc @bjornfor
 2014-09-30 11:19:11 +01:00
Eelco Dolstra
6843fc41c9 Fix evaluation 2014-09-30 00:51:00 +02:00
ambrop7@gmail.com
e0f430cfb3 BOSSA: Try to fix a nondeterministic build failure. 
There's a Make rule to generate .cpp from .asm but the .cpp is included
in the source. Presumably the timestamps of these two files in the tmp
dir are different when Hydra is building, but not on my system. This
causes Make to try to rebuild .cpp, but the tools needed for that are missing.
 2014-09-25 22:51:50 +02:00
Pascal Wittmann
911627497a help2man: update from 1.46.2 to 1.46.3 2014-09-25 16:11:33 +02:00
Austin Seipp
84491adb48 arcanist: 20140812 -> 20140924 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-09-24 15:28:49 -05:00
Vincent Laporte
7f76d0c040 Fixes coccinelle (depends on camlp4) 2014-09-23 21:06:18 +01:00
Eelco Dolstra
cd71f7a2e6 Merge branch 'darwin-stdenv' of github.com:joelteon/nixpkgs into staging 
Conflicts:
	pkgs/development/interpreters/ruby/ruby-19.nix
	pkgs/development/libraries/libc++/default.nix
	pkgs/development/libraries/libc++abi/default.nix
	pkgs/tools/text/sgml/opensp/default.nix
 2014-09-23 11:27:53 +02:00
Eelco Dolstra
91ec6e0d90 Merge remote-tracking branch 'origin/master' into staging 2014-09-18 22:28:35 +02:00
Jaka Hudoklin
6f30a55f27 grafana: update 1.5.4 -> 1.8.0-rc1 2014-09-16 10:28:03 +02:00
Jaka Hudoklin
79a6bddc1e Add kibana, visualize logs and time-stamped data 2014-09-16 10:28:03 +02:00
Charles Strahan
ff344624d6 add go-repo-root, dependency of go2nix 2014-09-15 09:53:30 +02:00
Pascal Wittmann
8d67b9a240 transformed meta.maintainers of some packages into lists 2014-09-13 13:52:02 +02:00
Eric Seidel
0577499d74 fix some packages on darwin 2014-09-09 13:54:26 -07:00
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
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
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
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
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
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
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
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
Georges Dubus
6418007dab nixbang: add expession 2014-08-24 16:07:23 +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
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
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
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
Michael Raskin
8da8c805bb Update luarocks 2014-08-14 10:14:21 +04:00
Austin Seipp
6bd1b35509 arcanist: 20140717 -> 20140812 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-08-12 21:52:35 -05:00
Moritz Ulrich
1f221a72de dfu-programmer: Bump to 0.7. 2014-08-12 13:42:10 +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
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
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
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
Eelco Dolstra
8a10d8bbc3 autoconf: Disable tests 
These take waaaay too long.
 2014-07-29 17:03:48 +02:00
Mateusz Kowalczyk
7a45996233 Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +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
Mathnerd314
dd325fa30c Add prelink package 2014-07-19 02:16:41 +02:00
Alexander Tsamutali
cc4c108965 usb-modeswitch: Update to 2.2.0. 2014-07-18 20:11:16 +04:00
Austin Seipp
d5326a4af0 arcanist: 20140627 -> 20140717 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-07-17 01:26:44 -05:00
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
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
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
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
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
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
576e9289dd Merge master into x-updates 2014-03-27 21:34:06 +01:00
Peter Simons
ae2cb475c9 haskell-cpphs: update to version 1.18.4 2014-03-27 13:12:54 +01:00
Vladimír Čunát
65155c20d5 automake: update from 1.12.4 to 1.12.6 2014-03-21 10:34:20 +01:00
Lluís Batlle i Rossell
ae3a1519e4 gdb: adding a patch to handle well the edit cmd + SIGWINCH. 
It's reported to upstream since two years ago, through
their patches mailing list.
 2014-03-20 11:09:39 +01:00
Lluís Batlle i Rossell
d4bf329dde Updating gdb to 7.7. 2014-03-20 10:47:36 +01:00
Domen Kozar
059e8e179b set all licenses to be attributes (and wait for Nix 1.7) 2014-03-12 21:20:43 +01:00
aszlig
c7bac81c66
Merge 'mingw-w64' and 'darwin' into cross-win-osx. 
Both branches have quite a lot in common, so it's time for a merge and
do the cleanups with respect to both implementations and also generalize
both implementations as much as possible.

This also closes #1876.

Conflicts:
	pkgs/development/interpreters/lua-5/5.2.nix
	pkgs/development/libraries/SDL/default.nix
	pkgs/development/libraries/glew/default.nix
	pkgs/top-level/all-packages.nix
 2014-03-12 10:16:51 +01:00
Michael Raskin
6cfbc75bc1 Fix CL-Launch source link 2014-03-09 12:47:33 +04:00
Bjørn Forsman
b9d7780ced saleae-logic: install udev rules 
So that they can easily be activated in NixOS:

  services.udev.packages = [ pkgs.saleae-logic ];
 2014-03-08 21:46:13 +01:00
Bjørn Forsman
12e00b5eeb openocd: install udev rules 
So that they can easily be activated in NixOS:

  services.udev.packages = [ pkgs.openocd ];
 2014-03-08 21:46:13 +01:00
Michael Raskin
4376d70c61 Update CL-Launch to 4.0.2.2 2014-03-08 21:13:00 +04:00
Michael Raskin
dc4d698e22 Update LuaRocks 2014-03-08 21:13:00 +04:00
Peter Simons
f521a47663 haskell-cpphs: update to version 1.18.3 2014-03-08 11:27:41 +01:00
Bjørn Forsman
34caf106da swig: add meta.platforms (set to linux) 
So that Hydra will build swig. This provides binary packages to users
and build breakage detection.
 2014-03-07 23:59:30 +01:00
Moritz Ulrich
29a906b2d8 dfu-programmer: New package. 2014-03-07 13:28:33 +01:00
Evgeny Egorochkin
399269e6e0 help2man: update from 1.43.3 to 1.44.1 2014-03-01 05:26:44 +02:00
Peter Simons
ec09c7d34e haskell-cpphs: update to version 1.18.2 2014-02-25 00:25:28 +01:00
aszlig
ba8b0e8af9
binutils-cross: Remove unreferenced package. 
This package wasn't imported by anything in the package tree and also
isn't used for cross-builds. So in order to avoid confusion, it's better
to remove it as it is outdated as well.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-02-24 07:26:22 +01:00
Vladimír Čunát
ae5d8f6768 Merge master into x-updates 2014-02-20 20:55:31 +01:00
Peter Simons
029967dca6 haskell-cpphs: update to version 1.18.1 2014-02-18 19:56:13 +01:00
Evgeny Egorochkin
c67f562d5e add branch info 2014-02-18 04:13:45 +02:00
Moritz Ulrich
53b6744646 teensy-loader: New package 
Firmware uploader for the teensy microcontroller board family.
 2014-02-18 01:02:47 +01:00
Vladimír Čunát
96f07fa74e Merge master into x-updates 2014-02-16 11:45:02 +01:00
Evgeny Egorochkin
cf3d2e0a17 add repositories.git to several packages 2014-02-14 09:34:30 +02:00
Peter Simons
f687687e7d haskell-cpphs: update to version 1.18 2014-02-10 20:54:55 +01:00
Vladimír Čunát
be70104a3a Merge master into x-updates 
Conflicts (taken master):
	pkgs/development/compilers/llvm/3.4/llvm.nix
 2014-02-04 22:00:09 +01:00
Bjørn Forsman
662039802a lttng-tools: use absolute path to modprobe 
Instead of relying on it being available in $PATH.
 2014-02-02 14:00:09 +01:00
Vladimír Čunát
6e2d3b9847 Merge master into x-updates 2014-02-02 10:05:25 +01:00
Vladimír Čunát
5888f27c56 automake-1.10: remove, probably vulnerable CVE-2012-3386 
The only user was xorg ATM, which I would remove from anyway.
 2014-01-30 13:49:22 +01:00
Petr Rockai
4124bb9ff5 Adopt more packages. 2014-01-28 18:11:00 +01:00
Petr Rockai
6f5be260b4 Adopt packages. 2014-01-28 17:31:17 +01:00
Eelco Dolstra
d92dc9bb3e gdb: Build on Darwin 
Note that it doesn't actually work unless you run it as root, because
the Darwin kernel disallows unsigned debuggers (you'll get an error
message "please check gdb is codesigned").
 2014-01-28 11:03:01 +01:00
Eelco Dolstra
e07ce3314d Fix some "meta.licenses" attributes 2014-01-25 03:04:46 +01:00
Vladimír Čunát
0a58b512cb Merge master into stdenv-updates 
Conflicts (simple):
	pkgs/development/compilers/gcc/4.8/default.nix
	pkgs/development/compilers/llvm/default.nix
	pkgs/development/libraries/gmp/5.1.1.nix
	pkgs/development/libraries/gmp/5.1.3.nix
	pkgs/development/libraries/gmp/5.1.x.nix
	pkgs/top-level/all-packages.nix
 2014-01-18 14:46:20 +01:00
Eelco Dolstra
7a6255e4e1 patchelf: Update to 0.8 
This fixes a segfault in building Eclipse and the Android SDK.
 2014-01-14 14:21:27 +01:00
Nixpkgs Monitor
88953a5799 automake114x: update from 1.14 to 1.14.1 2014-01-13 17:05:44 +01:00
Vladimír Čunát
a2c316288c Merge master into stdenv-updates 
Conflicts:
	pkgs/development/lisp-modules/stumpwm/default.nix (auto-solved)
	pkgs/top-level/all-packages.nix (trivial)
 2014-01-12 12:29:24 +01:00
Domen Kožar
73252021bb icon-naming-utils: add librsvg dependency and meta.platforms 2014-01-10 01:45:32 +01:00
Eelco Dolstra
ffd6557dc6 patchelf: Update to 0.7 2014-01-07 17:44:03 +01:00
Eelco Dolstra
1e986d8de3 binutils: Use dynamic instead of shared libraries 
This reduces the size of binutils from 29 to 17 MiB.
 2014-01-07 15:01:59 +01:00
Eelco Dolstra
4b31f920b6 binutils: Get rid of a redundant copy of gold 2014-01-07 14:55:55 +01:00
Eelco Dolstra
320209a618 Merge deterministicStdenv into the default stdenv 
This means that (on Linux) strip uses
"--enable-deterministic-archives" and ld uses the
BFD_DETERMINISTIC_OUTPUT flag.
 2014-01-07 13:57:42 +01:00
Tomasz Kontusz
fc55c71fb8 Add platforms and maintainers to d-feet. 2014-01-06 00:48:23 +01:00
Tomasz Kontusz
a504b97e3e Add d-feet, a DBus debugger 2014-01-05 23:57:59 +01:00
Vladimír Čunát
9443129b08 Merge master into stdenv-updates 
Conflicts:
	pkgs/development/libraries/glibc/2.18/common.nix (take stdenv-updates)
	pkgs/misc/emulators/zsnes/default.nix (more complex, build tested)
	pkgs/top-level/all-packages.nix (auto-solved)
 2014-01-04 18:34:53 +01:00
Bjørn Forsman
4d6605e882 Whitespace fixes in package expressions I maintain 2014-01-02 17:58:08 +01:00
Vladimír Čunát
e740b565cf Merge master into stdenv-updates 
Conflicts (easy):
	pkgs/development/compilers/llvm/default.nix
	pkgs/development/compilers/openjdk/default.nix
	pkgs/development/libraries/icu/default.nix
	pkgs/development/libraries/libssh/default.nix
	pkgs/development/libraries/libxslt/default.nix
	pkgs/development/tools/parsing/bison/3.x.nix
 2013-12-29 10:01:22 +01:00
Nixpkgs Monitor
32b2973807 ccache: update from 3.1.7 to 3.1.9 2013-12-18 18:18:21 +02:00
Nixpkgs Monitor
37d39237ab avrdude: update from 5.11 to 6.0.1 2013-12-18 18:18:18 +02:00
Nixpkgs Monitor
8970fb09ab autogen: update from 5.17 to 5.18 2013-12-18 18:18:17 +02:00
Peter Simons
45e8de9a7d Merge branch 'origin/master' into stdenv-updates. 
Conflicts:
	pkgs/tools/misc/less/default.nix
 2013-12-16 21:13:24 +01:00
Nixpkgs Monitor
53754a0397 help2man: update from 1.40.8 to 1.43.3 2013-12-15 13:03:15 +02:00
Nixpkgs Monitor
202ea363c4 astyle: update from 2.02.1 to 2.04 2013-12-15 11:25:54 +02:00
Nixpkgs Monitor
537a5d4b70 gdb: update from 7.6.1 to 7.6.2 2013-12-14 04:36:56 +02:00
Nixpkgs Monitor
8cfaf0697c global: update from 6.2.2 to 6.2.9 2013-12-12 03:11:34 +02:00
Nixpkgs Monitor
57826becea gengetopt: update from 2.22.5 to 2.22.6 2013-12-12 03:11:34 +02:00
Peter Simons
486e7736df Merge remote-tracking branch 'origin/master' into stdenv-updates. 
Conflicts:
	pkgs/tools/networking/p2p/amule/default.nix
 2013-12-10 00:25:54 +01:00
Jason "Don" O'Conal
1d7108d5f5 drush: add expression 2013-12-05 04:38:35 +00:00
Peter Simons
c32bf83301 Merge remote-tracking branch 'origin/master' into stdenv-updates. 
Conflicts:
	pkgs/development/interpreters/perl/5.16/default.nix
	pkgs/tools/networking/curl/default.nix
	pkgs/top-level/all-packages.nix
	pkgs/top-level/release-python.nix
	pkgs/top-level/release-small.nix
	pkgs/top-level/release.nix
 2013-12-04 18:33:52 +01:00
Jason "Don" O'Conal
b3504c7bf5 complexity: fix build 2013-11-28 23:52:49 +00:00
Michael Raskin
5c90e785b2 Updating LuaRocks to 2.1.1 2013-11-25 10:59:38 +04:00
Shea Levy
7ab7be0cc3 Add automake 1.14 
Signed-off-by: Shea Levy <shea@shealevy.com>
 2013-11-23 21:18:37 -05:00
Song Wenwu
61b8ebc77f swig: bump 2.0.4 -> 2.0.11 2013-11-22 09:41:17 +08:00
Bjørn Forsman
04ce6241ac lttv: update 1.5-beta1 -> 1.5 
This makes lttv build again with the new GTK+ version that was recently
updated in nixpkgs.
 2013-11-15 00:19:15 +01:00
Bjørn Forsman
fbfa569efd stlink: fix chroot build 
Add sha256 attribute to fetchgit to make it a fixed-output derivation
(needed for chroot builds).
 2013-11-13 23:30:47 +01:00
Bjørn Forsman
a8d63681db stlink: fix package name 
To stop nixpkgs-lint from saying "stlink: package has no version".
 2013-11-13 23:25:48 +01:00
Bjørn Forsman
f4f18c11b6 uhd: bump 3.5.2 -> 3.5.4 
It seems upstream changed the hash of the 3.5.2 archive so it doesn't
build anymore. Bump it instead of just updating the hash.
 2013-11-10 16:22:38 +01:00
Bjørn Forsman
e0b7eeb0ad uhd: new package 
UHD is USRP Hardware Driver (for Software Defined Radio).
 2013-11-09 22:15:52 +01:00
Lluís Batlle i Rossell
3e8e635be7 Updating gdb to 7.6.1 2013-11-08 17:27:57 +01:00
Eelco Dolstra
58af4fb11e Update some more platforms 2013-11-06 10:58:20 +01:00
Mathijs Kwik
609f8dc04b Merge branch 'master' into stdenv-updates 
Conflicts:
	pkgs/top-level/all-packages.nix
 2013-11-01 08:31:54 +01:00
Domen Kožar
09fa7304ae ninka: update to 1.1 and refactor 2013-10-30 11:47:12 +01:00
Peter Simons
91f2c362de Merge remote-tracking branch 'origin/master' into stdenv-updates. 
Conflicts:
	pkgs/top-level/all-packages.nix
 2013-10-26 18:28:05 +02:00
Bjørn Forsman
a13ed71b43 xc3sprog: new package 
xc3sprog is command-line tools for programming FPGAs, microcontrollers
and PROMs via JTAG.

Homepage: http://xc3sprog.sourceforge.net/

I'm using the latest from subversion as xc3sprog doesn't seem to make
proper releases. There are only a few seemingly random snapshots at
sourceforge. And these snapshots are built binary packages, not source
archives.

NOTE: I haven't tested this on any hardware yet.
 2013-10-26 12:43:12 +02:00
Michael Raskin
20e8f46022 Updating luarocks to 2.1.0 2013-10-20 21:08:09 +04:00
Michael Raskin
96585205d7 Updating CL-Launch to 3.22.1 2013-10-20 21:07:48 +04:00
Michael Raskin
be5b32e798 Apparently fix texinfo5 with fresh TeXLive 2013-10-20 19:15:11 +04:00
Peter Simons
6be8ad3392 Merge branch 'origin/master' into stdenv-updates. 
There was a minor conflict in 'stumpwm'. The package needs texinfo
version 4.x. At least is used to, I'm not sure whether it still does.
 2013-10-18 18:57:24 +02:00
Bjørn Forsman
083d0890f5 More description fixes 
* Remove package name
* Start with upper case letter
* Remove trailing period

Also reword some descriptions and move some long descriptions to
longDescription.

I'm not touching generated packages.
 2013-10-06 12:01:38 +02:00
Bjørn Forsman
28ac782583 Some description fixes 
There are many more packages to fix, this is just a start.

Rules:
 * Don't repeat the package name (not always that easy...)
 * Start with capital letter
 * Don't end with full stop
 * Don't start with "The ..." or "A ..."

I've also added descriptions to some packages and rewritten others.
 2013-10-05 19:36:23 +02:00
Peter Simons
ac5d5297dd Merge remote-tracking branch 'origin/master' into stdenv-updates. 2013-10-02 22:44:12 +02:00
Peter Simons
b15c3e49e5 texinfo: remove obsolete version 4.9 2013-09-28 10:37:05 +02:00
Peter Simons
8ff3855204 texinfo: update to version 5.2 2013-09-28 10:36:34 +02:00
Moritz Ulrich
36fca94805
Fix some issues in my packages reported by nixpkgs-lint. 
Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>
 2013-09-26 20:03:57 +00:00
Peter Simons
e4f6e4b15d gnum4: drop obsolete patches 2013-09-22 16:35:54 +02:00
Peter Simons
ee3dc2d0c9 gnum4: fix download URL 2013-09-22 16:32:26 +02:00
Peter Simons
8d6b23a60a gnum4: update to version 1.4.17 2013-09-22 16:27:44 +02:00
Vladimír Čunát
2c7c65595d Revert "binutils: minor update 2.23.1 -> .2" 
This reverts commit 15f96c840f.
See #909.

Conflicts (trivial, auto-resolved):
	pkgs/development/tools/misc/binutils/default.nix
 2013-09-16 15:53:40 +02:00
Peter Simons
24366adf19 Merge remote-tracking branch 'origin/master' into stdenv-updates. 2013-09-14 15:28:40 +02:00
Krofek
51f63b1d03 Merge branch 'master' of https://github.com/Krofek/nixpkgs 2013-09-14 00:28:27 +02:00
Krofek
da21a852c3 gtkdialog: update to 0.8.3 2013-09-14 00:10:17 +02:00
Rickard Nilsson
45b8a1b1ff avrdude: Update to version 5.11 2013-09-13 00:28:02 +02:00
Mathijs Kwik
2f428bbb46 Merge remote-tracking branch 'official/master' into stdenv-updates 2013-09-11 10:56:47 +02:00
Peter Simons
701937b085 binutils: remove unused flex2535, bc, and dejagnu arguments 2013-09-09 10:34:37 +02:00
Peter Simons
3d2caf1180 Merge remote-tracking branch 'origin/master' into stdenv-updates. 2013-09-08 22:54:35 +02:00
Vladimír Čunát
9766dbb1df dejagnu: minor update 2013-09-07 16:20:39 +02:00
Vladimír Čunát
b1be46e932 Merge branch 'master' into x-updates 2013-09-07 16:19:46 +02:00
Bjørn Forsman
86c7583ab4 lttng: 2.2.x -> 2.3.0 2013-09-05 22:46:07 +02:00
Vladimír Čunát
c074433fc6 binutils: add support for x86_64 in i686 builds (close #857) 
Also some style refactoring around repeating "stdenv.lib.optional*".
The author of the idea is @errge.
 2013-09-02 22:03:43 +02:00
Vladimír Čunát
74488e2b58 Merge branch 'x-updates' into stdenv-updates 
Conflicts (simple):
	pkgs/development/libraries/glib/default.nix
	pkgs/development/libraries/mesa/default.nix
 2013-09-02 15:44:57 +02:00
Bjørn Forsman
36564b72fe uncrustify: new package 
Uncrustify is a source code beautifier for C, C++, C#, ObjectiveC, D,
Java, Pawn and VALA.

Homepage: http://uncrustify.sourceforge.net/
 2013-08-31 09:42:20 +02:00
Peter Simons
9ac8ea937c Merge branch 'origin/master' into stdenv-updates. 2013-08-26 12:21:23 +02:00
Vladimír Čunát
c1e62e7e91 Merge branch 'master' into x-updates 2013-08-22 19:29:09 +02:00
Peter Simons
2badada2be haskell-cpphs: update to version 1.17.1 2013-08-19 20:54:51 +02:00
Petr Rockai
374a27fe8e binutils: Also enable plugins when building with gold. 2013-08-18 21:14:16 +02:00
Peter Simons
e6e33e3d08 haskell-cpphs: update to version 1.17 2013-08-18 18:49:12 +02:00
Peter Simons
0d7118814b Merge branch 'origin/master' into stdenv. 2013-08-17 10:00:16 +02:00
Ludovic Courtès
2e937c437a unmaintain several packages 2013-08-16 23:45:01 +02:00