Commit Graph
79575 Commits
Author SHA1 Message Date
Eelco Dolstra 1417d5f300 * Updated the Sqlite Nix.
svn path=/nixpkgs/trunk/; revision=23475
2010-08-27 08:43:51 +00:00
Rob Vermaas fedbaa9d7a remove pdfssa4met again, because it was added by accident
svn path=/nixpkgs/trunk/; revision=23474
2010-08-27 06:53:36 +00:00
Rob Vermaas 092ab39b1b added rdflib, pdfssa4met python packages
svn path=/nixpkgs/trunk/; revision=23473
2010-08-27 06:32:49 +00:00
Lluís Batlle i Rossell 9884d381c0 Tell hydra to build the kernels 2.6.34 and 2.6.35
svn path=/nixpkgs/trunk/; revision=23472
2010-08-26 20:53:10 +00:00
Peter Simons 62021d80dc pkgs/applications/editors/emacs-modes/maude: the "official" maude mode is crap; use the one from sourceforge instead
svn path=/nixpkgs/trunk/; revision=23471
2010-08-26 19:03:52 +00:00
Peter Simons c1469fba93 pkgs/development/libraries/tecla: enable Hydra build on all platforms
svn path=/nixpkgs/trunk/; revision=23470
2010-08-26 18:43:37 +00:00
Peter Simons b41eb608da pkgs/development/libraries/buddy: enable Hydra build on all platforms
svn path=/nixpkgs/trunk/; revision=23469
2010-08-26 18:43:29 +00:00
Peter Simons 687c9ddb3e pkgs/applications/editors/emacs-modes/maude: updated to version 2
svn path=/nixpkgs/trunk/; revision=23468
2010-08-26 18:19:19 +00:00
Peter Simons 91f20b6289 pkgs/development/interpreters/maude: updated to version 2.5
svn path=/nixpkgs/trunk/; revision=23467
2010-08-26 18:09:14 +00:00
Peter Simons 49c437a31e pkgs/applications/science/math/maxima: use a correct license tag
Thanks, Ludovic.

svn path=/nixpkgs/trunk/; revision=23466
2010-08-26 17:57:14 +00:00
Eelco Dolstra a9da4153c4 * Fix an infinite recursion in scons.
svn path=/nixpkgs/trunk/; revision=23464
2010-08-26 13:30:25 +00:00
Eelco Dolstra 6e0911c3cb * Doh.
svn path=/nixpkgs/trunk/; revision=23463
2010-08-26 13:18:47 +00:00
Eelco Dolstra fee41ba2fb * Make sitecopy build against Neon 0.29.
svn path=/nixpkgs/trunk/; revision=23461
2010-08-26 13:09:52 +00:00
Peter Simons a2aef1ab80 pkgs/top-level/python-packages.nix: pexpect doesn't have regression tests
svn path=/nixpkgs/trunk/; revision=23459
2010-08-26 12:52:43 +00:00
Peter Simons 25308dd098 pkgs/development/tools/build-managers/scons: updated to version 2.0.1
svn path=/nixpkgs/trunk/; revision=23457
2010-08-26 12:24:16 +00:00
Peter Simons 0bc62c5ad7 pkgs/top-level/all-packages.nix: wrap emacs23Packages in "recurseIntoAttrs" so that these packages are visible in nix-env
svn path=/nixpkgs/trunk/; revision=23456
2010-08-26 12:21:15 +00:00
Marco Maggesi b7a84503f3 Update fossil to version 2010-08-23 22:24:16
svn path=/nixpkgs/trunk/; revision=23455
2010-08-26 12:10:58 +00:00
Peter Simons 3b94efffe5 pkgs/development/interpreters/python/2.5: removed obsolete python version 2.5
Python 2.5 is unused in nixpkgs -- 2.6 has been the default version for
quite a while.

svn path=/nixpkgs/trunk/; revision=23454
2010-08-26 12:09:42 +00:00
Peter Simons 098b763939 pkgs/applications/science/logic/prover9: fixed trivial syntax error
svn path=/nixpkgs/trunk/; revision=23453
2010-08-26 12:06:05 +00:00
Peter Simons eb37b385f9 pkgs/top-level/python-packages.nix: added pexpect version 2.3
svn path=/nixpkgs/trunk/; revision=23452
2010-08-26 12:03:17 +00:00
Peter Simons 2c4c301c9b pkgs/applications/science/math/wxmaxima: updated to version 0.8.6
svn path=/nixpkgs/trunk/; revision=23451
2010-08-26 11:53:17 +00:00
Peter Simons 83ae38861e pkgs/applications/science/math/maxima: added license tag
svn path=/nixpkgs/trunk/; revision=23450
2010-08-26 11:51:10 +00:00
Peter Simons 88b126b9ca pkgs/applications/science/math/maxima: build this package on Unix'ish platforms, but not on Windows
svn path=/nixpkgs/trunk/; revision=23449
2010-08-26 11:49:54 +00:00
Peter Simons 24e71fa8fc pkgs/applications/science/math/maxima: updated to version 5.22.1
svn path=/nixpkgs/trunk/; revision=23448
2010-08-26 11:44:43 +00:00
Peter Simons 403938b004 pkgs/applications/science/logic/prover9: updated homepage and license
svn path=/nixpkgs/trunk/; revision=23447
2010-08-26 11:42:41 +00:00
Peter Simons 340d4a6ddd pkgs/applications/science/logic/prover9: initial version
svn path=/nixpkgs/trunk/; revision=23446
2010-08-26 11:37:05 +00:00
Peter Simons d25c8b5882 pkgs/top-level/all-packages.nix: stripped trailing whitespace
svn path=/nixpkgs/trunk/; revision=23444
2010-08-26 09:45:10 +00:00
Peter Simons f79ba3cde3 pkgs/top-level/all-packages.nix: don't use getPkgConfig to configure Doxygen; use override instead
svn path=/nixpkgs/trunk/; revision=23443
2010-08-26 09:44:53 +00:00
Peter Simons a51fc5c66d pkgs/development/tools/documentation/doxygen: strip trailing whitespace
svn path=/nixpkgs/trunk/; revision=23442
2010-08-26 09:44:23 +00:00
Peter Simons 40c02f3cd6 pkgs/development/tools/documentation/doxygen: updated to version 1.7.1
svn path=/nixpkgs/trunk/; revision=23441
2010-08-26 09:43:30 +00:00
Peter Simons 9f26d6e101 pkgs/development/tools/documentation/doxygen: updated meta section for Hydra
Build doxygen on all Unix'ish platforms.

svn path=/nixpkgs/trunk/; revision=23440
2010-08-26 09:42:40 +00:00
Peter Simons 0b8f30aa8f pkgs/tools/admin/tightvnc/builder.sh: drop trailing whitespace
svn path=/nixpkgs/trunk/; revision=23439
2010-08-26 09:42:05 +00:00
Peter Simons 7b9b8f9e2e pkgs/tools/admin/tightvnc/default.nix: added meta section (plus various cosmetic changes)
svn path=/nixpkgs/trunk/; revision=23438
2010-08-26 09:41:22 +00:00
Peter Simons d343d907a9 pkgs/tools/admin/tightvnc/builder.sh: install java classes to $out/share/tightvnc rather than $out/vnc
svn path=/nixpkgs/trunk/; revision=23437
2010-08-26 09:39:32 +00:00
Michael Raskin 4f6c18925d Fix installation for updated E prover release
svn path=/nixpkgs/trunk/; revision=23435
2010-08-26 04:34:20 +00:00
Michael Raskin 05c7e81eaa Move E prover to applications/science/logic
svn path=/nixpkgs/trunk/; revision=23434
2010-08-25 22:38:11 +00:00
Michael Raskin 091be03f65 Update E prover
svn path=/nixpkgs/trunk/; revision=23433
2010-08-25 22:23:55 +00:00
Eelco Dolstra 412bd09ec1 * OpenSSH 5.6.
svn path=/nixpkgs/trunk/; revision=23432
2010-08-25 21:12:36 +00:00
Peter Simons 970b3402e9 pkgs/applications/science/logic/hol: initial version
svn path=/nixpkgs/trunk/; revision=23430
2010-08-25 19:50:24 +00:00
Michael Raskin 9570117dc4 Make TeXLive-linkdir skip not try to wrap directories in libexec
svn path=/nixpkgs/trunk/; revision=23429
2010-08-25 19:31:23 +00:00
Lluís Batlle i Rossell 0fa35eee66 I still had an error in the stdenvLinux bootstrap; for the previous commit, I
had a little svn mess in the working directory that ended up in a not working
stdenvLinux.

This time I even chose better names for the attributes, so they match better
the comments.


svn path=/nixpkgs/branches/stdenv-updates/; revision=23428
2010-08-25 19:15:16 +00:00
Rob Vermaas 9fa88c5291 added libxpdf and pdf2xml
svn path=/nixpkgs/trunk/; revision=23427
2010-08-25 14:25:51 +00:00
Lluís Batlle i Rossell 0bfa3b030a Finally I wrote well building binutils before glibc in stdenvLinux.
I had done an attempt recently, unsuccesful, which ended in a recent revert.
This change works.
I even updated the comments in the file.


svn path=/nixpkgs/branches/stdenv-updates/; revision=23425
2010-08-25 13:22:48 +00:00
Andres Löh 907b921c61 Applied (with edits) the patch provided by James Cook to add the
Haskell fingertree library. Thanks for the contribution.

svn path=/nixpkgs/trunk/; revision=23424
2010-08-25 13:08:32 +00:00
Ludovic Courtès 821c95173f libuuid: Add static cross-build for GNU/Hurd.
svn path=/nixpkgs/trunk/; revision=23419
2010-08-25 12:49:54 +00:00
Eelco Dolstra f067d179ab * Create /nix/var/nix/gcroots/tmp in the activation script. The
build hook uses this directory to store temporary GC roots.  (It
  creates it if it doesn't exist, but it's better to do it here as
  well to ensure the right ownership and permissions.)
* Clear /nix/var/nix/gcroots/tmp and /nix/var/nix/temproots at boot
  time.

svn path=/nixos/trunk/; revision=23417
2010-08-25 11:59:04 +00:00
Ludovic Courtès a806414146 libuuid: Make cross-buildable for GNU/Hurd (needed by GNU Parted).
svn path=/nixpkgs/trunk/; revision=23415
2010-08-25 08:57:10 +00:00
Lluís Batlle i Rossell e7c47f424f The uclibc used in bootstrap-tools needs some options to allow bzip2 to build
with it.


svn path=/nixpkgs/branches/stdenv-updates/; revision=23414
2010-08-24 22:29:58 +00:00
Lluís Batlle i Rossell 63c3d72aa6 Updating the nvidiaLegacy nixos xserver driver to a numbered name, to match the current
*two* possibilities of nvidia legacy driver in nixpkgs.


svn path=/nixos/trunk/; revision=23412
2010-08-24 22:00:18 +00:00
Lluís Batlle i Rossell 02e4b5ffa4 Adding another nvidia legacy driver. (they have one more, '71').
I use their major numbers to distinguish.
They seem to do so in http://www.nvidia.com/object/unix.html .

svn path=/nixpkgs/trunk/; revision=23411
2010-08-24 21:56:47 +00:00