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

11505 commits

Author SHA1 Message Date
Peter Simons 403938b004 pkgs/applications/science/logic/prover9: updated homepage and license 
svn path=/nixpkgs/trunk/; revision=23447
 2010-08-26 11:42:41 +00:00
Peter Simons 340d4a6ddd pkgs/applications/science/logic/prover9: initial version 
svn path=/nixpkgs/trunk/; revision=23446
 2010-08-26 11:37:05 +00:00
Peter Simons d25c8b5882 pkgs/top-level/all-packages.nix: stripped trailing whitespace 
svn path=/nixpkgs/trunk/; revision=23444
 2010-08-26 09:45:10 +00:00
Peter Simons f79ba3cde3 pkgs/top-level/all-packages.nix: don't use getPkgConfig to configure Doxygen; use override instead 
svn path=/nixpkgs/trunk/; revision=23443
 2010-08-26 09:44:53 +00:00
Peter Simons a51fc5c66d pkgs/development/tools/documentation/doxygen: strip trailing whitespace 
svn path=/nixpkgs/trunk/; revision=23442
 2010-08-26 09:44:23 +00:00
Peter Simons 40c02f3cd6 pkgs/development/tools/documentation/doxygen: updated to version 1.7.1 
svn path=/nixpkgs/trunk/; revision=23441
 2010-08-26 09:43:30 +00:00
Peter Simons 9f26d6e101 pkgs/development/tools/documentation/doxygen: updated meta section for Hydra 
Build doxygen on all Unix'ish platforms.

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

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


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


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

svn path=/nixpkgs/trunk/; revision=23424
 2010-08-25 13:08:32 +00:00
Ludovic Courtès 821c95173f libuuid: Add static cross-build for GNU/Hurd. 
svn path=/nixpkgs/trunk/; revision=23419
 2010-08-25 12:49:54 +00:00
Ludovic Courtès a806414146 libuuid: Make cross-buildable for GNU/Hurd (needed by GNU Parted). 
svn path=/nixpkgs/trunk/; revision=23415
 2010-08-25 08:57:10 +00:00
Lluís Batlle i Rossell e7c47f424f The uclibc used in bootstrap-tools needs some options to allow bzip2 to build 
with it.


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

svn path=/nixpkgs/trunk/; revision=23411
 2010-08-24 21:56:47 +00:00
Lluís Batlle i Rossell 4ecebb6465 Updating xmoto 
svn path=/nixpkgs/trunk/; revision=23409
 2010-08-24 19:59:06 +00:00
Lluís Batlle i Rossell 03ccbe3f78 Adding a more-or-less working 'egoboo'. I'll update to a better expression after some 
egoboo upstream work.

svn path=/nixpkgs/trunk/; revision=23408
 2010-08-24 19:36:42 +00:00
Lluís Batlle i Rossell 66b325ebbd Revert "Updating kipi-plugins" 
I did not mean this to go upstream. This simple change was not enough.

svn path=/nixpkgs/trunk/; revision=23406
 2010-08-24 18:12:43 +00:00
Lluís Batlle i Rossell 62f191bf6f Updating kipi-plugins 
svn path=/nixpkgs/trunk/; revision=23405
 2010-08-24 17:40:40 +00:00
Lluís Batlle i Rossell d5d2458003 Fixing the nvidia legacy driver builder. The legacy driver needs the old builder script. 
svn path=/nixpkgs/trunk/; revision=23404
 2010-08-24 17:40:00 +00:00
Lluís Batlle i Rossell 232ee1bd17 Updating nvidia legacy drivers 
svn path=/nixpkgs/trunk/; revision=23403
 2010-08-24 17:37:12 +00:00
Eelco Dolstra b9f2f1dc46 * Zabbix 1.8.3. 
svn path=/nixpkgs/trunk/; revision=23401
 2010-08-24 15:18:06 +00:00
Michael Raskin 90603fd593 Update Midori 
svn path=/nixpkgs/trunk/; revision=23397
 2010-08-24 13:58:57 +00:00
Rob Vermaas 68a6fa773a added seperate meta-environment packages, use callpackage for aterm28 
svn path=/nixpkgs/trunk/; revision=23394
 2010-08-24 13:20:55 +00:00
Lluís Batlle i Rossell 689b834242 Updating gtkwave 
svn path=/nixpkgs/trunk/; revision=23391
 2010-08-24 10:00:19 +00:00
Eelco Dolstra 8e73500282 * Gens/GS doesn't build on 64-bit systems. 
svn path=/nixpkgs/trunk/; revision=23390
 2010-08-24 09:57:57 +00:00
Ludovic Courtès 7ab81fe75f MPC 0.8.2. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23387
 2010-08-24 09:21:19 +00:00
Eelco Dolstra 509fa794dd * Linux 2.6.32.20, 2.6.27.52. This fixes the "scheduling while 
atomic" regression.

svn path=/nixpkgs/trunk/; revision=23386
 2010-08-24 09:01:48 +00:00
Lluís Batlle i Rossell 4d8eea0c6b Updating the nvidia drivers 
svn path=/nixpkgs/trunk/; revision=23385
 2010-08-24 08:31:32 +00:00
Peter Simons bb0e55c238 pkgs/development/compilers/urweb: correct mysql search paths 
svn path=/nixpkgs/trunk/; revision=23384
 2010-08-24 08:27:55 +00:00
Peter Simons 8b2437156b Correct the output directory adding missing prefix "share". 
svn path=/nixpkgs/trunk/; revision=23383
 2010-08-24 08:26:48 +00:00
Peter Simons 14760d869b Add Nix expression for Emacs mode htmlize. 
svn path=/nixpkgs/trunk/; revision=23382
 2010-08-24 08:25:51 +00:00
Peter Simons ed19b4faf0 Add Nix expression for Ur/Web. 
svn path=/nixpkgs/trunk/; revision=23381
 2010-08-24 08:25:07 +00:00
Peter Simons d64e59b56e Patch libmhash to correct autotools config.h collision. 
The autotools build was passing package generic parameters via config.h
in such a way as to generate name collisions with other autotool packages
using libmhash.

svn path=/nixpkgs/trunk/; revision=23380
 2010-08-24 08:24:48 +00:00
Peter Simons f101a46d19 Add libmhash, a cryptographic hash library. 
Add Nix expression to package libmhash, a library providing a collection
of cryptographic hash algorithms.

svn path=/nixpkgs/trunk/; revision=23379
 2010-08-24 08:24:33 +00:00
Peter Simons f17a4cfbf9 Add package mlton, an optimizing compiler for Standard ML. 
This commit packages mlton.  Note that the documentation has not
been built or included.

svn path=/nixpkgs/trunk/; revision=23378
 2010-08-24 08:23:16 +00:00
Eelco Dolstra 261a3eec35 * Added Gens/GS, a Mega Drive emulator. 
svn path=/nixpkgs/trunk/; revision=23377
 2010-08-23 20:28:14 +00:00
Lluís Batlle i Rossell 643eb3435e Moving back my attempt to build binutils before glibc in stdenvLinux. 
What I did results in segfaults in built binaries.

svn merge -c -23370 ^/nixpkgs/branches/stdenv-updates


svn path=/nixpkgs/branches/stdenv-updates/; revision=23376
 2010-08-23 19:59:06 +00:00
Lluís Batlle i Rossell cdbe8d495c Fixing mountall build after updating some gnu tools (autoconf and friends) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23375
 2010-08-23 19:56:39 +00:00
Michael Raskin 1d067af2ec Update StumpWM 
svn path=/nixpkgs/trunk/; revision=23374
 2010-08-23 19:31:28 +00:00
Ludovic Courtès b125bec491 acl: Remove unnecessary dependency on Libtool. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23373
 2010-08-23 18:29:39 +00:00
Ludovic Courtès f998ea4ff9 GNU MPFR 3.0.0. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23372
 2010-08-23 18:29:03 +00:00
Ludovic Courtès 8973ddbaca GNU MPFR: Add platforms' and maintainers'. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23371
 2010-08-23 18:28:04 +00:00
Lluís Batlle i Rossell d2bcf1340c Adding building 'binutils' before building the 'glibc' in stdenv-linux. 
This should allow keeping the i686-linux boostrap-tools.
I updated some days ago the x86_64-linux bootstrap-tools, but that update is
not needed anymore. We can revert that boostrap-tools update if anyone wants.
Pro:
- new gcc building gcc and glibc.
Contra:
- maybe some old systems (patched red had kernels come to mind) break with that update?


svn path=/nixpkgs/branches/stdenv-updates/; revision=23370
 2010-08-23 18:05:19 +00:00
Lluís Batlle i Rossell a480f92f9d Fixing the glibc locales build expression (in the sense that now it builds, not that it looks nice) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23369
 2010-08-23 17:36:51 +00:00
Peter Simons 08244152cc pkgs/development/interpreters/lua-5: overriding CFLAGS on the make command-line breaks the build 
svn path=/nixpkgs/trunk/; revision=23367
 2010-08-23 15:20:49 +00:00
Peter Simons 8170f3b73b pkgs/development/interpreters/lua-5: FreeBSD can't handle "install -D"; use "ensureDir" instead 
svn path=/nixpkgs/trunk/; revision=23366
 2010-08-23 15:09:02 +00:00
Ludovic Courtès 8d6af9d471 GNU Gnash 0.8.8. 
svn path=/nixpkgs/trunk/; revision=23365
 2010-08-23 14:52:48 +00:00
Ludovic Courtès 6ffaf59086 GtkGLExt 1.2.0. 
svn path=/nixpkgs/trunk/; revision=23364
 2010-08-23 14:52:00 +00:00
Ludovic Courtès 3002aafcf3 Build GNU Nettle. 
svn path=/nixpkgs/trunk/; revision=23363
 2010-08-23 14:50:55 +00:00
Peter Simons c50ae128d5 pkgs/development/interpreters/lua-5: added support for all Unix platforms 
svn path=/nixpkgs/trunk/; revision=23362
 2010-08-23 14:41:03 +00:00
Peter Simons 960323ec73 pkgs/stdenv/generic: cosmetic changes 
svn path=/nixpkgs/trunk/; revision=23361
 2010-08-23 14:40:37 +00:00
Peter Simons eb9c20eaf3 pkgs/stdenv/generic: added stdenv attributes isFreeBSD, isOpenBSD, and isBSD 
svn path=/nixpkgs/trunk/; revision=23360
 2010-08-23 14:39:46 +00:00
Peter Simons f79f257c88 pkgs/development/interpreters/lua-5: $makeFlags is not a list 
svn path=/nixpkgs/trunk/; revision=23359
 2010-08-23 14:29:26 +00:00
Peter Simons a65aab0171 pkgs/development/interpreters/lua-5: cosmetic changes 
svn path=/nixpkgs/trunk/; revision=23358
 2010-08-23 14:27:33 +00:00
Peter Simons d3a8a3f7d0 pkgs/development/interpreters/lua-5: added meta section to the expression 
svn path=/nixpkgs/trunk/; revision=23357
 2010-08-23 14:26:26 +00:00
Michael Raskin fb24277ef2 Update Linux kernel to 2.6.35.3 - 2.6.35.2 has a few lockup regressions 
svn path=/nixpkgs/trunk/; revision=23356
 2010-08-23 11:49:17 +00:00
Eelco Dolstra 554b5f804a * Added libcloud. 
svn path=/nixpkgs/trunk/; revision=23355
 2010-08-23 10:17:30 +00:00
Lluís Batlle i Rossell 53b8411c7a Adding torcs 
svn path=/nixpkgs/trunk/; revision=23354
 2010-08-22 14:18:58 +00:00
Lluís Batlle i Rossell 15f83acc0c Updating nasm 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23353
 2010-08-22 12:14:28 +00:00
Lluís Batlle i Rossell 397a10aba2 Adding Kicad 
svn path=/nixpkgs/trunk/; revision=23352
 2010-08-22 12:09:47 +00:00
Lluís Batlle i Rossell 5c8b4043ee Adding espeak (and one of the libraries it needs, portaudio) 
svn path=/nixpkgs/trunk/; revision=23351
 2010-08-22 12:08:55 +00:00
Lluís Batlle i Rossell f093c8fb18 Making the navipowm store some files in it's $out/share, needed to make it work. 
Nevertheless it still looks for the ini file in the same directory as the executable.

svn path=/nixpkgs/trunk/; revision=23350
 2010-08-22 12:07:50 +00:00
Lluís Batlle i Rossell 9558cf93c4 Updating 'navit' to the latest svn version 
svn path=/nixpkgs/trunk/; revision=23349
 2010-08-22 12:07:03 +00:00
Lluís Batlle i Rossell 63eaf8dd0f Adding NaviPOWM (I don't know how to use it though) 
svn path=/nixpkgs/trunk/; revision=23348
 2010-08-22 12:04:03 +00:00
Lluís Batlle i Rossell 201d3ac791 Fixing the navit installation disabling the build of the sample map (so it does not have to 
download anything at build time)

svn path=/nixpkgs/trunk/; revision=23347
 2010-08-22 12:01:41 +00:00
Lluís Batlle i Rossell 86d5e94cda Adding 'navit' (it still does not build because it wants to download maps) 
svn path=/nixpkgs/trunk/; revision=23346
 2010-08-22 11:33:57 +00:00
Lluís Batlle i Rossell 30892ab9fd Updating busybox and adding a patch that allows it to build with make 3.82 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23345
 2010-08-21 23:13:21 +00:00
Yury G. Kudryashov cbec86d7d1 Propagate gcc.libc in kdelibs-4.4 
svn path=/nixpkgs/trunk/; revision=23344
 2010-08-21 22:05:03 +00:00
Lluís Batlle i Rossell dc19818cc7 Propagating the 'platform' stdenv attribute properly on stdenvLinux, 
so it can be used in places like the linuxHeaders expression.

svn path=/nixpkgs/branches/stdenv-updates/; revision=23343
 2010-08-21 21:08:57 +00:00
Lluís Batlle i Rossell 9a1e29ecdf Patch for glibc 2.12.1 to build with gnumake 3.82 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23342
 2010-08-21 21:08:05 +00:00
Yury G. Kudryashov 3adcb12100 Fix evaluation error 
svn path=/nixpkgs/trunk/; revision=23341
 2010-08-21 20:20:34 +00:00
Lluís Batlle i Rossell b8298c9cdd Adding a patch file I forgot for w3m, while the nix expression already refers to it. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23340
 2010-08-21 20:13:02 +00:00
Lluís Batlle i Rossell 96c53c8239 Fix on the file type on glibc ports 2.12.1. (gzip vs bzip2) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23339
 2010-08-21 20:11:07 +00:00
Lluís Batlle i Rossell 13a647ab4c Disabling the legacy IDE in the fuloong2f kernel (that may give sda devices instead of hga?) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23338
 2010-08-21 20:03:00 +00:00
Lluís Batlle i Rossell 23b47575c6 Adding a tarball I publish in my server for glibc ports 2.12.1 I made from the git repository. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23337
 2010-08-21 20:00:54 +00:00
Yury G. Kudryashov 3537d94672 Move yakuake to pkgs 
svn path=/nixpkgs/trunk/; revision=23331
 2010-08-21 19:30:15 +00:00
Yury G. Kudryashov 682e4ae09e Move konversation to pkgs 
svn path=/nixpkgs/trunk/; revision=23330
 2010-08-21 19:29:47 +00:00
Yury G. Kudryashov 608cde4f82 Explicit pkgs.prefix 
svn path=/nixpkgs/trunk/; revision=23329
 2010-08-21 19:27:31 +00:00
Yury G. Kudryashov c3948239d7 Remove broken assert in sqlite backend code 
svn path=/nixpkgs/trunk/; revision=23328
 2010-08-21 19:25:44 +00:00
Lluís Batlle i Rossell 0709b7df6d Making glibc not depend on glibc-ports for platforms not requiring glibc-ports. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23327
 2010-08-21 19:05:42 +00:00
Lluís Batlle i Rossell b9080de4fd Addindg isArm and enlarging isMips for stdenv. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23326
 2010-08-21 19:02:43 +00:00
Lluís Batlle i Rossell 191961aa76 Typo 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23324
 2010-08-21 17:18:35 +00:00
Lluís Batlle i Rossell 72707853f0 Adding in stdenv an 'isMips' attribute. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23323
 2010-08-21 17:14:03 +00:00
Lluís Batlle i Rossell 237884a8bf Disabling the nfs-utils test on mips (one test fails, I don't know why) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23322
 2010-08-21 17:13:28 +00:00
Lluís Batlle i Rossell 5da066984f Updating kbd, so it builds in mips 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23321
 2010-08-21 17:12:54 +00:00
Lluís Batlle i Rossell affd2abf24 Limitting the 'hal' usage of libsmbios to i686/x86_64 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23320
 2010-08-21 17:11:07 +00:00
Lluís Batlle i Rossell 64eadafc2b Using a new boehm-gc (alpha, not stable) on the mips, 
because the stable does not support mips at all

svn path=/nixpkgs/branches/stdenv-updates/; revision=23319
 2010-08-21 17:09:02 +00:00
Lluís Batlle i Rossell 7d3e0c542c Making w3m build with a newer boehm-gc 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23318
 2010-08-21 17:07:03 +00:00
Lluís Batlle i Rossell bc0fab5793 Setting sysvinit to be downloaded from a savannah mirror, instead of the url of a single mirror it had (a mirror not working anymore) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23317
 2010-08-21 16:58:18 +00:00
Lluís Batlle i Rossell 508fc749f4 Making texinfo look nicer related to cross-build (we had some cleaning up to do for the time when we rebuild stdenv. It looks like a good time for that) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23316
 2010-08-21 16:57:24 +00:00