Peter Simons
475cbea101
pkgs/tools/text/replace: move --mandir to standard location $out/share/man
...
Also, fixed the type of $makeFlags, which is a string, not a list.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25006
2010-12-06 17:43:57 +00:00
Lluís Batlle i Rossell
09bcba17f5
Adding the nanonote openwrt 2.6.36 kernel
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=25005
2010-12-06 15:30:19 +00:00
Eelco Dolstra
bf0fa02bff
* Fix the GRUB 1 build on x86_64-linux. It didn't build because
...
gcc43_multi is broken in the stdenv branch. However, for GRUB 1 we
can just use the 32-bit build of GRUB (using callPackage_i686).
svn path=/nixpkgs/branches/stdenv-updates/; revision=25003
2010-12-06 14:25:58 +00:00
Eelco Dolstra
b94588c5c4
* Remove obsolete patch.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=25001
2010-12-06 13:45:07 +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
Lluís Batlle i Rossell
1b62c9c061
I made changes to achieve a working cross-built gcc wrapper. Now,
...
"gcc45.hostDrv" works in the host system, together with libc, binutils, dynamic
linker, ...
svn path=/nixpkgs/branches/stdenv-updates/; revision=24971
2010-12-04 21:45:37 +00:00
Lluís Batlle i Rossell
cd9d91306c
Fixing the dependency of cscope on 'emacs'.
...
On the other hand, cross-building emacs fails even to evaluate. I did not investigate.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24970
2010-12-04 21:43: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
Lluís Batlle i Rossell
cf79eb4d89
Making gdb cross-build (python apart)
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=24965
2010-12-04 10:35:04 +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
Lluís Batlle i Rossell
9af474ca72
Fixing a problem of nscd on (only) armv5tel (soft-float).
...
It gets linked to libgcc_s (shared lib) unless doing the trick I thought feasible of
telling 'configure' that the linker does not support "as-needed".
I found this reading their 'configure' script.
We don't want nscd linked to libgcc because that would make glibc dependant on the
previous gcc. This only happens on armv5tel, for the supported platforms.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24959
2010-12-02 22:23:15 +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
Evgeny Egorochkin
c76f114d20
tor:version bump
...
svn path=/nixpkgs/trunk/; revision=24944
2010-12-01 04:07:44 +00:00
Eelco Dolstra
f088bd4791
* nixUnstable updated, now with garbage collector.
...
svn path=/nixpkgs/trunk/; revision=24943
2010-11-30 18:32:23 +00:00
Eelco Dolstra
a772452fc9
* Merged the cve-2010-3856 branch, fixing two critical Glibc security
...
bugs.
svn path=/nixpkgs/trunk/; revision=24941
2010-11-30 16:40:39 +00:00
Lluís Batlle i Rossell
b5f1600e49
Fixing the build of dev86 (it does not like gnumake 3.82)
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=24940
2010-11-30 14:46:07 +00:00
Lluís Batlle i Rossell
0196bb720e
Making the addCoverageInformation stdenv adapter better in the sense that it
...
does not override NIX_CFLAGS_COMPILE anymore in the mkDerivation parameter
attributes. This way, apacheHttpd can be built properly with coverage
information.
An indication of this problem came from the nixos tests.subversion failure.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24938
2010-11-30 14:10:52 +00:00
Eelco Dolstra
86d51032cc
* Sync.
...
svn path=/nixpkgs/branches/cve-2010-3856/; revision=24936
2010-11-30 11:39:53 +00:00
Lluís Batlle i Rossell
d71ad68d43
Fixing the verilog URL (contributed by Antonio Vargas)
...
svn path=/nixpkgs/trunk/; revision=24935
2010-11-30 11:24:12 +00:00
Lluís Batlle i Rossell
ab6627ac0e
Fix for the verilog package, from Antonio Vargas Gonzalez
...
svn path=/nixpkgs/trunk/; revision=24934
2010-11-30 11:23:36 +00:00
Russell O'Connor
d07675c415
Maybe this will fix wicd.
...
svn path=/nixpkgs/trunk/; revision=24933
2010-11-30 04:09:51 +00:00
Lluís Batlle i Rossell
f7cfcbd1f9
Making gpm generate proper files in $out/lib, that allow good cross-linking. I
...
had to do this to get the FB driver in links2 - it wants gpm to build, and
without these changes, the "-lgpm" did not work.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24932
2010-11-29 23:51:24 +00:00
Michael Raskin
f5e7bc623f
Adding crrcsim model airplane flight simulator
...
svn path=/nixpkgs/trunk/; revision=24931
2010-11-29 21:12:53 +00:00
Michael Raskin
cfce1c0b98
Adding GL-117
...
svn path=/nixpkgs/trunk/; revision=24930
2010-11-29 20:51:09 +00:00
Russell O'Connor
7f65afe3f3
Update wicd to 1.7.0
...
svn path=/nixpkgs/trunk/; revision=24929
2010-11-29 20:15:44 +00:00
