philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

8841 commits

Author SHA1 Message Date
Lluís Batlle i Rossell ca5d91aa60 Made more libraries cross compile. fontconfig, libxcb, bzip2, libdrm, zlib... 
I was trying to cross compile SDL. Many dependencies work, but I ended seeing
libX11 not ready for cross compilation. Other xorg libraries cross-compile
well. libX11 may need a small patch. The problem is the usual "configure test
cannot be run in cross compilation", so the configure script halts.

I made the pkgconfig expression always return buildDrv, as I think it rarely
will be needed as buildInput. So to avoid rewriting all its mentions to use
it as buildNativeInput, I prefered this small change.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18500
 2009-11-21 10:44:22 +00:00
Lluís Batlle i Rossell 3136303d63 Fixing the libxcb native build: missing dependency. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18499
 2009-11-21 10:11:44 +00:00
Lluís Batlle i Rossell a263cb814e Fixed some details on cross compilation. Among others: 
- Stating better the guile dependencies (native/host) for guile to build
- Fixing cross-linking, through --rpath-link (ld(1) explains well about it
- Made gcc call the linker and the assembler through the gcc wrapper instead of
  directly. I thought this was the source of missing -rpath's, but the source
  of the problem ended up being the lack of --rpath-link. But I think the
  native gcc calls the wrapped ld and as, so let's do the same cross
  compiling.
- Removed the binutilsCross from the glibc expressions. Now they are built
  using the gcc-cross-wrapper, and they were built with the direct gcc and
  binutils before this change.
- I think patchelf and strip don't break the cross-compiled binaries, so I
  reallow them on cross compilation.
- I disable the checkPhase on cross compilation. This made gmp and libtool
  fail when cross compiled, iirc.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18498
 2009-11-21 02:42:52 +00:00
Lluís Batlle i Rossell a5fee3325a Fixing some things on the gcc-cross-wrapper (libc was not properly added to the 
linking path), and with this achieved bash being cross-compilable.
I fixed the few expressions involved in bash building, so they have well stated
native and non-native inputs.

I also tried to cross-build guile, and with this I found a problem in the
actual cross-gcc: it calls the binutils ld, instead of the ld wrapper. This
way, the programs/shared_libraries don't get the proper -rpath.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18497
 2009-11-20 22:56:58 +00:00
Lluís Batlle i Rossell b27cf66ee2 argh. Bad commenting style and a commit too blind. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18496
 2009-11-20 20:29:32 +00:00
Lluís Batlle i Rossell 7748e9e964 Disabling the coreutils tests 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18495
 2009-11-20 20:28:43 +00:00
Lluís Batlle i Rossell 9effdda93b Updating the dependencies of the new coreutils: they need perl. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18494
 2009-11-20 20:26:36 +00:00
Ludovic Courtès ab61e5b40d stdenv: Let GNU tar select the decompression method. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18492
 2009-11-20 17:10:00 +00:00
Ludovic Courtès be4dfd41be GNU Libtool: Disable tests for now. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18491
 2009-11-20 17:09:54 +00:00
Lluís Batlle i Rossell e10632e7d5 Trying to fix the stdenv used on i686-darwin, which stopped working after my 
statement of the gcc-wrapper coreutils dependency on r17867.
I don't have i686-darwin to try this.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18490
 2009-11-20 16:56:11 +00:00
Lluís Batlle i Rossell 28d9e73d34 Adding a new mkDerivation flag for the cross stdenv, selfNativeBuildInput = 
true/false, which tells whether the derivation needs itself as
buildNativeInput.
For example, in order to build cross ncurses, we need the a native build
ncurses.
(As libtool does not work in stdenv, I have not tested this change, to check
whether finally ncurses cross-build)


svn path=/nixpkgs/branches/stdenv-updates/; revision=18489
 2009-11-20 16:38:01 +00:00
Eelco Dolstra 86f8f47d87 * eclipse-classic -> eclipse. 
svn path=/nixpkgs/trunk/; revision=18486
 2009-11-20 15:33:06 +00:00
Eelco Dolstra e0491358eb * Removed a lot of old Eclipse versions. 
* Cleaned up the Eclipse classic expression a bit (e.g. use
  makeWrapper).  Also fall back to GTK 2.16 to fix some GUI glitches.

svn path=/nixpkgs/trunk/; revision=18485
 2009-11-20 15:19:00 +00:00
Sander van der Burg 853bfbd0b6 Upgraded eigen to 2.0.9 
svn path=/nixpkgs/trunk/; revision=18484
 2009-11-20 13:21:58 +00:00
Eelco Dolstra 973b9cfde6 * Remove some incorrect uses of makeOverridable. 
svn path=/nixpkgs/trunk/; revision=18483
 2009-11-20 12:51:14 +00:00
Lluís Batlle i Rossell 4497215410 Allowing in the cross stdenv adapter the calls to mkDerivation without name. 
I don't know why there are such calls, but there are.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18482
 2009-11-20 12:33:43 +00:00
Sander van der Burg f08928cfe6 Increased the heap size of the GWT compiler to 256 MiB 
svn path=/nixpkgs/trunk/; revision=18481
 2009-11-20 11:37:11 +00:00
Lluís Batlle i Rossell a270563c80 Updating boost 
svn path=/nixpkgs/trunk/; revision=18480
 2009-11-20 08:35:28 +00:00
Lluís Batlle i Rossell 7983251ce0 Fixing a trivial error in the glibc-2.11 longDescription, and fixing the 
arguments for the ncurses expression.

We should find a way to express a dependency in cross compilation of the style
"cross-ncurses depends on having the native-ncurses".



svn path=/nixpkgs/branches/stdenv-updates/; revision=18479
 2009-11-20 08:27:59 +00:00
Ludovic Courtès e1af625517 Add tentative glibc 2.11 expression, based on that of glibc 2.9. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18478
 2009-11-19 23:28:45 +00:00
Lluís Batlle i Rossell 6f3630e128 Attention, people who care on the builders for native builds. In the stdenv 
derivation, the "buildInputs" in every stdenv mkDerivation don't map now
directly to the environment
variable "buildInputs" in the builder, but "buildNativeInputs". So, the inputs
build by the native compiler.
When cross compiling, they will map to the environment variable "buildInputs"
(yes, now the same name), which means does to be built with the cross compiler.

I think I improved the naming of variables a bit. There was a big mess,
specially in the stdenv adapter for cross building, and also in the default
builder script.

I also tried to add proper manager of propagatedInputBuilds, these being
propagated considering the host or build origin of that input build (so, at the
end, being those propagatedInputBuilds being propagated properly to the native
or the cross compiler.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18477
 2009-11-19 23:05:11 +00:00
Ludovic Courtès 40e564c87c GNU Coreutils 8.1. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18476
 2009-11-19 22:46:45 +00:00
Ludovic Courtès 640db0323d GNU Libtool 2.2.6b. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18475
 2009-11-19 22:46:40 +00:00
Lluís Batlle i Rossell 5c14f92b30 Reverting a wrong name change I once did, when I thought that we would update 
all the naming in nixpkgs to match the new build/host cross compilation stdenv.
Nevertheless, we decided not to do the renaming, but I forgot this change in
readline until ludo told me about it.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18474
 2009-11-19 22:15:13 +00:00
Lluís Batlle i Rossell 4dfc635cbb Fixing the uboot cross-build. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18473
 2009-11-19 21:43:03 +00:00
Lluís Batlle i Rossell e85500987b Merging from trunk. I had to do two manual merges, quite trivial I think. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18472
 2009-11-19 19:09:10 +00:00
Lluís Batlle i Rossell 7ade207f6b - Removed all *NoCross expressions I dupilcated in nixpkgs, while maintaining 
the cross compilation functionality.
- I renamed some expected stdenv.mkDerivation parameter attributes so we can
  keep this branch properly updated from trunk. We agreed with Nicolas Pierron
  doing a massive renaming, so all current buildInputs become hostInputs (input
  as build for the host machine, in autotools terminology) , and
  then buildInputs would mean "input as for the build machine".
  By now, the specific "input as for the build machine" is specified through
  buildNativeInputs. We should fix this in the merge to trunk.
- I made the generic stdenv understand the buildNativeInputs, otherwise if
  we start changing nixpkgs expressions so they distinguish the current
  buildInputs into buildInputs and buildNativeInputs, we could break even more
  nixpkgs for other platforms.
- I changed the default result of mkDerivation so it becomes the derivation for
  to be run in the build machine. This allows, without any special rewriting,
  "fetchurl" derivations to be always results for the build machine to use
  them.
- The change above implies that, for anyone wanting to cross-compile, has to
  build the hostDrv of the wanted derivation. For example, after this commit,
  the usual test of "nix-build -A bison.hostDrv arm.nix" works. I described
  the contents of this arm.nix in r18398.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18471
 2009-11-19 19:03:34 +00:00
Eelco Dolstra 58f543f19f * Remove some old Emacs versions. 
svn path=/nixpkgs/trunk/; revision=18470
 2009-11-19 17:36:43 +00:00
Eelco Dolstra 81c5c44ddb * Move makeOverridable out of all-packages.nix. 
svn path=/nixpkgs/trunk/; revision=18469
 2009-11-19 17:30:21 +00:00
Nicolas Pierron 56ed820f84 Add systems.nix give more control over the increasing list of supported 
systems.  This is not yet used because it has to be integrated with the
current system.

svn path=/nixpkgs/branches/stdenv-updates/; revision=18468
 2009-11-19 17:19:39 +00:00
Nicolas Pierron 6ba27ab552 * Add file support in the runHook function. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18467
 2009-11-19 17:19:32 +00:00
Eelco Dolstra 519e7870b6 * Move `modifyDerivation' from build-support/vm to lib and rename it 
to `overrideDerivation'.

svn path=/nixpkgs/trunk/; revision=18466
 2009-11-19 16:43:58 +00:00
Eelco Dolstra aa392c3aa7 * Move functions like `runCommand' out of all-packages.nix and into 
build-support/.

svn path=/nixpkgs/trunk/; revision=18465
 2009-11-19 16:07:47 +00:00
Rob Vermaas 5fca80982a move autoconfPhase so it can be overriden 
svn path=/nixpkgs/trunk/; revision=18458
 2009-11-19 13:57:57 +00:00
Michael Raskin d9aae7cb65 Adding JAMP game.. 
svn path=/nixpkgs/trunk/; revision=18454
 2009-11-19 12:10:23 +00:00
Lluís Batlle i Rossell 8c638e5e68 Fixing what I broke in the last commit in setup.sh. 
I made the stdenvCross adapter simpler, according to Nicolas Pierron comments,
and I commented it a bit.

There are still jobs to do. At least:
- Plan for the general renaming from buildInputs to hostInputs
  - We should not break merges from trunk.
- Make the generic stdenv understand about host/buildInputs, at least for
  native builds, because it is used in the always-native building of
  stdenvLinux. This should allow us to remove all duplications of "*NoCross" in
  nixpkgs.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18449
 2009-11-18 19:25:57 +00:00
Rob Vermaas 4dca2c8b12 echo to stderr in stead of stdout. else hydra cannot read hash/path 
svn path=/nixpkgs/trunk/; revision=18448
 2009-11-18 19:10:24 +00:00
Lluís Batlle i Rossell 4c09cfc8a3 Adding generic builder management of cross compilation: envHooksHost, pkgsHost, ... 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18446
 2009-11-18 18:16:35 +00:00
Ludovic Courtès 4f20056bca nix-prefetch-git: Default to SHA256. 
svn path=/nixpkgs/trunk/; revision=18443
 2009-11-18 16:39:09 +00:00
Ludovic Courtès 39476057a2 nix-prefetch-git: Support $NIX_PREFETCH_GIT_LEAVE_DOT_GIT. 
svn path=/nixpkgs/trunk/; revision=18442
 2009-11-18 16:39:06 +00:00
Ludovic Courtès 3124661215 nix-prefetch-git: Remove `--depth' argument since it's risky. 
The `--depth' argument asks Git to fetch the last revisions of the given
repo on *any* branch, which is often useless.

Thanks to Lluís Battle for clarifying this.

svn path=/nixpkgs/trunk/; revision=18438
 2009-11-18 16:24:31 +00:00
Eelco Dolstra eb9ff07031 * Package naming / versioning guidelines. 
svn path=/nixpkgs/trunk/; revision=18433
 2009-11-18 15:05:09 +00:00
Ludovic Courtès 15da008651 Slightly generalize `sourceTarball'. 
svn path=/nixpkgs/trunk/; revision=18426
 2009-11-18 14:12:39 +00:00
Ludovic Courtès 1f9e87871e GNU Guile 1.9: Remove unnecessary patch. 
svn path=/nixpkgs/trunk/; revision=18418
 2009-11-18 13:41:17 +00:00
Ludovic Courtès 2bbaf039da fetchurl: Improve GNU mirror list. 
svn path=/nixpkgs/trunk/; revision=18416
 2009-11-18 13:18:28 +00:00
Ludovic Courtès e615bc4574 GNU Guile 1.9.5. 
svn path=/nixpkgs/trunk/; revision=18415
 2009-11-18 13:18:24 +00:00
Eelco Dolstra b19ada9e05 * Fix the GPM URL. 
svn path=/nixpkgs/trunk/; revision=18413
 2009-11-18 12:47:58 +00:00
Eelco Dolstra 221ad8362f * Use the stable Nix to test the Nixpkgs expressions, since we always 
want to be compatible with the last stable Nix release.

svn path=/nixpkgs/trunk/; revision=18411
 2009-11-18 12:22:24 +00:00
Eelco Dolstra fcddb50e66 * Remove some more unused functions. 
svn path=/nixpkgs/trunk/; revision=18407
 2009-11-18 11:47:02 +00:00
Eelco Dolstra b4636d333c svn path=/nixpkgs/trunk/; revision=18406 2009-11-18 11:46:35 +00:00
Eelco Dolstra 4437778e33 svn path=/nixpkgs/trunk/; revision=18405 2009-11-18 11:38:20 +00:00
Eelco Dolstra 7f5b839524 * Removed selectVersion. There's no good reason to write 
`selectVersion ./foo "bar"' instead of `import ./foo/bar.nix'.
* Replaced `with args' with formal function arguments in several
  packages.
* Renamed several files to `default.nix'.  As a general rule, version
  numbers should only be included in the filename when there is a
  reason to keep multiple versions of a package in Nixpkgs.
  Otherwise, it just makes it harder to update the package.

svn path=/nixpkgs/trunk/; revision=18403
 2009-11-18 09:39:59 +00:00
Lluís Batlle i Rossell e7c8e8da4f I made the whole nixpkgs dependencies available to the cross compiler, no 
needing to keep a new tree of expressions apart for the expressions to get
cross-compiled.

I changed the whole way of using cross compilation with nixpkgs, which before
was done through a simple adapter.

Now the adapter became complex, and I've tried to avoid the most obvious
recursivities. For example, the fetchurl expression should
never be cross-compiled, as the gmp, mpfr, and some others, like
some ncurses, perl, ... I made overrided copies of those necessary as
perlNoCross, ncursesNoCross, as stdenvNoCross, keeping in mind that
the stdenv (capable of cross compilation) is built upon stdenvNoCross using
an adapter.

So, to cross compile, instead of building using "nixpkgs/default.nix",
you should build with your
own "myarchiteture.nix", which should have contents like these, for example:

import /etc/nixos/nixpkgs/default.nix
{
    crossSystem = {
        config = "armv5tel-unknown-linux-gnueabi";
        bigEndian = false;
        arch = "arm";
        float = "soft";
    };
}


svn path=/nixpkgs/branches/stdenv-updates/; revision=18398
 2009-11-17 22:58:48 +00:00
Lluís Batlle i Rossell 0c631f6181 Trying to move all stdenv cross-compiling details out of the stdenv expression, 
into a stdenv adapater.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18397
 2009-11-17 21:14:57 +00:00
Sander van der Burg 52e9488541 Upgraded ejabberd to the latest stable 2.1.0 and also claimed maintainership since I really need this for one of my experiments 
svn path=/nixpkgs/trunk/; revision=18396
 2009-11-17 16:54:04 +00:00
Lluís Batlle i Rossell 4acd0bdb8c Making xorgserver build also Xnest. 
svn path=/nixpkgs/trunk/; revision=18395
 2009-11-17 16:46:51 +00:00
Rob Vermaas 66a537f774 redirect stdout of git calls to stderr to allow git to work in hydra as input 
svn path=/nixpkgs/trunk/; revision=18393
 2009-11-17 15:50:20 +00:00
Eelco Dolstra aed79cca1a * Another unused function. 
svn path=/nixpkgs/trunk/; revision=18391
 2009-11-17 15:36:48 +00:00
Eelco Dolstra a56509c0db * Remove some more unused functions. 
svn path=/nixpkgs/trunk/; revision=18390
 2009-11-17 15:31:48 +00:00
Eelco Dolstra 802fa4ba0b * Remove sumArgs and its few remaining uses. Idem for composedArgs. 
svn path=/nixpkgs/trunk/; revision=18388
 2009-11-17 15:26:22 +00:00
Eelco Dolstra 18a08aa008 * Add an openSUSE mirror that contains discontinued releases (such as 
10.3).

svn path=/nixpkgs/trunk/; revision=18385
 2009-11-17 14:26:42 +00:00
Eelco Dolstra c3ea7a9212 * Added Digest::SHA. 
svn path=/nixpkgs/trunk/; revision=18382
 2009-11-17 13:07:14 +00:00
Rob Vermaas b82da9824b make nix overridable 
svn path=/nixpkgs/trunk/; revision=18380
 2009-11-17 12:30:17 +00:00
Lluís Batlle i Rossell 2c7fa189fb Making the definition of the cross compiling target an attribute set. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18378
 2009-11-16 23:21:13 +00:00
Nicolas Pierron 01e98e49b1 * Add a stdenv adapter which can remove all maintainers fields. This can 
be used to remove error reports from development branches.

svn path=/nixpkgs/trunk/; revision=18377
 2009-11-16 22:23:11 +00:00
Nicolas Pierron 29384d43f2 * Update Go's version. Make 8g & 8l commands working with no need of 
extra argument to locate the Go's libraries.

svn path=/nixpkgs/trunk/; revision=18376
 2009-11-16 18:42:43 +00:00
Rob Vermaas ede5426070 name typo 
svn path=/nixpkgs/trunk/; revision=18375
 2009-11-16 13:57:11 +00:00
Rob Vermaas 30e6d32b33 update baseline for stratego related packages 
svn path=/nixpkgs/trunk/; revision=18374
 2009-11-16 13:21:12 +00:00
Sander van der Burg 88a90ec1c5 Upgraded Axis2 to 1.5.1 
svn path=/nixpkgs/trunk/; revision=18373
 2009-11-16 12:50:04 +00:00
Rob Vermaas 94a659596b ln issue mingw 
svn path=/nixpkgs/trunk/; revision=18372
 2009-11-16 12:22:55 +00:00
Rob Vermaas 4e50b362f7 svn path=/nixpkgs/trunk/; revision=18371 2009-11-16 11:24:49 +00:00
Rob Vermaas e0389e41f0 different behaviour of ln on mingw 
svn path=/nixpkgs/trunk/; revision=18370
 2009-11-16 11:22:11 +00:00
Rob Vermaas b7ebd57d93 mingw related stuff 
svn path=/nixpkgs/trunk/; revision=18369
 2009-11-16 08:47:31 +00:00
Lluís Batlle i Rossell d82c7e0a69 Adding uboot cross compilation. I had to adapt the package a bit, because it 
does not use autotools.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18362
 2009-11-15 22:56:06 +00:00
Lluís Batlle i Rossell 3c4edd6bfa Fixing the gcc cross wrapper (removing some /usr/) so it gives proper linking. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18361
 2009-11-15 21:36:13 +00:00
Lluís Batlle i Rossell d06dce4e42 Fixing some conflict on the variable 'cross'. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18357
 2009-11-15 19:07:21 +00:00
Lluís Batlle i Rossell 81f695899a I think I fixed the gcc builder for the usual stdenv, I broke in the commit 
before.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18356
 2009-11-15 17:48:10 +00:00
Lluís Batlle i Rossell 307cbd7b3b First attempt for the full stdenvCross. I think that it should work. The 
toolchain for arm built.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18355
 2009-11-15 16:48:36 +00:00
Lluís Batlle i Rossell 2412034611 Cleaning a bit around gcc43_RealCross 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18352
 2009-11-15 05:39:22 +00:00
Lluís Batlle i Rossell 9b977f5c60 Fixing many things related to the cross compilation in stdenvCross. 
It still does not work, but I think I already get glibc cross compiled.
Next: gcc and g++, and set some setup script hooks on stdenvCross.

It took quite enough hours for this commit.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18351
 2009-11-15 05:28:35 +00:00
Nicolas Pierron 66ef37d260 * Fix "cgo" binary be defining LC_ALL=C inside the binary. 
svn path=/nixpkgs/trunk/; revision=18350
 2009-11-14 23:39:53 +00:00
Nicolas Pierron a61a4bc4bc * Fix TimeZone in The Go Programming Language. 
svn path=/nixpkgs/trunk/; revision=18349
 2009-11-14 23:39:46 +00:00
Nicolas Pierron da1311b893 * Add the Go Programming Language compiler. 
svn path=/nixpkgs/trunk/; revision=18348
 2009-11-14 20:14:28 +00:00
Nicolas Pierron c8cb5210fb * Add a fetchhg builder to checkout mercurial repositories. 
svn path=/nixpkgs/trunk/; revision=18347
 2009-11-14 20:14:21 +00:00
Nicolas Pierron 7482474aef * Improve showVal: handle integer and strings. 
svn path=/nixpkgs/trunk/; revision=18346
 2009-11-14 20:14:15 +00:00
Nicolas Pierron 47de42835a * Add https support for mercurial. 
svn path=/nixpkgs/trunk/; revision=18345
 2009-11-14 20:14:09 +00:00
Lluís Batlle i Rossell 2aba922d30 My first attempt at getting cross compilers in nixpkgs. 
My idea is to provide special stdenv expressions that will contain in the path
additional cross compilers. As most expressions for programs accept a stdenv parameter, 
we could substitute this parameter with the special stdenv, which will have a
generic builder that attempts the usual "--target=..." and can additionally
have an env variable like "cross" with the target architecture set.
So, finally we could have additional expressions like this:

bashRealArm = makeOverridable (import ../shells/bash) {
    inherit fetchurl bison;
    stdenv = stdenvCross "armv5tel-unknown-linux-gnueabi";
};

Meanwhile it does not work - I still cannot get the cross-gcc to build.

I think it does not fill the previous expressions with a lot of noise, so I
think it may be a good path to follow.

I only touched some files of the current stdenv: gcc-4.3, kernel headers
2.6.28, glibc 2.9, ...

I tried to use the gcc-cross-wrapper, that may be very outdated. Maybe I will
update it, or update the gcc-wrapper expression to make it fit the cross tools,
but meanwhile I even cannot build gcc, so I have not tested the wrapper.

This new idea on cross compiling is not similar to that of the
nixpkgs/branches/cross-compilation, which mostly added bare new expressions for
anything to be cross compiled, if I understood it correctly.

I cared not to break anything of the usual stdenv in all this work.


svn path=/nixpkgs/branches/stdenv-updates/; revision=18343
 2009-11-14 08:11:30 +00:00
Lluís Batlle i Rossell 6864119104 Updating from trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18341
 2009-11-13 19:19:34 +00:00
Rob Vermaas f26614bb78 stuff for mingw 
svn path=/nixpkgs/trunk/; revision=18339
 2009-11-13 11:58:17 +00:00
Rob Vermaas 079451fa9e other location for msys 
svn path=/nixpkgs/trunk/; revision=18338
 2009-11-13 11:41:56 +00:00
Rob Vermaas 290d47d0f3 trying to fix mingw setup 
svn path=/nixpkgs/trunk/; revision=18337
 2009-11-13 10:30:29 +00:00
Marc Weber f5d0193047 synergy broke by xorg-update 
svn path=/nixpkgs/trunk/; revision=18335
 2009-11-12 16:11:44 +00:00
Eelco Dolstra 9d15a2ed67 * Grub 1.97.1. 
svn path=/nixpkgs/trunk/; revision=18332
 2009-11-12 08:58:16 +00:00
Marc Weber 173bdf6d2f fix ghc-get-packages 
svn path=/nixpkgs/trunk/; revision=18331
 2009-11-12 07:11:03 +00:00
Sander van der Burg ac64ef2275 Upgraded JBoss to 5.1.0 
svn path=/nixpkgs/trunk/; revision=18329
 2009-11-11 15:52:26 +00:00
Rob Vermaas b325a34361 chrome 31663 
svn path=/nixpkgs/trunk/; revision=18328
 2009-11-11 15:34:21 +00:00
Ludovic Courtès 8799678836 GNU IceCat 3.5.5. 
svn path=/nixpkgs/trunk/; revision=18327
 2009-11-11 14:24:52 +00:00
Rob Vermaas efe661ab0e update chrome to version 31662 to let dropdownlists work properly again 
svn path=/nixpkgs/trunk/; revision=18326
 2009-11-11 14:06:57 +00:00
Pjotr Prins 84147f4477 Force gcc42 for arb (otherwise headers balk) 
svn path=/nixpkgs/trunk/; revision=18324
 2009-11-10 17:16:06 +00:00
Marco Maggesi c0a6058122 Add package OpenAFS (added forgotten files) 
svn path=/nixpkgs/trunk/; revision=18323
 2009-11-10 16:00:52 +00:00
Marco Maggesi 849f42d7bc Add package OpenAFS 
svn path=/nixpkgs/trunk/; revision=18319
 2009-11-10 14:59:39 +00:00
Pjotr Prins 5747c2194b rxp requires CFLAG -D_GNU_SOURCE 
svn path=/nixpkgs/trunk/; revision=18318
 2009-11-10 14:25:26 +00:00
Rob Vermaas a40d37b57b other location for tarball 
svn path=/nixpkgs/trunk/; revision=18317
 2009-11-10 13:58:22 +00:00
Marco Maggesi e2057ffe04 Add package ledger 
svn path=/nixpkgs/trunk/; revision=18316
 2009-11-10 11:02:45 +00:00
Lluís Batlle i Rossell 605b62da11 Enabling ipv6 at least as module in the zen5 arm kernel 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18315
 2009-11-09 23:26:34 +00:00
Rob Vermaas 0e1a687233 revert previous change 
svn path=/nixpkgs/trunk/; revision=18314
 2009-11-09 15:05:45 +00:00
Rob Vermaas 83c57ed434 trying to make static linking work on darwin 
svn path=/nixpkgs/trunk/; revision=18313
 2009-11-09 15:00:24 +00:00
Rob Vermaas 85ee8e90b7 make static sdf2bundle 
svn path=/nixpkgs/trunk/; revision=18312
 2009-11-09 14:43:01 +00:00
Marco Maggesi c0a1119f10 Reintroduced attribute scsh accidentally removed in revision 18299. 
svn path=/nixpkgs/trunk/; revision=18311
 2009-11-09 13:20:27 +00:00
Lluís Batlle i Rossell de6aa89c45 Updating xchm. 
svn path=/nixpkgs/trunk/; revision=18310
 2009-11-09 11:55:31 +00:00
Lluís Batlle i Rossell 6d092c3371 Adding kvm88, although without the patches kvm86 had for some nix advantages (samba, ...), 
because they don't apply directly.

svn path=/nixpkgs/trunk/; revision=18309
 2009-11-09 11:55:23 +00:00
Rob Vermaas f2f5176551 add static variant of sdf 
svn path=/nixpkgs/trunk/; revision=18308
 2009-11-09 09:57:59 +00:00
Rob Vermaas 28d59537c5 add static variant of sdf 
svn path=/nixpkgs/trunk/; revision=18307
 2009-11-09 09:56:06 +00:00
Rob Vermaas 0a56e71716 add static variant for sdf bundle 
svn path=/nixpkgs/trunk/; revision=18306
 2009-11-09 09:53:57 +00:00
Lluís Batlle i Rossell 4f906f38a8 Updating qemu to 0.11.0, and making it use stdenv with the usual gcc, and not an older. 
svn path=/nixpkgs/trunk/; revision=18305
 2009-11-09 09:15:58 +00:00
Wouter den Breejen 5fae957741 Added par2, unzip/rar as dependencies so they are not picked up from PATH 
svn path=/nixpkgs/trunk/; revision=18304
 2009-11-08 23:39:06 +00:00
Wouter den Breejen 3259101fc0 Added par2, unzip/rar as dependencies so they are not picked up from PATH 
svn path=/nixpkgs/trunk/; revision=18303
 2009-11-08 23:37:49 +00:00
Lluís Batlle i Rossell 6675f0a52c Adding a check in the generic builder so it halts on the existence of 
/homeless-shelter


svn path=/nixpkgs/branches/stdenv-updates/; revision=18302
 2009-11-08 22:50:27 +00:00
Lluís Batlle i Rossell 96b4174b5a Fixing the neverball expression: it relied on having a /homeless-shelter 
svn path=/nixpkgs/trunk/; revision=18301
 2009-11-08 22:35:19 +00:00
Michael Raskin 29b28dc3bb Reduce fetchmtn verbosity 
svn path=/nixpkgs/trunk/; revision=18300
 2009-11-08 22:30:38 +00:00
Michael Raskin 6722c6c22f A package to feed to HAL to get synaptics support 
svn path=/nixpkgs/trunk/; revision=18299
 2009-11-08 22:12:55 +00:00
Michael Raskin 24162c6b4a Fix fetchmtn 
svn path=/nixpkgs/trunk/; revision=18298
 2009-11-08 22:12:14 +00:00
Lluís Batlle i Rossell 1b37fc42bb Updating options for the versatileARM kernel, so it matches something 
usable and buildable from a sheevaplug.
I took the additional settings from:
http://fedoraproject.org/wiki/Architectures/ARM/HowToQemu


svn path=/nixpkgs/branches/stdenv-updates/; revision=18296
 2009-11-08 20:09:37 +00:00
Wouter den Breejen d24e7434ec Added sabnzbd usenet download tool :) 
svn path=/nixpkgs/trunk/; revision=18295
 2009-11-08 19:59:56 +00:00
Wouter den Breejen 123e595990 Added sabnzbd usenet download tool :) 
svn path=/nixpkgs/trunk/; revision=18294
 2009-11-08 19:55:37 +00:00
Wouter den Breejen a83def2812 Added sabnzbd usenet download tool :) 
svn path=/nixpkgs/trunk/; revision=18293
 2009-11-08 19:53:54 +00:00
Lluís Batlle i Rossell be2ff23280 Making the 'makeInitrd' expression use "platform" 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18292
 2009-11-08 18:47:55 +00:00
Lluís Batlle i Rossell 7769ad11bd Updating the logic to put the resulting kernel image into its store path. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=18289
 2009-11-08 17:19:46 +00:00
Lluís Batlle i Rossell c28701c3d9 Fixing the xdriinfo build. 
svn path=/nixpkgs/trunk/; revision=18287
 2009-11-08 11:34:17 +00:00
Marco Maggesi e3204aa407 New version of cryopid. 
Update package cryopid to a new (unstable) version.
The old (stable) version of cryopid works only with old linux kernels.

svn path=/nixpkgs/trunk/; revision=18286
 2009-11-08 10:38:07 +00:00
Marc Weber edf78fcb6a some fetchgit documentation 
svn path=/nixpkgs/trunk/; revision=18283
 2009-11-08 03:02:10 +00:00
Lluís Batlle i Rossell 5eeac0d52a Merging from trunk. 
svn path=/nixpkgs/branches/stdenv-updates2/; revision=18280
 2009-11-08 02:03:13 +00:00
Lluís Batlle i Rossell 896dc42662 Forgot some 'depth' regarding fetchgit still. 
svn path=/nixpkgs/trunk/; revision=18279
 2009-11-08 01:59:50 +00:00
Lluís Batlle i Rossell 4326d07c11 Updating from trunk 
svn path=/nixpkgs/branches/stdenv-updates2/; revision=18278
 2009-11-08 01:57:40 +00:00
Lluís Batlle i Rossell f1ee14bfaf Removing fetchgit --depth and its usage. It does not provide much advantages... 
I think it takes the recent N commits into the repository, which says very little,
even for wanting master/HEAD.

svn path=/nixpkgs/trunk/; revision=18277
 2009-11-08 01:51:20 +00:00
Lluís Batlle i Rossell 9c79d69710 curl.bz2 should be executable, to keep the same stdenv working as it worked in stdenv-updates 
svn path=/nixpkgs/branches/stdenv-updates2/; revision=18276
 2009-11-08 00:47:46 +00:00
Lluís Batlle i Rossell b78e001b52 Adding the binary files from stdenv that did not came with the recent 'diff | patch' 
I did to get the stdenv-updates changes.


svn path=/nixpkgs/branches/stdenv-updates2/; revision=18275
 2009-11-08 00:45:09 +00:00
Lluís Batlle i Rossell 17876de2c5 Updating from trunk. 
Many property change come, all on merge info, because those files have explicit merge info
in trunk already.
It is a problem in trunk, not in stdenv-updates. Every time we will update from trunk, the explcit merge info for these files will be updated.


svn path=/nixpkgs/branches/stdenv-updates2/; revision=18274
 2009-11-08 00:40:07 +00:00
Lluís Batlle i Rossell 4b27d28701 Porting changes from stdenv-updates into this branch. 
This comes from:
svn diff  ^/nixpkgs/trunk/@18255 ^/nixpkgs/branches/stdenv-updates/ > diff
patch -p0 < diff
and then adding into svn all files new from the patch.

trunk@18255 comes from the last time I updated stdenv-updates from trunk.


svn path=/nixpkgs/stdenv-updates2/; revision=18272
 2009-11-08 00:32:12 +00:00
Wouter den Breejen 0020559709 Mirror for pysqlite. Thanks to roconnor 
svn path=/nixpkgs/trunk/; revision=18271
 2009-11-07 23:27:33 +00:00
Michael Raskin cd5338a18c Fix Uzbl build 
svn path=/nixpkgs/trunk/; revision=18269
 2009-11-07 23:09:36 +00:00
Michael Raskin 6e86ca940f Make a medium-depth checkout 
svn path=/nixpkgs/trunk/; revision=18266
 2009-11-07 19:43:53 +00:00
Nicolas Pierron d791b830aa * Fix typo and clarify why you should not use "mkFixStrictness" on top of 
plain list or attribute set.

svn path=/nixpkgs/trunk/; revision=18260
 2009-11-07 16:24:11 +00:00
Nicolas Pierron b901c0e808 * Add an awful hack to bypass the strictness of isType operators for 
option definitions.

svn path=/nixpkgs/trunk/; revision=18259
 2009-11-07 16:09:04 +00:00
Nicolas Pierron 8b47086b85 * Change the check function to accept sub-modules with arguments in 
option definitions.

svn path=/nixpkgs/trunk/; revision=18252
 2009-11-07 12:15:39 +00:00
Marco Maggesi 4d0e24acd3 Add packages scsh, The Scheme Shell 
svn path=/nixpkgs/trunk/; revision=18248
 2009-11-07 11:17:53 +00:00
Michael Raskin 0c0f090bc9 Fix gnome-doc-utils 
svn path=/nixpkgs/trunk/; revision=18247
 2009-11-07 09:34:12 +00:00
Michael Raskin 490ca07c68 Update Linux Wacom 
svn path=/nixpkgs/trunk/; revision=18246
 2009-11-07 09:25:06 +00:00
Nicolas Pierron bb077b253f * Add a function to sort a list. 
* Add a new property to order NixOS definitions without creating
  dependencies between snippets.
* Add mkHeader & mkFooter properties (special case of mkOrder).

svn path=/nixpkgs/trunk/; revision=18242
 2009-11-07 01:59:55 +00:00
Nicolas Pierron 88f113d032 * Add a function to replace "pkgs.checker". The function checkModule does a 
traversal of all definitions and also check definitions contained inside
  sub-modules.

svn path=/nixpkgs/trunk/; revision=18241
 2009-11-07 01:59:50 +00:00
Nicolas Pierron 233d72e4fb * Add "_args" to all sub-module configurations result. This attribute 
enable argument introspection outside of the scope of each sub-module.

svn path=/nixpkgs/trunk/; revision=18240
 2009-11-07 01:59:45 +00:00
Nicolas Pierron 10d74af2f6 * Add a type to handle environment variables with the usual string 
separator ":".

svn path=/nixpkgs/trunk/; revision=18239
 2009-11-07 01:58:56 +00:00
Eelco Dolstra 2b11697d1a svn path=/nixpkgs/trunk/; revision=18238 2009-11-07 01:26:04 +00:00
Ludovic Courtès a7faea338c GnuTLS 2.8.5, with LZO support, and with external libtasn1. 
svn path=/nixpkgs/trunk/; revision=18233
 2009-11-06 22:44:23 +00:00
Ludovic Courtès 1c8f15b0aa LZO: Build the shared library. 
svn path=/nixpkgs/trunk/; revision=18232
 2009-11-06 22:44:18 +00:00
Ludovic Courtès 1cebea089b GNU Plotutils: cosmetic changes; adding myself as co-maintainer. 
svn path=/nixpkgs/trunk/; revision=18231
 2009-11-06 22:44:13 +00:00
Lluís Batlle i Rossell b02ba2aff8 Updating the xorg dri path patch for dri2. 
svn path=/nixpkgs/trunk/; revision=18225
 2009-11-06 21:15:59 +00:00
Michael Raskin bc2ba3677b I think I rolled back to original sbcl-1.0.29 state 
svn path=/nixpkgs/trunk/; revision=18223
 2009-11-06 19:27:32 +00:00
Lluís Batlle i Rossell bbcd6e2728 Fixing the url for the xorg video unichrome driver. 
prefetching and then realising the expression does not test the url,
I've to keep that in mind.

svn path=/nixpkgs/trunk/; revision=18222
 2009-11-06 19:26:00 +00:00
Lluís Batlle i Rossell d5f36f16c1 Fixing a problem in the neverball build about paths, that I did not notice until 
I run it.

svn path=/nixpkgs/trunk/; revision=18221
 2009-11-06 19:25:54 +00:00
Lluís Batlle i Rossell 005bf71e51 Updating neverball. That required adding physfs. 
svn path=/nixpkgs/trunk/; revision=18220
 2009-11-06 19:25:45 +00:00
Michael Raskin 1dce71822e Missed some added letters in SBCL version number.. 
svn path=/nixpkgs/trunk/; revision=18217
 2009-11-06 18:36:16 +00:00
Lluís Batlle i Rossell 9240b56a61 Fixing fonts.alias in the new xorg, and adding a check for the next time 
they change the fonts.alias path.

svn path=/nixpkgs/trunk/; revision=18210
 2009-11-06 15:16:47 +00:00
Rob Vermaas ab8fd754c6 svn path=/nixpkgs/trunk/; revision=18209 2009-11-06 14:50:41 +00:00
Andres Löh 1b9fe7411c Updated utf8-string, added mpppc. 
svn path=/nixpkgs/trunk/; revision=18207
 2009-11-06 14:09:30 +00:00
Peter Simons 56e06c9790 pkgs/top-level/all-packages.nix: added support for overriding Nix's storeDir and stateDir in nix-pkgs.conf 
This patch allows Nix to be build using store locations other than "/nix".

svn path=/nixpkgs/trunk/; revision=18206
 2009-11-06 13:30:06 +00:00
Andres Löh c3e966b0cb Updated xmonad to 0.9. 
svn path=/nixpkgs/trunk/; revision=18204
 2009-11-06 13:08:47 +00:00
Marco Maggesi b1e7aac0fd Add MIT Kerberos implementation krb5. 
svn path=/nixpkgs/trunk/; revision=18202
 2009-11-06 12:57:29 +00:00
Rob Vermaas e3099a7cec * added haskell libraries: webserver, json 0.3.6, http 3001, base64string, CS173Tourney 
* added dep on getopt to couchdb


svn path=/nixpkgs/trunk/; revision=18201
 2009-11-06 12:38:54 +00:00
Michael Raskin 159dc0e0cb Increase robustness of tryEval use a bit 
svn path=/nixpkgs/trunk/; revision=18200
 2009-11-06 12:27:56 +00:00
Sander van der Burg 866bbe32f2 Updated VirtualBox guest additions and changed some files to support Xorg 7.5 
svn path=/nixpkgs/trunk/; revision=18199
 2009-11-06 11:41:34 +00:00
Michael Raskin 81f103f176 Roll back to 1.0.29 
svn path=/nixpkgs/trunk/; revision=18197
 2009-11-06 11:31:35 +00:00
Sander van der Burg ab55ac28b4 Upgraded VirtualBox to 3.0.10 
svn path=/nixpkgs/trunk/; revision=18196
 2009-11-06 11:31:28 +00:00
Michael Raskin 3b273b945a Build 2.6.31-zen-stable kernels 
svn path=/nixpkgs/trunk/; revision=18195
 2009-11-06 11:24:49 +00:00
Michael Raskin e78e88ffcf Blacklist more versions of SBCL? 
svn path=/nixpkgs/trunk/; revision=18194
 2009-11-06 11:23:06 +00:00
Michael Raskin fe775f8c71 Oops, forgot to use blacklist-enabled updater 
svn path=/nixpkgs/trunk/; revision=18193
 2009-11-06 10:57:42 +00:00
Andres Löh 1114086eba Version bump for MazesOfMonad. 
svn path=/nixpkgs/trunk/; revision=18191
 2009-11-06 10:30:51 +00:00
Michael Raskin 27e0421842 Fix SBCL URL.. 
svn path=/nixpkgs/trunk/; revision=18190
 2009-11-06 10:28:46 +00:00
Michael Raskin 8334ad8b2a Roll back SBCL 
svn path=/nixpkgs/trunk/; revision=18189
 2009-11-06 10:13:00 +00:00
Michael Raskin 73933c7f9b Comment out gcl as broken 
svn path=/nixpkgs/trunk/; revision=18188
 2009-11-06 09:44:03 +00:00
Michael Raskin 2e99554064 Try using latest CLisp for SBCL in case SBCL fixed compatibility issues 
svn path=/nixpkgs/trunk/; revision=18184
 2009-11-06 07:39:59 +00:00
Michael Raskin b50051494c goSrcDir unneeded for SBCL now 
svn path=/nixpkgs/trunk/; revision=18183
 2009-11-06 07:17:31 +00:00
Michael Raskin dbb59beb89 Update uzbl-experimental 
svn path=/nixpkgs/trunk/; revision=18182
 2009-11-06 06:22:22 +00:00
Michael Raskin 183e6593be One more program needs libXi explicitly passed.. 
svn path=/nixpkgs/trunk/; revision=18181
 2009-11-06 05:14:41 +00:00
Eelco Dolstra ade60645af * Nix 0.13. 
svn path=/nixpkgs/trunk/; revision=18175
 2009-11-05 23:47:53 +00:00
Michael Raskin dca59abcca Update Zen Kernel 
svn path=/nixpkgs/trunk/; revision=18174
 2009-11-05 23:32:48 +00:00
Michael Raskin 0e608788c0 Update SBCL 
svn path=/nixpkgs/trunk/; revision=18173
 2009-11-05 23:30:23 +00:00
Michael Raskin 5638a33600 Update WebKit 
svn path=/nixpkgs/trunk/; revision=18172
 2009-11-05 23:11:34 +00:00
Michael Raskin ddae0905e3 Update x11vnc arguments 
svn path=/nixpkgs/trunk/; revision=18171
 2009-11-05 22:27:46 +00:00
Sander van der Burg 9d3ccc5116 Fixed kdenetwork and accessibility 
svn path=/nixpkgs/trunk/; revision=18168
 2009-11-05 22:16:31 +00:00
Michael Raskin cf707c5761 Update GNokii 
svn path=/nixpkgs/trunk/; revision=18167
 2009-11-05 22:11:15 +00:00
Michael Raskin 4d02c927e6 Fix ratpoison dependencies 
svn path=/nixpkgs/trunk/; revision=18166
 2009-11-05 21:53:37 +00:00
Ludovic Courtès 82579d30d0 Remove old, commented GCJ expression. 
svn path=/nixpkgs/trunk/; revision=18165
 2009-11-05 21:43:05 +00:00
Ludovic Courtès 24c70760cd GCJ 4.4: Fix missing <X11/extensions/XInput.h> by adding `libXi'. 
That header used to be provided by inputproto-1.4 but is no longer
provided by inputproto-2.0.

svn path=/nixpkgs/trunk/; revision=18164
 2009-11-05 21:43:00 +00:00
Lluís Batlle i Rossell 8120292b21 Fixing some wxGTK dangling attributes I forgot in a recent commit. 
svn path=/nixpkgs/trunk/; revision=18162
 2009-11-05 21:34:44 +00:00
Lluís Batlle i Rossell 91c8df91bf Adding the Unichrome xorg video driver, and updating the Openchrome. 
svn path=/nixpkgs/trunk/; revision=18161
 2009-11-05 21:34:31 +00:00
Michael Raskin 09f38459d3 GCL expression unfinished.. 
svn path=/nixpkgs/trunk/; revision=18160
 2009-11-05 21:11:39 +00:00
Michael Raskin df69473bd2 Add directvnc. Not sure whether it works - for me it hangs, but I have known Radeon issues, it seems 
svn path=/nixpkgs/trunk/; revision=18159
 2009-11-05 21:10:51 +00:00
Michael Raskin 661f082d47 Update directfb 
svn path=/nixpkgs/trunk/; revision=18158
 2009-11-05 21:10:03 +00:00
Michael Raskin 3be216a703 Links2 works in FB without directfb just fine 
svn path=/nixpkgs/trunk/; revision=18157
 2009-11-05 21:09:36 +00:00
Michael Raskin e4a67dbe5b Fix wxGTK reference for xchm 
svn path=/nixpkgs/trunk/; revision=18156
 2009-11-05 21:08:53 +00:00
Ludovic Courtès 1e675384b0 Remove reference to libtopology' from release.nix'. 
svn path=/nixpkgs/trunk/; revision=18154
 2009-11-05 18:46:57 +00:00
Ludovic Courtès 0e02b4ccf9 GCC 4.4.2; new `update-gcc.sh' script. 
svn path=/nixpkgs/trunk/; revision=18153
 2009-11-05 18:46:52 +00:00
Ludovic Courtès 05437f62c9 Add hwloc 0.9.2, renamed from libtopology. 
svn path=/nixpkgs/trunk/; revision=18152
 2009-11-05 18:46:46 +00:00
Nicolas Pierron 09bed4bffc * Report file locations in the stack-trace when multiple option 
declarations cannot be merged.

svn path=/nixpkgs/trunk/; revision=18149
 2009-11-05 16:36:03 +00:00
Nicolas Pierron d8bbae877a * Add a type for read-only options. Options which are only declared 
are used when a module produces read-only data for other modules.

svn path=/nixpkgs/trunk/; revision=18148
 2009-11-05 15:39:45 +00:00
Nicolas Pierron 5684506470 * Add isDefined to each options. This will clean-up NixOS introspection. 
svn path=/nixpkgs/trunk/; revision=18147
 2009-11-05 15:39:39 +00:00
Marco Maggesi c713b0ed67 Preliminary version of package ssreflect 
Add expression for ssreflect, an extension to the Coq Proof Assistant.
Still has some clitches (see TODO in default.nix) but is usable anyway.


svn path=/nixpkgs/trunk/; revision=18145
 2009-11-05 15:08:12 +00:00
Eelco Dolstra d843b24fbe * Added Ubuntu 9.10 ("Karmic Koala"). 
svn path=/nixpkgs/trunk/; revision=18142
 2009-11-05 14:49:17 +00:00
Rob Vermaas 3bfd5b2d9c added couchdb 0.8.1-incubating 
svn path=/nixpkgs/trunk/; revision=18141
 2009-11-05 14:41:05 +00:00
Eelco Dolstra f7282b61c3 * Allow additional Deb provides/requires to be specified. 
svn path=/nixpkgs/trunk/; revision=18139
 2009-11-05 14:40:25 +00:00
Ludovic Courtès 9e1729637e Don't build GNU Emacs on non-gtk-supported platforms. 
svn path=/nixpkgs/trunk/; revision=18138
 2009-11-05 14:36:49 +00:00
Ludovic Courtès 9ec817f18a ECJ 3.5.1. 
Includes bug fixes needed for IcedTea, see
http://icedtea.classpath.org/bugzilla/show_bug.cgi?id=375 .

svn path=/nixpkgs/trunk/; revision=18137
 2009-11-05 14:36:45 +00:00
Peter Simons 4d675a283e pkgs/development/interpreters/python/2.6/default.nix: fixed build on Darwin 
svn path=/nixpkgs/trunk/; revision=18136
 2009-11-05 13:44:30 +00:00
Peter Simons 1981322cc5 pkgs/misc/cups/default.nix: don't install files to /etc or /usr 
The cups build tries to install files into global system directories.
This patch changes those paths to locations underneath of $out.

svn path=/nixpkgs/trunk/; revision=18134
 2009-11-05 13:33:36 +00:00
Lluís Batlle i Rossell 9b7670ce5b Setting wxGTK to use the old gtk libs. Until wxGTK 2.8.11 they will not fix 
a symbol clash with glib 2.21. So we keep with glib 2.20.
I also changed the default wxGTK from 2.6 to 2.8, caring so no hash is changed due to
this change. Some packages using 2.6 may well build with 2.8, so we can try updating
them for another commit.

svn path=/nixpkgs/trunk/; revision=18133
 2009-11-05 13:29:52 +00:00
Sander van der Burg 775075a0e8 Upgraded KDE to 4.3.3 
svn path=/nixpkgs/trunk/; revision=18132
 2009-11-05 12:13:46 +00:00
Rob Vermaas 724d21e3b0 updated version of chrome 
svn path=/nixpkgs/trunk/; revision=18131
 2009-11-05 10:50:57 +00:00
Eelco Dolstra d9f65496d4 * "Fix" Perl on Cygwin. 
svn path=/nixpkgs/trunk/; revision=18129
 2009-11-05 09:11:25 +00:00
Eelco Dolstra f08bc4c561 * Apply the Redland fix to version 1.0.8 as well (since that's what 
KDE 4.3 uses).

svn path=/nixpkgs/trunk/; revision=18127
 2009-11-05 08:19:35 +00:00
Eelco Dolstra b039fddfbc * Merged the xorg-7.5 branch, which provides X.org 7.5 and various 
other X-related updates.

svn path=/nixpkgs/trunk/; revision=18124
 2009-11-04 22:42:44 +00:00
Lluís Batlle i Rossell 2e8ae96930 Updating vwm and its libraries. 
svn path=/nixpkgs/trunk/; revision=18123
 2009-11-04 22:38:26 +00:00
Eelco Dolstra 4f839e9a54 * Sync with the trunk. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18122
 2009-11-04 22:37:24 +00:00
Lluís Batlle i Rossell 13a369476b Updating truecrypt from 6.2a to 6.3, mostly because the old src disappeared. 
svn path=/nixpkgs/trunk/; revision=18121
 2009-11-04 22:17:08 +00:00
Eelco Dolstra 304e339d4f * Added libglademm. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18120
 2009-11-04 22:07:32 +00:00
Eelco Dolstra 81f1c3e7d5 * Get rid of Gnome 2.26. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18119
 2009-11-04 21:50:13 +00:00
Eelco Dolstra ac4d183051 * Added gnome-icon-theme. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18118
 2009-11-04 21:44:01 +00:00
Eelco Dolstra 7a233c1629 * GIMP updated to 2.6.7. It no longer needs libgtkhtml. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18117
 2009-11-04 21:28:11 +00:00
Eelco Dolstra 9a4cd33d10 * Fix the synaptics driver. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18115
 2009-11-04 19:53:23 +00:00
Eelco Dolstra dba29df1dc * Same as r18113. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18114
 2009-11-04 18:37:48 +00:00
Eelco Dolstra 23ef4c4f79 * Before selecting an attribute from `x', check whether it's an 
attribute set.  `tryEval' no longer catches this.

svn path=/nixpkgs/trunk/; revision=18113
 2009-11-04 18:37:11 +00:00
Peter Simons 4c0ff006f3 pkgs/development/libraries/redland/1.0.9.nix: fix build with sqlite 3.6.19 
Redland's use of the pre-processor symbol SQLITE_API collides with a
symbol of the same name in sqlite 3.6.19. Patching the source code to
use REDLAND_SQLITE_API instead works around the problem.

svn path=/nixpkgs/trunk/; revision=18100
 2009-11-04 15:14:12 +00:00
Lluís Batlle i Rossell ae1f064c0c Updating doxygen from 1.5.8 to 1.6.1 
svn path=/nixpkgs/trunk/; revision=18099
 2009-11-04 14:58:39 +00:00
Eelco Dolstra 25a675da23 * Subversion 1.6.6. 
svn path=/nixpkgs/trunk/; revision=18093
 2009-11-04 13:41:55 +00:00
Peter Simons dd1a6f8ab1 pkgs/development/libraries/sqlite/default.nix: enable amalgamation build 
Sqlite has a build mode called "amalgamation" that gathers all 90+ source code
files into a single sqlite3.c file before compiling the library. Building
sqlite this way reportedly gives a 5-10% performance gain because the compiler
can perform more sophisticated optimizations.

svn path=/nixpkgs/trunk/; revision=18092
 2009-11-04 13:07:27 +00:00
Peter Simons 600d6a9bac pkgs/development/libraries/sqlite/default.nix: updated to version 3.6.19 
The new version requires Tcl at build time in order to construct sqlite3.h,
even when the --without-tcl option is passed to configure. That feels odd
because the sqlite web site does advertise "no dependencies", but then it's
probably not a big deal either. The build of the Tcl plugin for sqlite is still
disabled, so there is no run-time dependency.

svn path=/nixpkgs/trunk/; revision=18091
 2009-11-04 13:07:21 +00:00
Peter Simons f9b71e1c54 pkgs/development/interpreters/python/2.6/default.nix: updated to version 2.6.4 
svn path=/nixpkgs/trunk/; revision=18090
 2009-11-04 10:29:43 +00:00
Peter Simons 3659747127 pkgs/applications/editors/emacs-modes/haskell/default.nix: updated to version 2.6.1 
svn path=/nixpkgs/trunk/; revision=18089
 2009-11-04 10:29:38 +00:00
Eelco Dolstra cfe0ffad3a * Fixed some more Gnome packages. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18088
 2009-11-04 09:17:27 +00:00
Eelco Dolstra 7cec6e4f52 * Fix startup-notification. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18087
 2009-11-04 07:33:27 +00:00
Michael Raskin 19c6cba987 Try removing gnome26 references 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18086
 2009-11-04 00:39:27 +00:00
Eelco Dolstra b98502f06a * Fix xf86inputsynaptics. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18085
 2009-11-03 23:54:08 +00:00
Eelco Dolstra 56ea7df62d * Several buildInputs of Gnome-related packages should be 
propagatedBuildInputs, because those inputs are required by the *.pc
  or *.la files of the package:

  - If a *.pc file references a non-propagated input, then Gnome
    packages have the bad tendency to silently ignore this problem in
    configure scripts - the failure of a command like `pkg-config
    --cflags foo' will be ignored if a dependency of foo.pc is
    missing, so no flags will be added, and the build will fail later
    on a missing header or library.

  - If a *.la file references a non-propagated input, the build will
    also fail, because Libtool will add library dependencies that it
    cannot find.  (Arguably *.la files should never reference packages
    that aren't in the corresponding *.pc file, but they do it
    anyway).

  By setting the propagatedBuildInputs properly, it should be possible
  to get rid of all the NIX_CFLAGS_COMPILE / NIX_LDFLAGS hacks in the
  Gnome expressions.

svn path=/nixpkgs/branches/xorg-7.5/; revision=18084
 2009-11-03 23:26:14 +00:00
Eelco Dolstra 8fd610bff9 * Fixed Qt 3. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18083
 2009-11-03 21:55:53 +00:00
Eelco Dolstra eadf38f8de svn path=/nixpkgs/branches/xorg-7.5/; revision=18082 2009-11-03 21:49:59 +00:00
Eelco Dolstra 6fbcf62941 * Fix libgsf. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18081
 2009-11-03 21:48:09 +00:00
Eelco Dolstra f1f8debe62 * Lots of packages refer to gnomevfs and startupnotification. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18079
 2009-11-03 20:56:26 +00:00
Peter Simons b06c0d1a1d pkgs/applications/version-management/git-and-tools/default.nix: use docbook dtd 4.5 
Ensure that the 4.5 DTD required by asciidoc is available.

svn path=/nixpkgs/trunk/; revision=18078
 2009-11-03 15:57:31 +00:00
Peter Simons c0773ee99d pkgs/data/sgml+xml/schemas/xml-dtd/docbook/4.5.nix: added docbook 4.5 XML DTD 
The new asciidoc version generates docbook output for this version.

svn path=/nixpkgs/trunk/; revision=18077
 2009-11-03 15:57:27 +00:00
Peter Simons 9e98a71eaa pkgs/tools/typesetting/asciidoc: updated to version 8.5.1 
New asciidoc versions do have a proper configure script. Using that simplifies
the build instructions a bit.

svn path=/nixpkgs/trunk/; revision=18076
 2009-11-03 15:57:22 +00:00
Peter Simons 990d7c05e7 pkgs/applications/window-managers/ratpoison/default.nix: updated to version 1.4.5 
svn path=/nixpkgs/trunk/; revision=18075
 2009-11-03 15:57:17 +00:00
Sander van der Burg 5ed64ae7c0 Enabled my eclipse package again, since I want to have eclipse installed when typing nix-env -i. BTW. the eclipse plugins can be installed this way either 
svn path=/nixpkgs/trunk/; revision=18074
 2009-11-03 11:00:18 +00:00
Lluís Batlle i Rossell 3cc62cefa8 Finally I decided to add High Performance SSH. 
http://www.psc.edu/networking/projects/hpn-ssh/

I tried to keep the openssh hash not changing, unless the user sets hpn in getConfig
style. I think that does not look as good as a patch changing the hash, but it may
annoy less. Let me know if it is not ok.

I don't think hpn should be the default, because it may have some insecurity implications
I don't know of. But I used to enable it in all my machines, and I hope to do so unless
advised otherwise.

svn path=/nixpkgs/trunk/; revision=18073
 2009-11-02 21:49:06 +00:00
Sander van der Burg ee18789ca4 Added Jetty-util library 
svn path=/nixpkgs/trunk/; revision=18072
 2009-11-02 16:19:37 +00:00
Sander van der Burg 248fcdc3bb Downgraded smack to 3.0.4. It seems that 3.1.0 contains some annoying bugs 
svn path=/nixpkgs/trunk/; revision=18071
 2009-11-02 15:12:17 +00:00
Marco Maggesi a0207b3dc7 Updated Coq to version 8.2pl1 
svn path=/nixpkgs/trunk/; revision=18069
 2009-11-02 11:44:27 +00:00
Marco Maggesi c4533b8d24 Added camlp5 the preprocessor-pretty-printer for OCaml 
svn path=/nixpkgs/trunk/; revision=18068
 2009-11-02 10:47:24 +00:00
Rob Vermaas 3296f78ca9 also build gcc41 
svn path=/nixpkgs/trunk/; revision=18067
 2009-11-02 10:33:59 +00:00
Ludovic Courtès dc673480e6 GNU Zile 2.3.13. 
svn path=/nixpkgs/trunk/; revision=18066
 2009-11-01 20:55:14 +00:00
Eelco Dolstra 45ba16864f * Deleted some obsolete kernels (2.6.20, 2.6.21, 2.6.22, 2.6.23 and 
the 2.6.31rcs).

svn path=/nixpkgs/trunk/; revision=18065
 2009-11-01 17:17:40 +00:00
Ludovic Courtès 806a5a9b6c GNU IceCat 3.5.4. 
svn path=/nixpkgs/trunk/; revision=18064
 2009-11-01 14:47:13 +00:00
Eelco Dolstra 9692c7f38c * Lots of packages refer to gnome.glib etc., so propagate them. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18063
 2009-11-01 14:15:03 +00:00
Eelco Dolstra 18e5da0f60 * Delete the old Gnome. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18062
 2009-11-01 14:14:27 +00:00
Eelco Dolstra 7b8a785497 svn path=/nixpkgs/trunk/; revision=18061 2009-11-01 14:01:05 +00:00
Ludovic Courtès 25b0c3db17 Update reference to `tahoe'. 
svn path=/nixpkgs/trunk/; revision=18060
 2009-10-31 23:18:23 +00:00
Ludovic Courtès 061daca90c Rename Tahoe to Tahoe-LAFS. 
svn path=/nixpkgs/trunk/; revision=18059
 2009-10-31 22:34:24 +00:00
Michael Raskin 9c94b20629 Try using Gnome-2.28 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18058
 2009-10-31 12:59:33 +00:00
Eelco Dolstra c9b79a3d84 * Oops, wrong version. 
svn path=/nixpkgs/trunk/; revision=18057
 2009-10-30 18:13:08 +00:00
Eelco Dolstra 65d399ff81 * Upstart 0.6.2. 
svn path=/nixpkgs/trunk/; revision=18056
 2009-10-30 18:12:28 +00:00
Eelco Dolstra 97ea4b3375 * Updated ALSA. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18055
 2009-10-30 15:05:13 +00:00
Eelco Dolstra 65c0916cb7 * Updated Firefox 3.0.x to 3.0.15 (because the old tarball disappeared). 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18054
 2009-10-30 12:45:28 +00:00
Eelco Dolstra f01feca4ef * Updated libxml2 / libxslt. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18053
 2009-10-30 12:42:48 +00:00
Eelco Dolstra 6f04e6a5d6 * Merge the temporary copy of dbus. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18052
 2009-10-30 12:36:32 +00:00
Eelco Dolstra 404007aab3 * Build CUPS with dbus support, plus some purity fixes. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18051
 2009-10-30 12:33:34 +00:00
Rob Vermaas a73cef1057 added chromeWrapper, like firefoxWrapper, to allow plugins to work, added previously undefined dependencies on flash plugin 
svn path=/nixpkgs/trunk/; revision=18050
 2009-10-30 12:28:44 +00:00
Eelco Dolstra 78648561c5 * Updated CUPS to 1.4.1. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18048
 2009-10-30 09:46:51 +00:00
Rob Vermaas d025709a8a chrome 20565 
svn path=/nixpkgs/trunk/; revision=18046
 2009-10-30 08:45:58 +00:00
Eelco Dolstra 27ab1e3cc7 svn path=/nixpkgs/branches/xorg-7.5/; revision=18044 2009-10-30 08:26:20 +00:00
Eelco Dolstra 390548d708 * Fix the font packages. They need a --with-fontrootdir flag now. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18043
 2009-10-30 08:20:03 +00:00
Eelco Dolstra 1829882a24 svn path=/nixpkgs/branches/xorg-7.5/; revision=18042 2009-10-30 07:41:09 +00:00
Lluís Batlle i Rossell c22d173893 Adding the bootchart capture script. It worked for me, run standalone, not as init. 
I tried their website renderer, but it did not work for me. It may be shut down,
because their last update is for 2006.
Next steps: put it into nixos, and build the renderer (java!).

svn path=/nixpkgs/trunk/; revision=18041
 2009-10-29 23:15:10 +00:00
Eelco Dolstra d435899823 svn path=/nixpkgs/branches/xorg-7.5/; revision=18039 2009-10-29 20:52:31 +00:00
Eelco Dolstra 05ff927d83 * Bring back libXxf86misc and xf86miscproto. These were removed from 
X.org, but some packages still need them.

svn path=/nixpkgs/branches/xorg-7.5/; revision=18038
 2009-10-29 18:25:53 +00:00
Eelco Dolstra db52ebcc98 * Urgh. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18037
 2009-10-29 18:17:58 +00:00
Eelco Dolstra 7133275ca0 * Purity: don't do a mkdir /var/cache/fontconfig. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18036
 2009-10-29 18:17:45 +00:00
Eelco Dolstra 5884530154 * Deleted KDE 4.2. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18035
 2009-10-29 18:04:46 +00:00
Eelco Dolstra 28d718aceb * X.org 7.5. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18034
 2009-10-29 17:56:10 +00:00
Eelco Dolstra e9a6fc3bc1 * Mesa 7.5.2. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18033
 2009-10-29 17:19:25 +00:00
Eelco Dolstra 95324696a3 * cairomm updated to 1.8.4. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18031
 2009-10-29 15:26:50 +00:00
Eelco Dolstra 64cdcd8812 * Disable XCB support in Cairo, since it's not really supported 
currently
  (http://lists.freedesktop.org/archives/xcb/2008-December/004140.html).

svn path=/nixpkgs/branches/xorg-7.5/; revision=18030
 2009-10-29 15:26:39 +00:00
Eelco Dolstra 71f6b12135 * libdrm updated to 2.4.15. 
* libpthread_stubs updated to 0.3.

svn path=/nixpkgs/branches/xorg-7.5/; revision=18029
 2009-10-29 14:52:10 +00:00
Eelco Dolstra cb7dfb9652 * libtiff 3.9.1. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18027
 2009-10-29 14:19:58 +00:00
Eelco Dolstra 843617bac9 * libpng 1.2.40. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18026
 2009-10-29 14:19:39 +00:00
Eelco Dolstra b90a6b4ba0 * Make GTK 2.18 the default, and get rid of the deep overrides. (BTW, 
there seems to be a much cleaner solution than deepOverride, namely
  call all-packages.nix with an appropriate packageOverrides set.)

svn path=/nixpkgs/branches/xorg-7.5/; revision=18025
 2009-10-29 14:19:13 +00:00
Eelco Dolstra f210a41f84 * Shocking: a new version of libjpeg! 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18024
 2009-10-29 14:13:07 +00:00
Eelco Dolstra 35593f5cd5 * NVIDIA X11 driver updated to 190.42. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18023
 2009-10-29 13:47:44 +00:00
Eelco Dolstra da182ce1d4 * Cairo 1.8.8. 
svn path=/nixpkgs/branches/xorg-7.5/; revision=18022
 2009-10-29 13:32:48 +00:00
Eelco Dolstra 9301524c50 * Fontconfig updated to 2.7.3. Use /etc/fonts as the default 
configuration directory so that users on other distributions don't
  need to set $FONTCONFIG_FILE (NIXPKGS-29).  Also use
  /var/cache/fontconfig for the cache to prevent programs run by root
  from writing into the Nix store.

svn path=/nixpkgs/branches/xorg-7.5/; revision=18021
 2009-10-29 13:22:43 +00:00
Peter Simons 7fa0d73966 pkgs/applications/science/math/wxmaxima/default.nix: cosmetic changes 
Note that wxMaxima does *not* have a proper store path to maxima built
into the binary. It relies on $PATH, /etc/wxMaxima.conf, or ~/.wxMaxima
to find the binary.

svn path=/nixpkgs/trunk/; revision=18020
 2009-10-29 12:53:22 +00:00
Eelco Dolstra 1b25d01703 * FreeType updated to 2.3.11. Also added an option to enable the 
patent-encumbered hinting and sub-pixel rendering.  It's disabled by
  default.  (Or should it be enabled by default?)

svn path=/nixpkgs/branches/xorg-7.5/; revision=18019
 2009-10-29 12:48:47 +00:00