Commit Graph

5358 Commits

Author SHA1 Message Date
Will Fancher
2f6c9947fe Add pkgconfig to ghcjs boot 2018-05-17 05:26:48 -04:00
Will Fancher
2a32834ad9 Factor out bootGhcjs for justStaticExecutables sake 2018-05-16 03:11:33 -04:00
Will Fancher
9326126fdd Add gcc to configured-ghcjs-src for macos 2018-05-16 03:11:33 -04:00
Will Fancher
0f85049961 bump ghcjs 8.4 2018-05-16 03:11:33 -04:00
Will Fancher
d86edd5161 Dont haddock ghcjs in either version 2018-05-16 03:11:32 -04:00
Will Fancher
64df9b6b89 GHCJS 8.4 2018-05-12 17:48:30 -04:00
Will Fancher
c41675bce0 GHCJS 8.2 2018-05-12 01:54:42 -04:00
John Ericson
f18ddabee7 Merge remote-tracking branch 'upstream/master' into lib-float 2018-05-10 18:13:00 -04:00
John Ericson
1fe81a4bcd lib: Clean up float/fpu options
ARM ABIs now have a float field. This is used as a fallback to lessen
our use of `platform.gcc.float`. I didn't know what the MIPs convention
is so I kept using `platform.gcc.float` in that case.
2018-05-10 18:02:00 -04:00
John Ericson
c9f6a82b61 gcc: Factor out "platform flags" 2018-05-10 18:00:57 -04:00
Peter Hoeg
468841cea4 owl-lisp: 0.1.14 -> 0.1.15 2018-05-10 22:28:09 +08:00
Will Fancher
9dadb9e3cb Fix hsc2hs cross compiler build 2018-05-09 23:53:30 -04:00
Will Fancher
8012aee0a7 Don't enableShared in GHC when using android prebuilt 2018-05-07 23:57:31 -04:00
Will Fancher
0afb45d574 Set the C standard when building GHC
Should this be in cc-wrapper?
2018-05-07 23:57:31 -04:00
Matthew Bauer
e973188bcc souffle: fix on darwin
Fixes #39854
2018-05-07 00:17:49 -05:00
Matthew Justin Bauer
639dd1910d
Merge pull request #39765 from r-ryantm/auto-update/kotlin
kotlin: 1.2.40 -> 1.2.41
2018-05-05 16:10:25 -05:00
Matthew Justin Bauer
b5e558b573
openjdk: move license (again) 2018-05-04 15:11:45 -05:00
Matthew Justin Bauer
cf84d6c275
openjdk: move license 2018-05-04 15:11:09 -05:00
Matthew Justin Bauer
397a618e34
kotlin: move LICENSE to separate place
Fixes #39641
2018-05-04 15:10:30 -05:00
Jörg Thalheim
1537dca7fc
Merge pull request #39914 from nlewo/pr-retpoline
gcc49: backport retpoline support
2018-05-04 19:14:35 +01:00
Will Dietz
e02dfb51cf
Merge pull request #39866 from Synthetica9/gcc-8-1
gcc8: init at 8.1.0
2018-05-04 09:52:23 -05:00
Austin Seipp
f17f686684 yosys: 2018.03.21 -> 2018.05.03
ABC has now moved to GitHub, so we can eliminate the usage of
fetchFromBitbucket now, too.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-05-03 20:05:43 -05:00
Austin Seipp
922e78896c arachne-pnr: 2018.03.07 -> 2018.05.03
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-05-03 20:05:13 -05:00
xeji
a958d80051
Merge pull request #38309 from volth/fix37704
go_1_{9,10}: disable problematic tests in net module
2018-05-03 22:39:05 +02:00
Matthew Justin Bauer
b45ef79b74
Merge pull request #39907 from matthewbauer/work
Miscellaneous cleanups
2018-05-03 13:33:42 -05:00
Matthew Bauer
143978a477 treewide: remove platform assertions
linux: readd assertion
2018-05-03 13:09:20 -05:00
Patrick Hilhorst
51ac1d8df0 gcc8: Removed X11 components, since they were only used by langJava 2018-05-03 16:30:32 +02:00
Antoine Eiche
5b6129f69c gcc49: remove darwin support 2018-05-03 15:12:01 +02:00
Peter Simons
afea46bbc0 ghc-8.4.1: drop obsolete version, we have 8.4.2 now 2018-05-03 14:50:00 +02:00
Patrick Hilhorst
d21ff87160 gcc8: Removed java as a target language 2018-05-03 13:07:19 +02:00
Antoine Eiche
ada2fc088c gcc49: backport retpoline support
To mitigate Spectre Variant 2, GCC needs to have retpoline
support (-mindirect-branch and -mfunction-return arguments on amd64
and i386).

Patches were pulled from H.J. Lu's backport branch to
4.9 (hjl/indirect/gcc-4_9-branch), available at
https://github.com/hjl-tools/gcc/tree/hjl/indirect/gcc-4_9-branch/master. Upstream
GCC does not apply patches to anything older than the
gcc-6-branch. H.J. Lu is the author of the upstream retpoline commits
as well.

Several Linux distributions already backported these patches to GCC 4
branches and some old kernels (3.13 for instance) have been recompiled
with these GCC patches. These kernels only allow to load kernel
modules that are compiled with the retpoline support.

References:
- Ubuntu bug: https://bugs.launchpad.net/ubuntu/+source/gcc-4.8/+bug/1749261
- Ubuntu package: https://launchpad.net/ubuntu/+source/gcc-4.8/4.8.4-2ubuntu1~14.04.4

Fixes #38394
2018-05-03 11:35:49 +02:00
Patrick Hilhorst
5794d94136 gcc8: made the remove-selftests patch more robust, removed old hash 2018-05-02 22:31:58 +02:00
Patrick Hilhorst
c7a6b36658 gcc8: removed commented gcc7 hash 2018-05-02 20:53:13 +02:00
Patrick Hilhorst
d0708a30c4 gcc8: removed merged patches
Log:
```
patching sources
applying patch /nix/store/6m27y27zvzsjn1ir4y8mm9nc9xnh2sgx-riscv-no-relax.patch
patching file gcc/config/riscv/riscv.c
Reversed (or previously applied) patch detected!  Assume -R? [n]
Apply anyway? [n]
Skipping patch.
1 out of 1 hunk ignored -- saving rejects to file gcc/config/riscv/riscv.c.rej
patching file gcc/config/riscv/riscv.opt
Reversed (or previously applied) patch detected!  Assume -R? [n]
Apply anyway? [n]
Skipping patch.
1 out of 1 hunk ignored -- saving rejects to file gcc/config/riscv/riscv.opt.rej
patching file gcc/doc/invoke.texi
Reversed (or previously applied) patch detected!  Assume -R? [n]
Apply anyway? [n]
Skipping patch.
```
2018-05-02 20:51:01 +02:00
Patrick Hilhorst
728eb27618 gcc8: added myself as maintainer 2018-05-02 18:52:50 +02:00
Patrick Hilhorst
659363fb40 gcc8: init at 8.1.0 2018-05-02 18:34:28 +02:00
Alexander Krupenkin
a40020ed5f
solc: 0.4.20 -> 0.4.23 2018-05-02 12:27:47 +03:00
Michael Raskin
e1ae2efa92 sbcl: 1.4.6 -> 1.4.7 2018-05-02 02:46:52 +02:00
Daniel Peebles
9a63471b3a
Merge pull request #39828 from wchresta/souffle-1.2
souffle: 1.0.0 -> 1.2.0
2018-05-01 16:03:40 -04:00
wchresta
0cb3923731 souffle: 1.0.0 -> 1.2.0 2018-05-01 21:04:30 +02:00
Ryan Mulligan
038a0c9a60 treewide: http to https 2018-04-30 21:39:20 -07:00
Will Dietz
9bde5abedd more platforms.gnu -> gnu ++ linux changes, manually 2018-04-30 18:14:44 -05:00
Will Dietz
4b7b083bcb treewide: stdenv.lib.platforms.gnu -> ... gnu ++ linux
Include all linux platforms.
2018-04-30 18:12:10 -05:00
R. RyanTM
bf49200102 kotlin: 1.2.40 -> 1.2.41
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/kotlin/versions.

These checks were done:

- built on NixOS
- ran ‘/nix/store/5byxycv5j3gvwvr87qpv08a7347fxv9q-kotlin-1.2.41/bin/kotlin -h’ got 0 exit code
- ran ‘/nix/store/5byxycv5j3gvwvr87qpv08a7347fxv9q-kotlin-1.2.41/bin/.kotlin-wrapped -h’ got 0 exit code
- found 1.2.41 with grep in /nix/store/5byxycv5j3gvwvr87qpv08a7347fxv9q-kotlin-1.2.41
- directory tree listing: https://gist.github.com/927e0c1e045ca7c165603ae8b1961beb
2018-04-30 15:37:14 -07:00
Tim Steinbach
1b1be29bf8
openjdk: 8u172-b02 -> 8u172-b11 2018-04-28 20:09:17 -04:00
Tim Steinbach
5c8c4710ba
openjdk: 10.0.0 -> 10.0.1 2018-04-28 20:20:47 +00:00
Tim Steinbach
e8012dd2dd
scala: 2.12.5 -> 2.12.6 2018-04-28 19:01:55 +00:00
John Ericson
b9acfb4ecf treewide: isArm -> isAarch32
Following legacy packing conventions, `isArm` was defined just for
32-bit ARM instruction set. This is confusing to non packagers though,
because Aarch64 is an ARM instruction set.

The official ARM overview for ARMv8[1] is surprisingly not confusing,
given the overall state of affairs for ARM naming conventions, and
offers us a solution. It divides the nomenclature into three levels:

```
ISA:             ARMv8   {-A, -R, -M}
                 /    \
Mode:     Aarch32     Aarch64
             |         /   \
Encoding:   A64      A32   T32
```

At the top is the overall v8 instruction set archicture. Second are the
two modes, defined by bitwidth but differing in other semantics too, and
buttom are the encodings, (hopefully?) isomorphic if they encode the
same mode.

The 32 bit encodings are mostly backwards compatible with previous
non-Thumb and Thumb encodings, and if so we can pun the mode names to
instead mean "sets of compatable or isomorphic encodings", and then
voilà we have nice names for 32-bit and 64-bit arm instruction sets
which do not use the word ARM so as to not confused either laymen or
experienced ARM packages.

[1]: https://developer.arm.com/products/architecture/a-profile

(cherry picked from commit ba52ae5048)
2018-04-25 15:50:41 -04:00
John Ericson
ba52ae5048 treewide: isArm -> isAarch32
Following legacy packing conventions, `isArm` was defined just for
32-bit ARM instruction set. This is confusing to non packagers though,
because Aarch64 is an ARM instruction set.

The official ARM overview for ARMv8[1] is surprisingly not confusing,
given the overall state of affairs for ARM naming conventions, and
offers us a solution. It divides the nomenclature into three levels:

```
ISA:             ARMv8   {-A, -R, -M}
                 /    \
Mode:     Aarch32     Aarch64
             |         /   \
Encoding:   A64      A32   T32
```

At the top is the overall v8 instruction set archicture. Second are the
two modes, defined by bitwidth but differing in other semantics too, and
buttom are the encodings, (hopefully?) isomorphic if they encode the
same mode.

The 32 bit encodings are mostly backwards compatible with previous
non-Thumb and Thumb encodings, and if so we can pun the mode names to
instead mean "sets of compatable or isomorphic encodings", and then
voilà we have nice names for 32-bit and 64-bit arm instruction sets
which do not use the word ARM so as to not confused either laymen or
experienced ARM packages.

[1]: https://developer.arm.com/products/architecture/a-profile
2018-04-25 15:28:55 -04:00
Vincent Laporte
5c4ee2a3ab ocaml: init at 4.07.0+beta2 2018-04-25 18:19:57 +02:00