Commit Graph

5714 Commits

Author SHA1 Message Date
Vincent Laporte
ec7865cddc compcert: 3.2 -> 3.3 (#44512) 2018-08-05 21:14:55 +02:00
Peter Simons
f64c01fa79
Merge pull request #44380 from meditans/swi-prolog-check-installation
Add missing dependencies for swi-prolog
2018-08-03 08:45:18 +02:00
Matthew Bauer
b32d0a41d0 llvm: fix triple setting
llvm is a library so it should just need to know about build & host.
GCC will already have a cross compiler built.

/cc @Ericson2314 @dtzWill
2018-08-02 17:04:47 -04:00
Carlo Nucera
bc96cec295 Add missing dependencies for swi-prolog
In the previous version of this derivation, when the command

?- check_installation.

was issued in the swipl prompt, five errors were encountered. This patch fixes
that, so that the installation is correctly checked.

This enables the usage of the command pack_install to install prolog libraries,
which otherwise fails for the lack of libarchive.
2018-08-02 19:36:48 +02:00
xeji
a7bfe3c5f5
Merge pull request #43971 from gnidorah/pakcs
pakcs: 1.14.0 -> 2.0.2
2018-08-02 16:16:31 +02:00
markuskowa
34f6b0cc0e halide: init at 2018_02_15 (#44207) 2018-08-01 14:57:51 +02:00
Izorkin
c83eff9022 edk2: fix buid 2018-08-01 11:15:17 +03:00
Matthew Bauer
f3fc04bfd2
llvm6: disable tests on cross compiler
This seems to be broken currently.

https://hydra.nixos.org/build/77597880/nixlog/1

/cc @ericson2314 @dtzWill
2018-07-31 21:46:07 -04:00
Matthew Bauer
c7d77c90c6
llvm5: disable tests on cross compilers
This appears to be broken currently.

https://hydra.nixos.org/build/77597880

/cc @Ericson2314
2018-07-31 21:44:58 -04:00
Michael Fellinger
0f3eaa0bd5 crystal: 0.25.0 -> 0.25.1; mint 0.1.0 -> 0.2.0 (#44237) 2018-07-31 16:54:37 +02:00
Kamil Chmielewski
ffae2f8654 ponyc: 0.24.2 -> 0.24.4 (#44258) 2018-07-31 11:53:37 +02:00
Jörg Thalheim
cd4fcf85b0
Merge pull request #44195 from jdanekrh/jd_netcore21
dotnet-sdk: 2.0.3 -> 2.1.302
2018-07-29 22:29:51 +01:00
Tim Steinbach
01183f3c89
openjdk: 8u172-b11 -> 8u181-b13 2018-07-29 20:33:57 +00:00
Jiri Danek
2da2e626e5 dotnet-sdk: 2.0.3 -> 2.1.302 2018-07-29 17:16:11 +02:00
Jörg Thalheim
8c705beab7 julia-git: remove 2018-07-29 10:17:19 +01:00
Jörg Thalheim
9bc989b2df julia_04: remove 2018-07-29 10:16:15 +01:00
Jörg Thalheim
4b5a809e6e julia_05: remove 2018-07-29 10:14:51 +01:00
viric
5c77b9cddb
Merge pull request #43982 from viric/viric_clean
Take me (viric) out of most maintenance
2018-07-29 00:17:08 +02:00
Will Dietz
018c66537f
Merge pull request #44151 from dtzWill/update/gcc-8.2
gcc8: 8.1 -> 8.2
2018-07-28 16:46:33 -05:00
Justin Woo
7dadfbda1f psc-package: 0.3.2 -> 0.4.1
Updates that remove features and improve user experience.

Adds warnings for trying to install packages without (purescript/psc-package#126 by @Dretch)
Filters "installing" messages for build (purescript/psc-package#130 by @Dretch)
Adds options for limiting jobs for install (purescript/psc-package#127 by @vladciobanu)
Per purescript/psc-package#121, removes the confusing misfeature "add-from-bower", which led to many users thinking this command was for adding "extra-deps" like Stack. See the thread for details on how you could readily replace this command if you used it before.
2018-07-28 23:03:43 +02:00
Lluís Batlle i Rossell
f54b387b63 Merge remote-tracking branch 'central/master' into viric_clean 2018-07-28 19:25:14 +02:00
Daiderd Jordan
2e09219564
llvm-manpages: fix build 2018-07-28 00:08:31 +02:00
Daiderd Jordan
3ec81ae27e
llvm-packages: fix manpages with python-boot and cleanup
On darwin llvmPackages is built using python-boot to avoid dependencies
in the stdenv, but we can't and shouldn't use that when building the
manpages since it depends on python packages.
2018-07-28 00:08:26 +02:00
Will Dietz
993937d09e gcc8: 8.1 -> 8.2
https://gcc.gnu.org/gcc-8/changes.html
2018-07-27 08:53:42 -05:00
Silvan Mosberger
2cbd330492
Merge pull request #43945 from r-ryantm/auto-update/closure-compiler
closurecompiler: 20180610 -> 20180716
2018-07-24 23:08:03 +02:00
Kamil Chmielewski
7e8b7be2a0 ponyc: 0.24.0 -> 0.24.2 2018-07-24 13:24:28 +02:00
Matthew Bauer
406914934d
Merge pull request #43711 from angerman/feature/ghc-gmp
Feature/ghc gmp
2018-07-23 11:01:56 -04:00
Vincent Laporte
6ca8f06b5b ocaml-4.07: 4.07.0+rc1 -> 4.07.0 2018-07-23 07:24:25 +00:00
Lluís Batlle i Rossell
66d7126255 Take me (viric) out of most maintenance
Since years I'm not maintaining anything of the list below other
than some updates when I needed them for some reason. Other people
is doing that maintenance on my behalf so I better take me out but
for very few packages. Finally!
2018-07-22 21:50:19 +02:00
R. RyanTM
61f7f22833 jsonnet: 0.10.0 -> 0.11.2 (#43938)
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/jsonnet/versions.
2018-07-22 15:22:57 -04:00
gnidorah
0186ec7329 pakcs: 1.14.0 -> 2.0.2 2018-07-22 18:49:29 +03:00
R. RyanTM
23deb1a91c closurecompiler: 20180610 -> 20180716
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/closure-compiler/versions.
2018-07-21 19:42:12 -07:00
Jörg Thalheim
218298b30f
Merge branch 'master' into unused5 2018-07-21 15:41:22 +01:00
Frederik Rietdijk
8424ac61a9
Merge pull request #43862 from volth/unused3
[bot] treewide: remove unused 'args@' in lambdas
2018-07-21 11:14:44 +02:00
volth
52f53c69ce pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
volth
dda95bae35 [bot] treewide: remove unused 'args@' in lambdas 2018-07-20 19:54:05 +00:00
volth
6d2857a311 [bot] treewide: remove unused 'inherit' in let blocks 2018-07-20 19:38:19 +00:00
Frederik Rietdijk
1a6af9f88e
Merge pull request #43857 from volth/unused
[bot] treewide: remove unreferenced code
2018-07-20 21:06:32 +02:00
volth
87f5930c3f [bot]: remove unreferenced code 2018-07-20 18:48:37 +00:00
taku0
1ae8fabc86 oraclejdk: 10.0.1 -> 10.0.2 2018-07-19 21:01:29 +09:00
Moritz Angermann
c034dea090
Update 8.4.3.nix 2018-07-18 12:04:39 +08:00
Moritz Angermann
3f762923aa
[ghc] Backport gmp stuff 2018-07-18 10:21:38 +08:00
Moritz Angermann
b84ac074fc
[ghc] proper handling of integer libraries 2018-07-18 10:13:28 +08:00
Moritz Angermann
ad8c10e246
[ghc] assert gmp 2018-07-18 10:13:27 +08:00
taku0
4d6f88067c oraclejdk: 8u171, 8u172 -> 8u181 2018-07-18 03:13:41 +09:00
Yegor Timoshenko
879edd79be
sdcc: fix license condition 2018-07-17 19:17:03 +03:00
Yegor Timoshenko
4bd4c876f2
sdcc: clean up 2018-07-17 19:16:24 +03:00
Yorick van Pelt
f969e426c0
sdcc: update for added gputils, add disabled flag, adopt 2018-07-17 17:28:26 +02:00
Frederik Rietdijk
f001c81c1a Merge master into staging-next 2018-07-16 17:11:01 +02:00
Peter Simons
6588e906d0
Merge pull request #43599 from ElvishJerricco/ghcjs-fixes-2018-07-15
Various GHCJS 8.4 fixes
2018-07-16 09:46:07 +02:00