Commit graph

12698 commits

Author SHA1 Message Date
Eelco Dolstra 5b9427a829 * SQLite 3.7.4.
svn path=/nixpkgs/trunk/; revision=25049
2010-12-10 10:21:45 +00:00
Michael Raskin 4c83dca2b4 Update X-Moto
svn path=/nixpkgs/trunk/; revision=25047
2010-12-10 05:40:33 +00:00
Tobias Hammerschmidt 4c9fe18b8a broadcom wireless driver - patch by Vladimír Čunát
svn path=/nixpkgs/trunk/; revision=25044
2010-12-09 19:05:19 +00:00
Marco Maggesi 9568a1bc80 * Enable hydra compilation for ocaml 3.11.1 (error in the previous commit)
svn path=/nixpkgs/trunk/; revision=25043
2010-12-09 15:44:05 +00:00
Marco Maggesi 7b49a49cbb * Enable hydra compilation for ocaml 3.11.1
svn path=/nixpkgs/trunk/; revision=25042
2010-12-09 15:41:14 +00:00
Marco Maggesi ac457478e3 * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react
svn path=/nixpkgs/trunk/; revision=25041
2010-12-09 15:40:04 +00:00
Marco Maggesi 114fa21c48 * Add ocaml 3.12.0
svn path=/nixpkgs/trunk/; revision=25040
2010-12-09 14:03:13 +00:00
Eelco Dolstra b555e4d8d6 * NVIDIA drivers updated to 260.19.21.
svn path=/nixpkgs/trunk/; revision=25037
2010-12-08 19:20:01 +00:00
Eelco Dolstra d6f066c8ed * e2fsprogs updated to 1.41.12.
svn path=/nixpkgs/trunk/; revision=25035
2010-12-08 17:58:18 +00:00
Eelco Dolstra 7236f87bed * Bump.
svn path=/nixpkgs/trunk/; revision=25025
2010-12-07 13:16:11 +00:00
Eelco Dolstra 41cffbd0c3 * nixSqlite: use SQLite 3.6.x. 3.7.x gives weird "malformed
disk image" errors.

svn path=/nixpkgs/trunk/; revision=25023
2010-12-07 12:03:07 +00:00
Peter Simons baa9150130 pkgs/development/tools/build-managers/scons: cosmetic build improvements
- The flag "--mandir" has no effect with setup.py. Instead, "--install-data"
   must be used.

 - Don't generate wrappers for trivial symlink aliases in bin.

 - Prefer symlinks over hard-links.

 - The dependencies of this expression don't need to be propagated.

svn path=/nixpkgs/trunk/; revision=25021
2010-12-07 11:41:25 +00:00
Eelco Dolstra 04ec671c8a * Run smbd in its own session / process group (setsid) because smbd
now kills its process group when it exits.  Without setsid, this
  ends up killing the parent (i.e., the builder).
* Use port 445 instead of 139 because the CIFS kernel module tries
  port 445 first.  If there is an actual Samba running on the host, it
  would end up connecting to that one instead of our own and fail.

svn path=/nixpkgs/trunk/; revision=25017
2010-12-06 19:03:32 +00:00
Eelco Dolstra c4d731f52b * Samba updated to 3.5.6. Build with --localstatedir=/var to prevent
smbd from writing in $out/var at runtime.  Also added --with-fhs.

svn path=/nixpkgs/trunk/; revision=25015
2010-12-06 18:59:07 +00:00
Peter Simons 9bd9e32aa8 pkgs/tools/system/ipmitool: move --mandir and --infodir to standard locations
svn path=/nixpkgs/trunk/; revision=25014
2010-12-06 18:01:57 +00:00
Peter Simons d46e80976c pkgs/tools/admin/tightvnc: move --mandir and --infodir to standard locations
svn path=/nixpkgs/trunk/; revision=25013
2010-12-06 18:01:51 +00:00
Peter Simons dffe4189e7 pkgs/tools/X11/x11vnc: move --mandir and --infodir to standard locations
svn path=/nixpkgs/trunk/; revision=25012
2010-12-06 18:01:46 +00:00
Peter Simons 747604d740 pkgs/development/tools/misc/distcc: move --mandir and --infodir to standard locations
svn path=/nixpkgs/trunk/; revision=25011
2010-12-06 18:01:40 +00:00
Peter Simons e47468ce76 pkgs/development/tools/documentation/doxygen: move --mandir and --infodir to standard locations
svn path=/nixpkgs/trunk/; revision=25010
2010-12-06 18:01:34 +00:00
Peter Simons 1e1610b37e pkgs/development/tools/build-managers/scons: move --mandir and --infodir to standard locations
svn path=/nixpkgs/trunk/; revision=25009
2010-12-06 18:01:28 +00:00
Peter Simons d1d201f11e subversion: don't specify both --disable-keychain and --enable-keychain
svn path=/nixpkgs/trunk/; revision=25008
2010-12-06 18:01:22 +00:00
Eelco Dolstra 528a471aa8 * apr-util updated to 1.3.10.
svn path=/nixpkgs/trunk/; revision=25000
2010-12-06 13:34:00 +00:00
Yury G. Kudryashov 292db979cb Be more verbose
svn path=/nixpkgs/trunk/; revision=24997
2010-12-06 12:04:42 +00:00
Yury G. Kudryashov c87a2ea713 Add Netlink library
svn path=/nixpkgs/trunk/; revision=24996
2010-12-06 12:04:36 +00:00
Yury G. Kudryashov f3d4030979 Remove unused items from manifest.nix
svn path=/nixpkgs/trunk/; revision=24995
2010-12-06 12:04:31 +00:00
Yury G. Kudryashov dc44c0eeeb kde-l10n-4.5.3
svn path=/nixpkgs/trunk/; revision=24994
2010-12-06 12:04:27 +00:00
Yury G. Kudryashov 9d8000c968 Fix l10n manifest generation script
svn path=/nixpkgs/trunk/; revision=24993
2010-12-06 12:04:21 +00:00
Yury G. Kudryashov 1f558f78df There will be no kdepim-4.5.x
svn path=/nixpkgs/trunk/; revision=24992
2010-12-06 12:04:16 +00:00
Yury G. Kudryashov eeda98a673 Remove qt-4.5
svn path=/nixpkgs/trunk/; revision=24991
2010-12-06 12:04:09 +00:00
Rob Vermaas f26b267858 fix debian lenny hashes
svn path=/nixpkgs/trunk/; revision=24986
2010-12-06 08:03:11 +00:00
Michael Raskin 07dd3f074b Adding MiniSAT
svn path=/nixpkgs/trunk/; revision=24984
2010-12-05 19:54:27 +00:00
Michael Raskin 011d71dcb8 Adding PARI/GP
svn path=/nixpkgs/trunk/; revision=24983
2010-12-05 19:11:21 +00:00
Michael Raskin 7768fa0178 Fix installation layout
svn path=/nixpkgs/trunk/; revision=24982
2010-12-05 19:08:32 +00:00
Michael Raskin 5cb3f8b659 Missing Singular files
svn path=/nixpkgs/trunk/; revision=24981
2010-12-05 18:37:47 +00:00
Michael Raskin 242d04a69a Adding Singular CAS
svn path=/nixpkgs/trunk/; revision=24980
2010-12-05 18:36:07 +00:00
Michael Raskin 6b8abaa29e Adding OpenSMT
svn path=/nixpkgs/trunk/; revision=24978
2010-12-05 18:22:14 +00:00
Michael Raskin a9f70d542d Adding CVC3 satisfiability modulo theory (SMT) solver
svn path=/nixpkgs/trunk/; revision=24975
2010-12-05 17:28:41 +00:00
Michael Raskin c9c133ab11 Use requireFile for the form-hidden download of JDK 5 (or 1.5, who cares)
svn path=/nixpkgs/trunk/; revision=24972
2010-12-05 11:42:24 +00:00
Michael Raskin 44ac8c5ea1 Adding iProver
svn path=/nixpkgs/trunk/; revision=24969
2010-12-04 18:39:44 +00:00
Michael Raskin c2a8d34118 Add a note about chroot builds
svn path=/nixpkgs/trunk/; revision=24968
2010-12-04 13:07:10 +00:00
Michael Raskin 86e44e72bf Adding SPASS
svn path=/nixpkgs/trunk/; revision=24967
2010-12-04 11:43:01 +00:00
Michael Raskin 0141bfec63 Update SWI Prolog
svn path=/nixpkgs/trunk/; revision=24966
2010-12-04 11:16:39 +00:00
Michael Raskin 64ed7e705d Adding Satallax prover
svn path=/nixpkgs/trunk/; revision=24963
2010-12-03 11:26:34 +00:00
Rob Vermaas 44e152f8d8 add Crypt::RandPasswd perl package
svn path=/nixpkgs/trunk/; revision=24962
2010-12-03 09:51:33 +00:00
Michael Raskin c32bd62956 Adding LEO2 automated higher-order prover
svn path=/nixpkgs/trunk/; revision=24952
2010-12-01 21:29:42 +00:00
Michael Raskin 373fabf1c0 Fix settings patch for Isabelle
svn path=/nixpkgs/trunk/; revision=24951
2010-12-01 21:29:20 +00:00
Michael Raskin b89881d098 Update Isabelle
svn path=/nixpkgs/trunk/; revision=24950
2010-12-01 21:25:21 +00:00
Michael Raskin c1e384b3eb Tests fail for a reason that tells more about tests than sabout built binary
svn path=/nixpkgs/trunk/; revision=24949
2010-12-01 21:11:28 +00:00
Eelco Dolstra 2c814a5b2e * Updated sysstat to the latest stable version.
svn path=/nixpkgs/trunk/; revision=24946
2010-12-01 12:28:37 +00:00
Michael Raskin 77672ac3a4 update muPDF
svn path=/nixpkgs/trunk/; revision=24945
2010-12-01 11:03:52 +00:00