Commit graph

4611 commits

Author SHA1 Message Date
Michael Raskin fb8e4c950f Adding fdm
svn path=/nixpkgs/trunk/; revision=24409
2010-10-21 22:03:36 +00:00
Peter Simons 7b630f442c Added an expression for mod_wsgi-3.3, to be used with Apache 2.
svn path=/nixpkgs/trunk/; revision=24408
2010-10-21 15:39:58 +00:00
Peter Simons c7a87b1669 Added an expression for mod_fastcgi-2.4.6, to be used with Apache 2.
svn path=/nixpkgs/trunk/; revision=24406
2010-10-21 15:39:48 +00:00
Michael Raskin ac19af507f Adding Linux 2.6.36
svn path=/nixpkgs/trunk/; revision=24403
2010-10-21 12:28:14 +00:00
Eelco Dolstra 3ac4025945 * Add some packages to the channel.
svn path=/nixpkgs/trunk/; revision=24397
2010-10-21 11:18:30 +00:00
Peter Simons 5019f883f3 pkgs/tools/text/recode: added (heavily patched) version 3.6
svn path=/nixpkgs/trunk/; revision=24384
2010-10-20 13:05:49 +00:00
Rob Vermaas 202774b93e added ftgl, gource
svn path=/nixpkgs/trunk/; revision=24379
2010-10-20 10:53:45 +00:00
Eelco Dolstra f58a799695 * Updated Compiz to 0.8.6 (replacing the old Compiz and Compiz Fusion
expressions).  Also added patches to allow Compiz and ccsm to find
  plugins installed outside of its prefix.

svn path=/nixpkgs/trunk/; revision=24373
2010-10-19 23:22:24 +00:00
Ludovic Courtès c75c5a5991 Add MP3Info, an MP3 tag editor.
svn path=/nixpkgs/trunk/; revision=24363
2010-10-19 13:19:59 +00:00
Ludovic Courtès ce292f38f9 Add IcedTea.
This is an old attempt at making it work.  Help welcome!

svn path=/nixpkgs/trunk/; revision=24360
2010-10-19 08:19:46 +00:00
Yury G. Kudryashov c55c317e24 Fix evaluation
svn path=/nixpkgs/trunk/; revision=24349
2010-10-18 12:18:07 +00:00
Sander van der Burg 0cc4ca1fcd Changed my dirty libiconv hacks I once made for i686-freebsd, into a more consistent manner by checking for a non-Linux platform in the build expressions. Hopefully, this increases portability for non-Linux platforms
svn path=/nixpkgs/trunk/; revision=24347
2010-10-18 11:30:44 +00:00
Yury G. Kudryashov 4f27541261 Advance k3b version to 2.0.1.
Submitted by Karn Kallio

svn path=/nixpkgs/trunk/; revision=24338
2010-10-18 09:48:32 +00:00
Michael Raskin bc73cd0f7e Add ripmime - MIME attachment extractor tool
svn path=/nixpkgs/trunk/; revision=24337
2010-10-18 09:43:17 +00:00
Michael Raskin b2e9e9757c Adding philter mail sorter
svn path=/nixpkgs/trunk/; revision=24336
2010-10-18 05:33:31 +00:00
Michael Raskin e53d966a21 Add getmail
svn path=/nixpkgs/trunk/; revision=24334
2010-10-17 19:30:59 +00:00
Yury G. Kudryashov c703c1d560 hspell (another KDE dependency)
svn path=/nixpkgs/trunk/; revision=24331
2010-10-17 18:44:00 +00:00
Ludovic Courtès 80fee739e2 GNU Automake: Default to 1.11.x.
svn path=/nixpkgs/trunk/; revision=24299
2010-10-15 12:09:10 +00:00
Eelco Dolstra 1758b488e6 * Some hackery to make the split KDE packages available both
individually and combined.  For instance, you can say

    environment.systemPackages = [ pkgs.kde4.kdesdk.kcachegrind ];

  for just kcachegrind, or 

    environment.systemPackages = [ pkgs.kde4.kdesdk ];

  to get all of kdesdk.  Everything can also be installed by name
  through nix-env.  (There is a name clash between the ColorSchemes
  packages in kdeaccessibility and kdeartwork, though.)

svn path=/nixpkgs/trunk/; revision=24294
2010-10-14 16:49:41 +00:00
Evgeny Egorochkin 66e7ed0a89 IPW2100 Firmware: Packaged
svn path=/nixpkgs/trunk/; revision=24283
2010-10-14 12:12:27 +00:00
Evgeny Egorochkin cd9d20d2e7 incrTcl: packaged
svn path=/nixpkgs/trunk/; revision=24279
2010-10-14 11:54:13 +00:00
Evgeny Egorochkin 5a4bc5b072 URT library: packaged
svn path=/nixpkgs/trunk/; revision=24278
2010-10-14 11:54:06 +00:00
Evgeny Egorochkin 0dfc76901b JaMa library: packaged
svn path=/nixpkgs/trunk/; revision=24277
2010-10-14 11:53:59 +00:00
Evgeny Egorochkin 41ff904b91 TNT library: packaged
svn path=/nixpkgs/trunk/; revision=24276
2010-10-14 11:53:53 +00:00
Michael Raskin dc1f986944 Remove libcv; reference opencv instead.
svn path=/nixpkgs/trunk/; revision=24272
2010-10-14 10:45:36 +00:00
Michael Raskin 494ba6a813 Add unicap
svn path=/nixpkgs/trunk/; revision=24271
2010-10-14 10:10:45 +00:00
Andres Löh b421bbd0ea Added a few Haskell packages as submitted by Ilya Cassina.
svn path=/nixpkgs/trunk/; revision=24269
2010-10-13 21:18:35 +00:00
Lluís Batlle i Rossell aa19343599 More cross packages for the nanonote
svn path=/nixpkgs/branches/stdenv-updates/; revision=24268
2010-10-13 20:47:24 +00:00
Michael Raskin ae55f51ab6 Add missing XRender buildinputs for WebKit
svn path=/nixpkgs/trunk/; revision=24265
2010-10-13 13:11:50 +00:00
Michael Raskin 68324f8d09 Pass needed "which" to WebKit
svn path=/nixpkgs/trunk/; revision=24261
2010-10-13 11:53:58 +00:00
Eelco Dolstra cdb8d4dfc8 * Typo.
svn path=/nixpkgs/trunk/; revision=24253
2010-10-12 22:03:37 +00:00
Lluís Batlle i Rossell 57df19fe85 utf-8 was not working in cross-built ncurses programs due to some old problem
cross-building ncursesw not present anymore. I reenable unicode cross-building.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24245
2010-10-12 19:06:04 +00:00
Andres Löh ff00c38541 Added a few Haskell packages, updated vty.
svn path=/nixpkgs/trunk/; revision=24231
2010-10-12 07:02:25 +00:00
Lluís Batlle i Rossell 18372e5a56 Reverting the patch that disabled using the 'binutils snapshot', because it's
needed for the fuloong minipc. It was not enough having the loongson2f patches;
only having the patches, we got troubles building cups with a segfault on the
dynamic loader running their 'genstrings' program.  And if sysvinit needs newer
binutils (I can't remember why, but I wrote it in the all-packages.nix before),
then let's use the snapshot.

As a note about "why this snapshot" (civodul was interested), when I knew that
we needed an unreleased version of binutils I went to download the snapshot of
the day. And it worked. This is all the story.

svn path=/nixpkgs/branches/stdenv-updates/; revision=24229
2010-10-11 23:18:00 +00:00
Yury G. Kudryashov 14d76affde Cleanup
svn path=/nixpkgs/trunk/; revision=24224
2010-10-11 19:59:22 +00:00
Yury G. Kudryashov 08adc088e5 Really switch to kde-4.5
svn path=/nixpkgs/trunk/; revision=24212
2010-10-11 07:11:19 +00:00
Eelco Dolstra 0fcf6e1f40 * Added xfce4-mixer. This requires gstreamer and gst-plugins-base.
* Allow gst-plugins-base to be built with a minimal set of dependencies
  (to prevent dependency bloat in Xfce).
* Updated gstreamer.

svn path=/nixpkgs/trunk/; revision=24207
2010-10-10 22:34:48 +00:00
Lluís Batlle i Rossell e7e103b8eb Updating from trunk (to catch cron changes)
svn path=/nixpkgs/branches/stdenv-updates/; revision=24200
2010-10-10 11:44:28 +00:00
Yury G. Kudryashov d8d6ffefb6 Switch to kde-4.5 by default
svn path=/nixpkgs/trunk/; revision=24192
2010-10-10 07:39:01 +00:00
Eelco Dolstra 35014ba441 svn path=/nixpkgs/trunk/; revision=24190 2010-10-09 21:21:10 +00:00
Michael Raskin 429ee87b89 Adding GNU barcode
svn path=/nixpkgs/trunk/; revision=24173
2010-10-08 08:48:34 +00:00
Michael Raskin 981e71fa3e Add FF4.0 beta 6
svn path=/nixpkgs/trunk/; revision=24172
2010-10-08 08:28:00 +00:00
Michael Raskin 9f5b63a7d1 Adding a top-level attribute for libpng-apng
svn path=/nixpkgs/trunk/; revision=24169
2010-10-08 05:58:00 +00:00
Lluís Batlle i Rossell bdb096bb92 Instead of using binutils snapshot for the loongson2f, let's use the released version + patches.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24164
2010-10-07 22:44:18 +00:00
Lluís Batlle i Rossell bf6f39fb7c Adding a patch fixing ARM trouble on the recent linux 2.6.35
svn path=/nixpkgs/branches/stdenv-updates/; revision=24158
2010-10-07 22:10:28 +00:00
Lluís Batlle i Rossell fca582bff0 Updating from trunk. I had to resolve the pcre and some stdenv2 in all-packages
svn path=/nixpkgs/branches/stdenv-updates/; revision=24155
2010-10-07 21:21:31 +00:00
Ludovic Courtès 40e57793f9 Add Check, a unit testing framework for C.
svn path=/nixpkgs/trunk/; revision=24127
2010-10-07 07:29:36 +00:00
Lluís Batlle i Rossell b7ce93bfc4 Making wxGTK28 use gtkLibs instead of the older gtkLibs218 (this gave trouble
when linking wxGTK28 programs with other glib based things like gstreamer, ...)

svn path=/nixpkgs/trunk/; revision=24117
2010-10-06 15:32:25 +00:00
Yury G. Kudryashov d25e79afec Pass pango to kmplayer
svn path=/nixpkgs/trunk/; revision=24095
2010-10-05 18:08:40 +00:00
Yury G. Kudryashov 673e66e3a3 Move most kde-extragear apps to top-level
svn path=/nixpkgs/trunk/; revision=24092
2010-10-05 17:44:33 +00:00
Yury G. Kudryashov d7d8f7d64f Force stdenv2 in kde4 scope
svn path=/nixpkgs/trunk/; revision=24090
2010-10-05 17:44:11 +00:00
Yury G. Kudryashov 739f82a526 Digikam-1.4.0, move to all-packages.nix
svn path=/nixpkgs/trunk/; revision=24089
2010-10-05 17:44:05 +00:00
Yury G. Kudryashov bf340ad55a Move kipi-plugins to apps/graphics
svn path=/nixpkgs/trunk/; revision=24088
2010-10-05 17:43:57 +00:00
Yury G. Kudryashov abbd67b2d5 Remove kde44 from release.nix. Will use meta.platforms
svn path=/nixpkgs/trunk/; revision=24087
2010-10-05 17:43:50 +00:00
Andres Löh 657572abc8 Added new (modular) gtk2hs and threadscope.
svn path=/nixpkgs/trunk/; revision=24086
2010-10-05 17:30:17 +00:00
Eelco Dolstra 0bd5f00696 * Updated Tomcat to 5.0.27.
svn path=/nixpkgs/trunk/; revision=24066
2010-10-05 10:39:12 +00:00
Yury G. Kudryashov 1099a83b54 Make kadu build in chroot. TODO: re-enable icons
svn path=/nixpkgs/trunk/; revision=24064
2010-10-05 05:43:59 +00:00
Yury G. Kudryashov 67b5d732a2 Move kdevplatform and kdevelop to all-packages.nix
svn path=/nixpkgs/trunk/; revision=24063
2010-10-05 05:43:39 +00:00
Ludovic Courtès bcba3664d9 Add U-Boot for the GuruPlug.
svn path=/nixpkgs/trunk/; revision=24060
2010-10-04 22:23:57 +00:00
Russell O'Connor b36f4c74bd openjade requires a version of opensp built with gcc33 in order to compile.
svn path=/nixpkgs/trunk/; revision=24057
2010-10-04 17:05:22 +00:00
Russell O'Connor 228303d47e Merging roconnor's and ludo' texmacs derivations.
texmacs now has extra font options.
texmacs is abstracted over which tex it uses (AFAIK texmacs only uses metafont).
texmacs now depends on aspell, ghostscript soft dependencies.

svn path=/nixpkgs/trunk/; revision=24054
2010-10-04 15:07:38 +00:00
Peter Simons a0bee2ae1b pkgs/top-level/all-packages.nix: strip trailing whitespace
svn path=/nixpkgs/trunk/; revision=24045
2010-10-04 09:49:25 +00:00
Peter Simons 600b4b7ee7 Moved "flup" from all-packages.nix into python-packages.nix.
svn path=/nixpkgs/trunk/; revision=24044
2010-10-04 09:49:09 +00:00
Evgeny Egorochkin ef403beb48 Gobby: rename to gobby5 because it's apparently still considered very new and incompatible with stable gobby4
svn path=/nixpkgs/trunk/; revision=24043
2010-10-04 04:15:55 +00:00
Evgeny Egorochkin c9ad6ec90a Packaged Gobby
svn path=/nixpkgs/trunk/; revision=24040
2010-10-04 04:15:23 +00:00
Lluís Batlle i Rossell cd4b54748a Updating from trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=24038
2010-10-03 09:25:34 +00:00
Lluís Batlle i Rossell 5032b693b2 Fix for mips64 for mldonkey (I'll submit it upstream)
svn path=/nixpkgs/branches/stdenv-updates/; revision=24035
2010-10-03 09:18:44 +00:00
Lluís Batlle i Rossell 0c7429f8cc My attempts to build mldonkey on the fuloong
svn path=/nixpkgs/branches/stdenv-updates/; revision=24034
2010-10-03 09:18:31 +00:00
Lluís Batlle i Rossell bc92057a17 Making vim some configurable options go through getConfig.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24033
2010-10-03 09:18:14 +00:00
Russell O'Connor f947527f18 removing tsocks as it has been replaced by torsocks.
svn path=/nixpkgs/trunk/; revision=24013
2010-10-01 04:00:45 +00:00
Russell O'Connor 90aa3c3c3c New derivation for torsocks.
This will replace tsocks.


svn path=/nixpkgs/trunk/; revision=24011
2010-10-01 02:38:03 +00:00
Lluís Batlle i Rossell 1019692db7 Adding the game engine 'instead' and some games.
svn path=/nixpkgs/trunk/; revision=24009
2010-09-30 18:58:48 +00:00
Michael Raskin cffebf17a2 Add Git version of mdbtools - UCS-2 capable
svn path=/nixpkgs/trunk/; revision=24007
2010-09-30 16:50:37 +00:00
Eelco Dolstra 3cae924440 * Updated WebDSL.
* Made Stratego/XT 0.18 the default.

svn path=/nixpkgs/trunk/; revision=23994
2010-09-30 10:49:02 +00:00
Andres Löh 9d5f981913 Updated the Idris compiler.
svn path=/nixpkgs/trunk/; revision=23991
2010-09-29 19:24:29 +00:00
Lluís Batlle i Rossell 7eb92a7821 Adding kadu
(patch by Piotr Pietraszkiewicz)

svn path=/nixpkgs/trunk/; revision=23988
2010-09-28 22:37:44 +00:00
Lluís Batlle i Rossell cecffb9df5 Adding crack-attack
(patch sent by Piotr Pietraszkiewicz)

svn path=/nixpkgs/trunk/; revision=23987
2010-09-28 22:37:27 +00:00
Andres Löh f6e3110b74 Preliminarily added ghc-7.0.1-rc1 and current HEAD.
svn path=/nixpkgs/trunk/; revision=23985
2010-09-28 13:48:22 +00:00
Evgeny Egorochkin a774549139 uni2ascii: packaged
Patch by Cillian de Róiste

svn path=/nixpkgs/trunk/; revision=23984
2010-09-28 09:48:15 +00:00
Evgeny Egorochkin a2909b0386 MySql-Workbench: packaged
Patch by Karn Kallio

svn path=/nixpkgs/trunk/; revision=23983
2010-09-28 09:33:56 +00:00
Evgeny Egorochkin 352b0de4a6 libctemplate: packaged.
Patch by Karn Kallio.

svn path=/nixpkgs/trunk/; revision=23981
2010-09-28 09:33:42 +00:00
Evgeny Egorochkin f3ad9868b4 Paramiko: packaged.
Patch by Karn Kallio

svn path=/nixpkgs/trunk/; revision=23980
2010-09-28 09:33:35 +00:00
Evgeny Egorochkin e143b506e9 Taglib: packaged a pre-1.7 snapshot
svn path=/nixpkgs/trunk/; revision=23979
2010-09-28 09:33:28 +00:00
Yury G. Kudryashov 25de2c279b Split libcap package
libcap can be splitted for free (just cd subdir; make install).
So I've decided not to raise up disscussions "should we build cap_pam.so?" etc.

svn path=/nixpkgs/branches/stdenv-updates/; revision=23967
2010-09-27 13:49:13 +00:00
Yury G. Kudryashov 5017cdb706 Add json-glib
svn path=/nixpkgs/trunk/; revision=23961
2010-09-27 11:18:28 +00:00
Yury G. Kudryashov b9fb4fee61 Move amarok from kde4. to applications/audio
svn path=/nixpkgs/trunk/; revision=23956
2010-09-26 19:40:30 +00:00
Yury G. Kudryashov 086945942d Add mutagen, upgrade libgpod
svn path=/nixpkgs/trunk/; revision=23955
2010-09-26 19:40:22 +00:00
Yury G. Kudryashov 842e80dd60 Add two lastfm libraries
svn path=/nixpkgs/trunk/; revision=23954
2010-09-26 19:40:15 +00:00
Yury G. Kudryashov f81af3dce0 Add libimobiledevice
svn path=/nixpkgs/trunk/; revision=23953
2010-09-26 19:40:07 +00:00
Yury G. Kudryashov cb623539b0 Add sg3_utils
svn path=/nixpkgs/trunk/; revision=23949
2010-09-26 19:39:42 +00:00
Yury G. Kudryashov 74abd6e9ad Add usbmuxd
svn path=/nixpkgs/trunk/; revision=23948
2010-09-26 19:39:35 +00:00
Yury G. Kudryashov 1eda454543 Add libmtp
svn path=/nixpkgs/trunk/; revision=23947
2010-09-26 19:39:28 +00:00
Yury G. Kudryashov 1f20ccb9e6 Add libplist
svn path=/nixpkgs/trunk/; revision=23946
2010-09-26 19:39:21 +00:00
Yury G. Kudryashov e04cdd1204 Add libusb-1.x
svn path=/nixpkgs/trunk/; revision=23945
2010-09-26 19:39:02 +00:00
Evgeny Egorochkin e41a0ef012 Flash player: part 2
svn path=/nixpkgs/trunk/; revision=23934
2010-09-26 05:05:24 +00:00
Evgeny Egorochkin e91ff5eabd Wine with patches for Warcraft 3
svn path=/nixpkgs/trunk/; revision=23933
2010-09-26 05:05:18 +00:00
Yury G. Kudryashov 58c09d0ff2 Move koffice to applications/office
svn path=/nixpkgs/trunk/; revision=23900
2010-09-22 18:04:55 +00:00
Yury G. Kudryashov 8e8662d828 Add libwpg
svn path=/nixpkgs/trunk/; revision=23898
2010-09-22 18:04:41 +00:00
Yury G. Kudryashov ca7165a043 Add xbase
svn path=/nixpkgs/trunk/; revision=23897
2010-09-22 18:04:34 +00:00
Evgeny Egorochkin 84a1800124 TSocks library: packaged
svn path=/nixpkgs/trunk/; revision=23890
2010-09-22 06:23:15 +00:00
Evgeny Egorochkin 7a607648dc KBluetooth: packaged
svn path=/nixpkgs/trunk/; revision=23889
2010-09-22 00:41:31 +00:00
Michael Raskin f82a0576ea Add ttf2pt1-cl-pdf which produces unicode maps for fonts
svn path=/nixpkgs/trunk/; revision=23883
2010-09-21 14:35:07 +00:00
Ludovic Courtès 332eca4ad9 Add Nix expression for Racket.
Patch by Karn Kallio <tierpluspluslists@gmail.com>.

svn path=/nixpkgs/trunk/; revision=23881
2010-09-21 12:31:11 +00:00
Evgeny Egorochkin 020cba6b98 Arora: packaged
svn path=/nixpkgs/trunk/; revision=23877
2010-09-20 22:16:16 +00:00
Evgeny Egorochkin 9c30b6d8cc Quassel: quick client fix
svn path=/nixpkgs/trunk/; revision=23871
2010-09-20 11:03:59 +00:00
Michael Raskin b383ca8d2a Add Vacuum IM
svn path=/nixpkgs/trunk/; revision=23870
2010-09-20 08:40:30 +00:00
Lluís Batlle i Rossell 812420fab6 Adding lxdvdrip (it builds, but I still don't know how to make it work)
svn path=/nixpkgs/trunk/; revision=23858
2010-09-18 16:29:07 +00:00
Evgeny Egorochkin 9f696ae43e Revert "Make kernel work for me". Committed this by accident.
This reverts commit 8a2cd2c99f26e5bd5c5a324e2a1712db8991379e.

svn path=/nixpkgs/trunk/; revision=23856
2010-09-18 16:22:04 +00:00
Evgeny Egorochkin 5bc3007bf6 Make kernel work for me
svn path=/nixpkgs/trunk/; revision=23855
2010-09-18 16:20:06 +00:00
Evgeny Egorochkin cfd73f3c41 Quassel: added convenience packages for daemon and client
svn path=/nixpkgs/trunk/; revision=23847
2010-09-18 11:26:35 +00:00
Evgeny Egorochkin fafcfa4f5f AMule: Convenience packages for daemon and clent
svn path=/nixpkgs/trunk/; revision=23846
2010-09-18 11:26:30 +00:00
Michael Raskin b2c555ee02 Add EQL (Embeddable Common Lisp + Qt)
svn path=/nixpkgs/trunk/; revision=23842
2010-09-17 19:52:50 +00:00
Lluís Batlle i Rossell 2221432acd Fixing one missed trouble coming from the merge from trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=23841
2010-09-17 19:14:47 +00:00
Lluís Batlle i Rossell 2c5de61327 Updating from trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=23840
2010-09-17 19:10:21 +00:00
David Guibert 8ee5697147 add cherrypy, a pythonic, object-oriented HTTP framework
svn path=/nixpkgs/trunk/; revision=23838
2010-09-17 17:34:08 +00:00
Ludovic Courtès 50e1e6147e Add `guruplug' platform.
svn path=/nixpkgs/trunk/; revision=23834
2010-09-17 15:56:47 +00:00
Ludovic Courtès 2739c3aa1e Update Nix unstable.
svn path=/nixpkgs/trunk/; revision=23832
2010-09-17 15:56:15 +00:00
Peter Simons 84302a3554 pkgs/top-level/all-packages.nix: strip trailing white space, no functional change
svn path=/nixpkgs/trunk/; revision=23830
2010-09-17 14:47:02 +00:00
Peter Simons c8fbebe6b6 pkgs/top-level/all-packages.nix: removed lowPrio modifier from ghostscriptX
By default, "nix-env -i ghostscript" used to install a version of Ghostscript
that didn't support X11. IMHO, this was the wrong choice for a user profile.

svn path=/nixpkgs/trunk/; revision=23829
2010-09-17 14:46:55 +00:00
Lluís Batlle i Rossell 28841f686c Fixing the fuloong kernel, which had a SYSFS_DEPRECATED_V2 enabled. That made udev
work bad, the main simptom being the lack of /dev/hda*.

I also added the IP_PNP DHCP and BOOTP methods, which may be confortable in nfsroot situations.

svn path=/nixpkgs/branches/stdenv-updates/; revision=23827
2010-09-16 19:32:13 +00:00
Yury G. Kudryashov 69032f3d1d Add krename
svn path=/nixpkgs/trunk/; revision=23818
2010-09-16 08:40:56 +00:00
Yury G. Kudryashov bd6da9f5f3 Use stdenv2 in podofo
svn path=/nixpkgs/trunk/; revision=23817
2010-09-16 08:40:47 +00:00
Marco Maggesi 4e5db40581 Update HOL Light to version 20100820 (rev57 on google code).
Also replace the monolitic derivation hol_light_binaries with smaller
derivations.  Now the installation works as follows:

# Install the base system and a script "start_hol_light"
$ nix-env -i hol_light_sources hol_light

# Install a checkpointed executable with the core library preloaded
$ nix-env -i hol_light_core_dmtcp

# Install HOL Light binaries preloaded with other specific libraries:
$ nix-env -i hol_light_multivariate_dmtcp
$ nix-env -i hol_light_complex_dmtcp
$ nix-env -i hol_light_sosa_dmtcp
$ nix-env -i hol_light_card_dmtcp


svn path=/nixpkgs/trunk/; revision=23815
2010-09-15 21:41:18 +00:00
Marco Maggesi 44f2d4439f Change the name of the coq derivation to coq-devel-8.3pre1
i.e., remove the version from the name.  Nix has its own mechanism to
prevent a packages to be upgraded.  Instead we distinguish development
version (coq-dev-VERSION) from stable versions (coq-VERSION).

Also remove derivation for coq-8.3-beta0-1 which is now superseded by
coq-devel-8.3pre1.


svn path=/nixpkgs/trunk/; revision=23813
2010-09-15 19:39:48 +00:00
Yury G. Kudryashov 48c13f4096 Update cmake
Use system libraries, make curses optional, add optional qt4 gui etc.

svn path=/nixpkgs/trunk/; revision=23810
2010-09-15 18:37:21 +00:00
Marco Maggesi 8ab6f9861c Add coq-8.3rc1
Note: In this version we introduce a new schema for the name of the coq
derivations where the coq version is included in the name (i.e.,
"coq8.3-8.3pre1" instead of "coq-8.3pre1").  The reason for this is that often
coq releases introduce several incompatibilities.  Thus I argue that, in
general, users do not want nix-env to upgrade automatically form one release to
another.  Also version string "8.3pre1" is used instead of "8.3-rc1" to trigger
the nix mechanism for versions comparison.


svn path=/nixpkgs/trunk/; revision=23803
2010-09-14 21:15:58 +00:00
Yury G. Kudryashov 2ecfb5cd9d Add libtunepimp
svn path=/nixpkgs/trunk/; revision=23796
2010-09-14 14:29:37 +00:00
Yury G. Kudryashov 163e453e10 Add mp4v2
svn path=/nixpkgs/trunk/; revision=23795
2010-09-14 14:29:31 +00:00
Yury G. Kudryashov 5f4795b5f1 Add libofa
svn path=/nixpkgs/trunk/; revision=23794
2010-09-14 14:29:25 +00:00
Yury G. Kudryashov 09c85666cd Add libmusicbrainz 2.x and 3.x
svn path=/nixpkgs/trunk/; revision=23793
2010-09-14 14:29:19 +00:00
Yury G. Kudryashov 359b360fc2 Add libdiscid
svn path=/nixpkgs/trunk/; revision=23792
2010-09-14 14:29:13 +00:00
Eelco Dolstra 7f2af6acfd svn path=/nixpkgs/trunk/; revision=23784 2010-09-14 12:15:06 +00:00
Eelco Dolstra 9dbbae2c0c * bridge-utils updated to 1.4.
svn path=/nixpkgs/trunk/; revision=23778
2010-09-14 10:54:50 +00:00
Lluís Batlle i Rossell daea455d15 Removing coreutils_real from release-cross.
It had to be 'coreutils' instead, but I don't think they cross-build. They
cross-build only in stdenv-updates I tihnk.

svn path=/nixpkgs/trunk/; revision=23774
2010-09-13 21:16:10 +00:00
Andres Löh 772abcfaaa bugfix
svn path=/nixpkgs/trunk/; revision=23763
2010-09-13 16:01:33 +00:00
Yury G. Kudryashov 38dec40ddc Upgrade ktorrent
svn path=/nixpkgs/trunk/; revision=23754
2010-09-13 14:23:02 +00:00
Andres Löh c7f570b473 Addressing problem with conflicting versions of Haskell's time library.
svn path=/nixpkgs/trunk/; revision=23746
2010-09-13 12:07:14 +00:00
Andres Löh ae49a474ff Added Hakyll and dependencies.
svn path=/nixpkgs/trunk/; revision=23742
2010-09-13 10:30:54 +00:00
Eelco Dolstra 13f346058c * Add a branch of the Linux kernel that can be used in Xen's Dom0.
From http://git.kernel.org/?p=linux/kernel/git/jeremy/xen.git;a=shortlog;h=refs/heads/xen/stable-2.6.32.x

svn path=/nixpkgs/trunk/; revision=23729
2010-09-10 16:27:39 +00:00
Eelco Dolstra 3b4c29781b * Turn off obsolete kernels.
svn path=/nixpkgs/trunk/; revision=23722
2010-09-10 14:12:15 +00:00
Eelco Dolstra 9ff5c12798 * Remove the systemtap option from linux-2.6.32.nix and use
extraConfig instead.

svn path=/nixpkgs/trunk/; revision=23720
2010-09-10 14:06:56 +00:00
Eelco Dolstra cea083bec9 * Set the Python search path for Xen's Python scripts. As an
experiment, do this by patching a line setting sys.path into the
  script, rather than using makeWrapper.
* Xen requires pythonFull because it needs https/ssl support.

svn path=/nixpkgs/trunk/; revision=23710
2010-09-10 10:53:17 +00:00
Lluís Batlle i Rossell 6fb726d36f Making automake 1.11.x not check in Arm, because one test fails.
I still have not reported that upstream.

svn path=/nixpkgs/branches/stdenv-updates/; revision=23702
2010-09-09 17:07:57 +00:00
Eelco Dolstra d4c7538648 * Add "gtk" to the top-level scope (just like "glib") and remove all
those "inherit (gtkLibs) gtk" lines.

svn path=/nixpkgs/trunk/; revision=23699
2010-09-09 16:48:13 +00:00
Eelco Dolstra c1867fe704 * Get Xen to build. It's not tested yet and doesn't include a Dom0
kernel.

svn path=/nixpkgs/trunk/; revision=23698
2010-09-09 16:45:18 +00:00
Marco Maggesi df21c86e08 Improve hol_light:
*   Upgrade hol_light to the latest svn version on google code (r57).

  *   Improve and semplify the mechanism for the generation of checkpointed binaries.

  *   Make hol to work with camlp5 and thus with recent version of ocaml (>=3.10, <=3.11).

  *   Remove ocaml_with_sources which is not needed anymore.

svn path=/nixpkgs/trunk/; revision=23685
2010-09-08 13:07:45 +00:00
Andres Löh 9534550af5 gitit should now work with ghc-6.12.3
svn path=/nixpkgs/trunk/; revision=23671
2010-09-07 13:11:21 +00:00
Andres Löh 923d30959f Added yst; updated happstack, pandoc, gitit and dependencies.
svn path=/nixpkgs/trunk/; revision=23670
2010-09-07 12:58:07 +00:00
Andres Löh b936683cc4 Small refactoring to prepare for future changes.
svn path=/nixpkgs/trunk/; revision=23669
2010-09-07 12:58:01 +00:00
Ludovic Courtès e4ef870382 Remove another reference to attribute `guileLib'.
svn path=/nixpkgs/trunk/; revision=23660
2010-09-06 15:36:41 +00:00