Commit Graph

4319 Commits

Author SHA1 Message Date
Domen Kožar
ff5fd118b9 Merge pull request #28044 from mpickering/ghc-head
GHC Head updates
2017-08-10 09:30:00 +02:00
Daiderd Jordan
d93c636737
Revert "gcc: fix clang build"
This fixes the gcc build but results in a gcc that doesn't generate
valid binaries.

gcc -o hello hello.c
./hello
Killed: 9

This reverts commit 2adf36ab8c.
2017-08-09 21:37:29 +02:00
Daiderd Jordan
2adf36ab8c
gcc: fix clang build 2017-08-08 23:22:24 +02:00
Matthew Pickering
770743bd91 Bump ghc HEAD version ghc-8.3.20170808 2017-08-08 17:32:32 +00:00
Matthew Pickering
4021d4d5ee Make version a parameter in GHC HEAD derivation
If you want to override the source but the major version changes (ie 8.1
-> 8.3) then you also have to modify the version. Otherwise the build
will fail with difficult to understand errors, making version a
parameter makes it easy to override.
2017-08-08 17:19:02 +00:00
volth
b32a1199f8 orackejdk: untie from gnome2
Nothing should change unless you override ```gtk2``` or ```gnome2.gtk``` so they become different
2017-08-08 02:16:26 +02:00
Wout Mertens
67ed1599bc Merge pull request #28003 from kamilchm/ponyc
ponyc: 0.16.1 -> 0.17.0
2017-08-07 18:37:56 +02:00
Gabriel Ebner
795c003359 isabelle: use polyml 5.6
Isabelle 2016 does not work with newer PolyML versions.
2017-08-07 17:21:08 +02:00
Kamil Chmielewski
cc7777f5f8 ponyc: 0.16.1 -> 0.17.0
https://github.com/ponylang/ponyc/issues/2135
2017-08-07 10:39:45 +02:00
Gabriel Ebner
28ca51c7df Merge pull request #27899 from matthewbauer/emscripten-update
emscripten: 1.37.13 -> 1.37.16
2017-08-07 08:51:58 +02:00
Benjamin Staffin
989514f38b jsonnet: 0.8.9 -> 0.9.4 (#27989) 2017-08-06 23:13:26 -04:00
Michael Raskin
638b67146d Merge pull request #27812 from tohl/master
sbcl updated, tested on nixos x86_64
2017-08-07 00:05:18 +02:00
Daiderd Jordan
147cd29fff
rustc: remove gdb dependency for darwin 2017-08-06 19:00:58 +02:00
Jörg Thalheim
f8aa39476a Merge pull request #27973 from edanaher/update-urweb
urweb: 20170105 -> 20170720
2017-08-06 15:33:52 +01:00
Evan Danaher
b769a94153 urweb: 20170105 -> 20170720 2017-08-05 22:28:19 -04:00
Matthew Bauer
5b996f9125
emscripten: 1.37.13 -> 1.37.16 2017-08-03 01:33:06 -07:00
Silvan Mosberger
f5fa5fa4d6 pkgs: refactor needless quoting of homepage meta attribute (#27809)
* pkgs: refactor needless quoting of homepage meta attribute

A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.

* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit

* Fixed some instances
2017-08-01 22:03:30 +02:00
Frederik Rietdijk
c10747578a Merge pull request #27849 from mimadrid/update/swi-prolog-7.4.2
swi-prolog: 7.2.3 -> 7.4.2
2017-08-01 21:55:49 +02:00
mimadrid
c8b0f338a0
swi-prolog: 7.2.3 -> 7.4.2 2017-08-01 20:54:47 +02:00
Tomas Hlavaty
0149578764 sbcl: 1.3.19 -> 1.3.20 2017-07-31 22:07:36 +02:00
Frederik Rietdijk
740d76371e Merge commit 'ba68231273bea4cba01413fd2a0e56d68db9234c' into HEAD 2017-07-31 09:12:15 +02:00
Kamil Chmielewski
549d5f57df ponyc: 0.15.0 -> 0.16.1
pony-stable: unstable-2017-04-20 -> unstable-2017-07-26

https://github.com/ponylang/ponyc/issues/2101
2017-07-30 22:09:03 +02:00
Frederik Rietdijk
20b8e4b4cf Merge remote-tracking branch 'upstream/master' into HEAD 2017-07-30 08:09:11 +02:00
Franz Pletz
6f0ef6bb32
ispc: build with current flex 2017-07-29 19:51:16 +02:00
Frederik Rietdijk
55357de67a Merge remote-tracking branch 'upstream/master' into HEAD 2017-07-28 19:37:36 +02:00
Yann Hodique
9a2a8a5855 java: fix dtrace detection 2017-07-28 09:31:24 -07:00
Tim Steinbach
07ab4d257e
scala: 2.12.2 -> 2.12.3 2017-07-28 10:22:47 -04:00
Franz Pletz
b116fa5ff2
Merge branch 'master' into staging 2017-07-28 16:08:30 +02:00
Kamil Chmielewski
529f809564 oraclejdk: updated arm checksums 2017-07-27 09:52:06 +02:00
taku0
b602082e07 oraclejdk: 8u141 -> 8u144 2017-07-27 08:19:03 +02:00
John Ericson
9be40841ea Merge remote-tracking branch 'upstream/master' into staging-base
Conflicts:
	pkgs/build-support/cc-wrapper/default.nix
	pkgs/build-support/gcc-wrapper-old/builder.sh
	pkgs/build-support/trivial-builders.nix
	pkgs/desktops/kde-4.14/kde-package/default.nix
	pkgs/development/compilers/openjdk-darwin/8.nix
	pkgs/development/compilers/openjdk-darwin/default.nix
	pkgs/development/compilers/openjdk/7.nix
	pkgs/development/compilers/openjdk/8.nix
	pkgs/development/compilers/oraclejdk/jdk-linux-base.nix
	pkgs/development/compilers/zulu/default.nix
	pkgs/development/haskell-modules/generic-builder.nix
	pkgs/misc/misc.nix
	pkgs/stdenv/generic/builder.sh
	pkgs/stdenv/generic/setup.sh
2017-07-26 13:46:04 -04:00
John Ericson
f6f40e3fe5 stdenv-setup and misc pkgs: Revert to space-deliminated propagated-* files
We cannot switch to line-delimited yet, because certain Nix commands do
not read in the entire file, but just the first line.
2017-07-26 09:07:55 -04:00
Domen Kožar
aafe3d29c1 ghc: apply a patch to fix common gold linker problem
It would otherwise result into undefined referenecs for some functions
in the base when using the gold linker:

   error: undefined reference to 'sqrt'

Fixes https://github.com/bos/double-conversion/pull/17

Previously ghc option -optl=-lm was used for packages depending on
such functions, but that could result into

   fatal error: cannot mix -r with dynamic object /nix/store/7crrmih8c52r8fbnqb933dxrsp44md93-glibc-2.25/lib/libm.so.6

in some situations like profiling builds.

Patch was prepared by Michael Bishop and Niklas Hambüchen.

Closes https://github.com/NixOS/nixpkgs/pull/27584.
2017-07-26 10:19:57 +02:00
Vincent Laporte
efad0d5e3f julia: 0.5.1 -> 0.5.2 2017-07-25 07:46:20 +00:00
John Ericson
b087618ac0 Revert "stdenv: Store one package per line in nix-support/propagated-*"
As @oxij points out in [1], this breakage is especially serious because
it changes the contents of built environments without a corresonding
change in their hashes. Also, the revert is easier than I thought.

This reverts commit 3cb745d5a6.

[1]: https://github.com/NixOS/nixpkgs/pull/27427#issuecomment-317293040
2017-07-24 01:05:30 -04:00
Domen Kožar
407acb80fc
ghc821: 8.2.1-rc3 -> 8.2.1
(cherry picked from commit 0901dd50a2ed0d12b2bee8fdb147fdce5c1c5d69)
Signed-off-by: Domen Kožar <domen@dev.si>
2017-07-23 16:36:37 +02:00
Jon Banafato
aad2a2132c nim: 0.16.0 -> 0.17.0 2017-07-23 07:21:53 -05:00
Tim Steinbach
8e37e3b7f1 openjdk: 8u131-b11 -> 8u141-b15 2017-07-21 16:18:04 +02:00
Daiderd Jordan
45cc3fdac9 Merge pull request #27542 from taku0/oraclejdk-8u141
oraclejdk: 8u131 -> 8u141 [Critical security fix]
2017-07-21 14:29:50 +02:00
Peter Hoeg
3bccedb081 owl-lisp: init at 0.1.14 2017-07-21 20:07:36 +08:00
taku0
3e502bc73a oraclejdk: 8u131 -> 8u141 2017-07-19 03:12:30 +09:00
Daiderd Jordan
37c599fe8c Merge pull request #26429 from aherrmann/pr_llvm_4_fix_debug
llvm_4: Fix debugVersion
2017-07-17 21:27:52 +02:00
John Wiegley
f130ecdd30
coqPackages.compcert: Recent compcert supports 64-bit architectures 2017-07-17 11:21:20 -04:00
Eric Litak
00335098a5 oraclejdk8: armv7l support 2017-07-16 05:16:59 -07:00
Domen Kožar
0eb4f6fd25
Merge commit 'a889454869e4f7d5ba6067ebcc0ba7fcd26e4417'
Merge staging. It includes fixes for cc-wrapper parsing speed and
some other minor things.

http://hydra.nixos.org/eval/1375094
2017-07-14 11:55:41 +02:00
Franz Pletz
7ef578f160
zulu: 8.19.0.1 -> 8.21.0.1 2017-07-14 00:03:41 +02:00
Vincent Laporte
bd7bf33814 ocaml: init at 4.05.0 2017-07-13 17:58:24 +00:00
Joachim Fasting
cfc6e4471b
tinycc: 0.9.27pre-20170605 -> 0.9.27pre-20170710
Various CPP improvements/fixes
Support forward declaration of enums (GNU extension)
Initial implementation of C11 _Generic
2017-07-13 13:47:34 +02:00
Vladimír Čunát
1e1472ed93
llvmPackages_4: don't change *.outputs
It was blocking channel(s).  See:
https://github.com/NixOS/nixpkgs/pull/26818#issuecomment-315020922
2017-07-13 13:07:42 +02:00
Jörg Thalheim
61c1313bd1 Merge pull request #27329 from dbrock/solc
solc: 0.4.12 -> 0.4.13
2017-07-12 20:31:25 +01:00