Commit Graph

4391 Commits

Author SHA1 Message Date
Tim Steinbach
440bf7e06f Merge pull request #28780 from NeQuissimus/openjdk_8_144_01
openjdk: 8u152-04 -> 8u144-01
2017-09-02 11:07:41 -04:00
Austin Seipp
54ae0aa1b0 z3_opt: remove and replace with z3
Z3 has supported optimization features since the 4.4.x release, so this can be
removed.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp
cd7b2ec77a yosys: 2016.11.25 -> 2017.09.01
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp
32297e1baf arachne-pnr: 2016.08.18 -> 2017.06.29, license switch
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Tim Steinbach
7d482d835f
openjdk: 8u152-04 -> 8u144-01
Fix GCC6 build
2017-08-30 23:00:12 -04:00
Piotr Bogdan
80351add5a hhvm: 3.15.8 -> 3.21 2017-08-30 21:52:49 +02:00
Piotr Bogdan
51c247a074 hhvm: 3.15.0 -> 3.15.8 2017-08-30 21:52:49 +02:00
Piotr Bogdan
d9a0c68775 hhvm: fix build
Upstream re2 commit:

b94b7cd42e

Upstream bytecode.h commit:

f8a75ca667
2017-08-30 21:52:49 +02:00
Frederik Rietdijk
6d4bd78fad Merge commit '2858c41' into HEAD 2017-08-30 21:07:07 +02:00
Mikael Brockman
3d107c15bd solc: v0.4.13 -> v0.4.16 (#28732)
Also add the Z3 SMT solver as a dependency, since the new solc can use
it for checking assertions and stuff (which is awesome).
2017-08-30 18:21:17 +02:00
patternspandemic
4bca6eca06
ponyc: 0.18.0 -> 0.18.1 2017-08-29 14:39:31 -07:00
Michael Raskin
371a2ee707 obliv-c: 0.0pre20161001 -> 0.0pre20170827 2017-08-29 21:17:10 +02:00
Vladimír Čunát
2858c41823
Merge branch 'master' into staging
There were some conflicts in python modules, commented at #28314.
2017-08-29 10:51:54 +02:00
Jörg Thalheim
0f789e7a0c Merge pull request #28618 from lheckemann/edk2-2017
edk2: 2014-12-10 -> UDK2017
2017-08-28 11:03:47 +01:00
Linus Heckemann
f6afe064a0 edk2: 2014-12-10 -> UDK2017 2017-08-27 19:41:10 +01:00
Peter Simons
8c3cc7c7c4 pkgs/development/compilers/ghc: drop un-referenced patch files 2017-08-26 13:49:18 +02:00
Jörg Thalheim
9ece4aad10 Merge pull request #28407 from ThomasMader/dtools
dtools: rdmd -> dtools
2017-08-26 08:16:30 +01:00
Jörg Thalheim
5cad927052 Merge pull request #28433 from NeQuissimus/abcl_1_5_0
abcl: 1.4.0 -> 1.5.0
2017-08-26 07:34:34 +01:00
Tuomas Tynkkynen
2fc7651b25 Merge remote-tracking branch 'upstream/master' into staging 2017-08-24 02:08:32 +03:00
Tuomas Tynkkynen
0c0fad6141 treewide: Consistently call ARM 'arm'
No need for silly differences.
2017-08-24 01:17:01 +03:00
John Ericson
ebc9b161cd gcc: Add configurePlatforms exception for Arm 32
...just as we did for binutils. When the underlying issue is resolved
(probably with a configure script patch or lib/systems/parse.nix
change), this should be reverted.
2017-08-23 14:38:08 -04:00
John Ericson
71186e7345 gcc: Use configurePlatforms to control --build, --host, and --target 2017-08-23 14:28:59 -04:00
Peter Simons
73275d4d41 halvm-2.4.0: mark build as broken 2017-08-23 19:53:12 +02:00
Peter Simons
c0944b9db0 ghc-6.10.4: mark build as broken
The build calls ar(1) in a way the tool doesn't like:

    ar q cru .libs/libffi.a  src/debug.o src/prep_cif.o src/types.o src/raw_api.o src/java_raw_api.o src/closures.o src/x86/ffi64.o src/x86/unix64.o src/x86/ffi.o src/x86/sysv.o
    ar: creating cru
    ar: .libs/libffi.a: No such file or directory
    make[4]: *** [Makefile:717: libffi.la] Error 1

This may have become an issue after some recent binutils update; I'm not sure.
2017-08-23 19:53:12 +02:00
Vladimír Čunát
2afb096e83
gcc-4.5: fix build
It's fallout after output changes #27424.
gnat seems OK now, except that the wrapper is broken, so it's probably
not really usable.
2017-08-23 10:11:21 +02:00
Matthew Justin Bauer
2eacddf0dc treewide: homepage URL fixes (#28475)
* pgadmin: use https homepage

* msn-pecan: move homepage to github

google code is now unavailable

* pidgin-latex: use https for homepage

* pidgin-opensteamworks: use github for homepage

google code is unavailable

* putty: use https for homepage

* ponylang: use https for homepage

* picolisp: use https for homepage

* phonon: use https for homepage

* pugixml: use https for homepage

* pioneer: use https for homepage

* packer: use https for homepage

* pokerth: usee https for homepage

* procps-ng: use https for homepage

* pycaml: use https for homepage

* proot: move homepage to .github.io

* pius: use https for homepage

* pdfread: use https for homepage

* postgresql: use https for homepage

* ponysay: move homepage to new site

* prometheus: use https for homepage

* powerdns: use https for homepage

* pm-utils: use https for homepage

* patchelf: move homepage to https

* tesseract: move homepage to github

* quodlibet: move homepage from google code

* jbrout: move homepage from google code

* eiskaltdcpp: move homepage to github

* nodejs: use https to homepage

* nix: use https for homepage

* pdf2djvu: move homepage from google code

* game-music-emu: move homepage from google code

* vacuum: move homepae from google code
2017-08-22 20:50:04 +02:00
Vladimír Čunát
b2ae23a391
Merge branch 'staging' (older version)
This just adds some fixups, not any mass rebuild.
2017-08-22 12:30:04 +02:00
Franz Pletz
637e33e616
llvm: disable failing tests on i686 2017-08-22 01:40:54 +02:00
Tim Steinbach
061d934a57
abcl: 1.4.0 -> 1.5.0 2017-08-21 03:04:43 -04:00
Frederik Rietdijk
6bbc3a0b24 Merge commit '3b29468313bc8604fe8f85c8d9316fd276d3985c' into HEAD 2017-08-21 04:44:40 +02:00
Frederik Rietdijk
04cd1db2b7 Merge remote-tracking branch 'upstream/master' into HEAD 2017-08-21 01:28:27 +02:00
Frederik Rietdijk
1eb48d3b08 Merge pull request #27743 from ThomasMader/master
Updating, fixing and improving dmd
2017-08-21 01:23:49 +02:00
Vladimír Čunát
beaad85500
gcc-4.8: fix build
Problems: building with gcc-6 now, and fallout after output changes #27424.
2017-08-20 11:11:44 +02:00
Vladimír Čunát
956c266fb7
gcc49: remove Darwin patch that's included in 4.9 2017-08-20 10:30:34 +02:00
Thomas Mader
58ed023bc6 dtools: rdmd -> dtools
- Remove single rdmd derivation and introduce new dtools derivation with more tools from the repository.
- Update rdmd/dtools 2.067.0 -> 2.075.1
- Adding checkPhase
- Fixing dependencies
- Update derivation description
2017-08-19 23:11:12 +02:00
Jörg Thalheim
ecb492c694 Merge pull request #28399 from NeQuissimus/kotlin_1_1_4_2
kotlin: 1.1.2-5 -> 1.1.4-2
2017-08-19 19:22:27 +01:00
Kamil Chmielewski
a1601cf2bc ponyc: 0.17.0 -> 0.18.0
https://github.com/ponylang/ponyc/issues/2180
2017-08-19 18:56:59 +02:00
Tim Steinbach
a741ac5a1e
kotlin: 1.1.2-5 -> 1.1.4-2 2017-08-19 09:09:57 -04:00
John Ericson
0a4d102b98 gcc 5: Don't quote propagatedBuildInputs in ?-check for consistency
Forgot to do this in last commit.
2017-08-18 14:09:24 -04:00
John Ericson
b11889e6a4 gcc: Homogenize syntax in one small spot
Less noise in the diff help maintain these behemoths.
2017-08-18 14:03:48 -04:00
Thomas Mader
0842a451ef dmd: Updating (2.070.2 -> 2.075.1), fixing and improving. PR #27743 2017-08-18 13:28:02 +02:00
Matthew Bauer
f2141a96e5 cargo: use https://crates.io for homepage 2017-08-17 15:04:39 -07:00
Matthew Bauer
278de152cf adobe-flex-sdk: fix homepage link
old link was broken
2017-08-17 15:04:39 -07:00
Matthew Bauer
99c868c010 use https://github.com for all homepages
GitHub does a redirect to https:// when you use http://

repology complains with:

“Homepage link "https://github.com/…" is dead (HTTP error 404) for more than a month.”

This will fix some of them (not all though)
2017-08-17 14:53:40 -07:00
Daiderd Jordan
1b89036cdf
gcc7: port darwin changes from 5.x 2017-08-17 21:00:10 +02:00
Daiderd Jordan
261cbdbe19
gcc6: port darwin changes from 5.x 2017-08-17 21:00:05 +02:00
Charles Strahan
35b9dfd832 Merge pull request #28098 from cocreature/ghcjs
haskell: fix build of ghcjs and ghcjsHEAD
2017-08-17 13:40:29 -04:00
Frederik Rietdijk
8f2ea38f8f Merge remote-tracking branch 'upstream/master' into HEAD 2017-08-17 18:34:17 +02:00
Daiderd Jordan
6e245440d4
gcc: remove CPP workaround 2017-08-16 21:38:41 +02:00
vinymeuh
9e1cde78b8 gcc-arm-embedded: 5-2016-q2-update -> 6-2017-q2-update 2017-08-15 21:36:30 +02:00