Eelco Dolstra
cb9f69c052
llvm: Don't depend on Python on Darwin
...
There already is a Python in /usr/bin, so we don't need to build
another one.
2014-09-23 13:13:53 +02:00
Eelco Dolstra
cd71f7a2e6
Merge branch 'darwin-stdenv' of github.com:joelteon/nixpkgs into staging
...
Conflicts:
pkgs/development/interpreters/ruby/ruby-19.nix
pkgs/development/libraries/libc++/default.nix
pkgs/development/libraries/libc++abi/default.nix
pkgs/tools/text/sgml/opensp/default.nix
2014-09-23 11:27:53 +02:00
Georges Dubus
58c4bf5f20
rustc: fixed build after 7068828389
...
That commit changed the patch to work for the new HEAD, but that new
patch breaks 0.11. I made two patch for the two versions.
2014-09-16 13:51:57 +02:00
Aristid Breitkreuz
8059a25ba9
Merge pull request #4047 from waywardmonkeys/remove-gwdyion-dylan
...
dylan: Remove old gwydion-dylan package.
2014-09-14 22:28:35 +02:00
Ricardo M. Correia
7068828389
rustcMaster: Update to a more recent commit
2014-09-14 04:54:33 +02:00
Peter Simons
686ea115a9
idris: broken by recent Haskell updates
...
http://hydra.cryp.to/build/190927/nixlog/1/raw
2014-09-14 00:06:43 +02:00
Peter Simons
3f2c6833ac
idris: remove unnecessary jailbreak
2014-09-14 00:06:42 +02:00
Bruce Mitchener
5e367ec9d7
dylan: Remove old gwydion-dylan package.
...
The Gywdion Dylan compiler that was packaged here is old and this
package no longer builds. The Gwydion Dylan compiler is no longer
maintained, and has been replaced by the Open Dylan compiler which
is already packaged in Nix (opendylan).
2014-09-12 12:27:58 +07:00
Mateusz Kowalczyk
d50c0e75b8
agda: fix license
2014-09-11 20:35:56 +01:00
Mateusz Kowalczyk
ee31679bad
agda-stdlib: make expression nicer, fix license
2014-09-11 20:35:56 +01:00
Rob Vermaas
a904585789
scala: update from 2.11.0 to 2.11.1
2014-09-11 13:32:33 +02:00
Joel Taylor
fa9b1f9cda
build nix head successfully
2014-09-09 13:54:57 -07:00
Eric Seidel
0577499d74
fix some packages on darwin
2014-09-09 13:54:26 -07:00
Joel Taylor
7da056233f
wip libc++
2014-09-09 13:54:25 -07:00
Joel Taylor
3e8344d334
suitable clang stdenv
2014-09-09 13:54:24 -07:00
Eelco Dolstra
585983bc95
Merge remote-tracking branch 'origin/staging'
...
Conflicts:
pkgs/applications/version-management/subversion/default.nix
2014-09-08 11:42:09 +02:00
Vladimír Čunát
06fea81c6e
Merge recent master into staging
...
Hydra: ?compare=1150594
2014-09-06 16:52:45 +02:00
Robert M. Mather
98a4675581
Ur/Web compiler: new release, 20140531 -> 20140830
2014-09-06 11:05:10 +02:00
Domen Kožar
f9ba413b55
fix eval
2014-09-05 00:06:11 +02:00
Michael Raskin
014f7ad100
Merge pull request #3955 from paulkoerbitz/master
...
Update oraclejdk-7 patch version from 65 to 67
2014-09-04 20:20:01 +04:00
Peter Simons
0a6ad14395
haskell-idris: update to version 0.9.14.3
2014-09-04 14:41:09 +02:00
Michael Raskin
a517dfcf71
Fix ACL2
2014-09-04 14:41:35 +04:00
Peter Simons
ca931e0e1e
Merge pull request #3915 from Fuuzetsu/agda-builder
...
RFC: Agda builder
2014-09-04 11:28:47 +02:00
Paul Koerbitz
b8a88ce472
Update oraclejdk-7 patch version from 65 to 67
2014-09-03 21:30:31 +02:00
Ricardo M. Correia
e552fbf521
gcc/gcj: Update antlr dep to 4.4
...
Version 3.1.3 is no longer available for download.
2014-09-03 14:04:52 +02:00
Peter Simons
1c0d15b90e
Merge branch 'origin/master' into staging.
...
Conflicts:
pkgs/development/libraries/ffmpeg/2.x.nix
pkgs/development/libraries/serf/default.nix
2014-09-02 12:31:03 +02:00
Michael Raskin
24b4105ed7
Remove fpc 2.4.0: lazarus doesn't need it and it doesn't like .2.6.0 as bootstrap compiler
2014-09-01 08:56:37 +04:00
Mateusz Kowalczyk
61c17e326f
Use agda builder for stdlib. mv to all-packages
2014-09-01 01:38:01 +01:00
Michael Raskin
2406a89219
Update FPC to 2.6.4
2014-08-31 22:47:55 +04:00
Michael Raskin
6b962e6e9e
Update FPC binary expression
2014-08-31 22:47:55 +04:00
Mateusz Kowalczyk
b1e388cefb
agda-stdlib: update to 0.8.1
...
This is necessary after the Agda-2.4.2 bump
2014-08-31 19:26:05 +01:00
Peter Simons
6ea21ad737
haskell-Agda: update to version 2.4.2
...
I had to disable the Haddock phase because of lots of errors:
http://hydra.cryp.to/build/181564/nixlog/1/raw
2014-08-31 18:17:01 +02:00
Peter Simons
c04507ea3e
haskell-idris: update to version 0.9.14.2
2014-08-31 18:17:00 +02:00
Michael Raskin
5fc69283f5
Update SBCL
2014-08-31 18:20:07 +04:00
Vladimír Čunát
e51f73652d
Merge recent master into staging
...
Hydra: ?compare=1149952
Conflicts:
nixos/doc/manual/configuration.xml (changed split file)
nixos/modules/config/users-groups.nix (choosing filterNull instead of inline definition)
pkgs/development/libraries/readline/readline6.3.nix (auto-solved)
2014-08-30 10:04:02 +02:00
Shea Levy
ceb367a8a2
ats2: Bump
2014-08-29 16:13:48 -04:00
Gergely Risko
dd3f3bdcc2
GCC >= 4.8 doesn't depend on ppl
2014-08-29 11:45:22 +02:00
Michael Raskin
f25709c48a
List NCSA license properly
2014-08-29 01:14:10 +04:00
Michael Raskin
55cc5736a9
Merge pull request #3255 from bosu/emscripten2
...
Add emscripten: LLVM to JavaScript compiler (take 2)
2014-08-29 01:04:26 +04:00
Shea Levy
013aedffea
ats2: bump
2014-08-27 22:51:27 -04:00
Bjørn Forsman
c9baba9212
Fix many package descriptions
...
(My OCD kicked in today...)
Remove repeated package names, capitalize first word, remove trailing
periods and move overlong descriptions to longDescription.
I also simplified some descriptions as well, when they were particularly
long or technical, often based on Arch Linux' package descriptions.
I've tried to stay away from generated expressions (and I think I
succeeded).
Some specifics worth mentioning:
* cron, has "Vixie Cron" in its description. The "Vixie" part is not
mentioned anywhere else. I kept it in a parenthesis at the end of the
description.
* ctags description started with "Exuberant Ctags ...", and the
"exuberant" part is not mentioned elsewhere. Kept it in a parenthesis
at the end of description.
* nix has the description "The Nix Deployment System". Since that
doesn't really say much what it is/does (especially after removing
the package name!), I changed that to "Powerful package manager that
makes package management reliable and reproducible" (borrowed from
nixos.org).
* Tons of "GNU Foo, Foo is a [the important bits]" descriptions
is changed to just [the important bits]. If the package name doesn't
contain GNU I don't think it's needed to say it in the description
either.
2014-08-24 22:31:37 +02:00
Eelco Dolstra
2d6d43c02c
Fix tarball build
2014-08-24 18:52:50 +02:00
Domen Kožar
fc5f6e4e79
tarball fixes
2014-08-24 16:02:57 +02:00
Michael Raskin
33ef69390b
Fix Julia 0.3.0 build (for most purposes). Not making default yet because it is unclear if I missed something important. Failed to make it use external openblas and lapack correctly…
2014-08-24 00:24:55 +04:00
Vladimír Čunát
0df6ccb4b6
orc: disable tests on i686
...
The failing test doesn't even work in the commit that introduced it.
2014-08-23 15:17:06 +02:00
Michael Raskin
ff0582f185
Merge pull request #3649 from daogames/tb/update-golang
...
golang: bump to 1.3.1
2014-08-23 13:05:30 +04:00
Michael Raskin
e4f9e321ca
Merge pull request #3069 from danielzinn/add_cuda_6
...
Allowing cuda to use its own thrust library
2014-08-23 11:13:20 +04:00
Eelco Dolstra
ce6b86cc68
Fix various evaluation problems
...
http://hydra.nixos.org/build/13616685
2014-08-22 11:57:40 +02:00
Michael Raskin
d2539c6ff5
Adding Julia 0.3.0: some progress, but doesn't work yet
2014-08-21 22:09:55 +04:00
Pascal Wittmann
bc7fe78d19
mit-scheme: update from 9.1.1 to 9.2 and remove broken tag
...
closes #3705
2014-08-21 19:40:53 +02:00