Commit graph

8058 commits

Author SHA1 Message Date
Lassulus 2d2f04b6a4
Merge pull request #88989 from wchresta/idris2
idris2: 0.2.0-840e020 -> 0.2.0
2020-06-04 09:05:06 +02:00
Daiderd Jordan 7b3a2963d1
treewide: replace base64 encoded hashes 2020-06-03 18:35:19 +02:00
Keshav Kini d78985704c sbcl: add option to disable immobile space
Programs which generate and compile a lot of code at runtime (such as
programming language interpreters like ACL2) are not suited for running on SBCL
executables built with the "immobile space" feature, as explained by Douglas
Katzman in this mail thread:

  https://sourceforge.net/p/sbcl/mailman/message/36007057/

In this commit, I add an optional flag to the SBCL package allowing you to
disable the "immobile space" features.

I also migrated away from specifying enabled/disabled features in a
`customize-target-features.lisp` file and towards supplying them as command line
arguments to `make.sh`, as has been recommended by the installation instructions
since 2012 or so.
2020-05-30 17:23:21 -07:00
Frederik Rietdijk e27e3ae169 Merge master into staging-next 2020-05-28 22:03:48 +02:00
Mario Rodas 23a75a4465
zz: 2020-03-02 -> 0.1 2020-05-28 04:20:00 -05:00
Moises Nessim 1c8f4ec3a7 dotnetCorePackages: Add support for Darwin 2020-05-27 09:02:27 -07:00
Matthew Bauer 7e571eb994
Merge pull request #88988 from tobim/optimize-cross-libstdc++
gcc: optimize cross-compiled libraries
2020-05-27 10:12:35 -05:00
Frederik Rietdijk 1b7204ab3c Merge master into staging-next 2020-05-27 15:26:50 +02:00
Tobias Mayer 2be2b5328c
gcc: optimize cross-compiled libraries
`libstdc++` and a few other libraries are comiled with the options
set in `EXTRA_TARGET_FLAGS`. Normally, this is filled form
`EXTRA_FLAGS` inside of `builder.sh`, from which it inherits its
optimization option. For cross compilers `EXTRA_TARGET_FLAGS` is
set by a dedicated function that does not specify any optimization,
leading to sub-par runtime performance of many C++ programs.
2020-05-27 10:07:01 +02:00
Anderson Torres 24f9bc0243
Merge pull request #85986 from suhr/ciao
ciao: init at 1.19.0
2020-05-26 21:58:30 -03:00
wchresta 7fc97cf30b idris2: 0.2.0-840e020 -> 0.2.0
* Upgrade to release version of idris2
* Add config for proper testing phase
2020-05-26 18:38:54 -04:00
Jörg Thalheim f76f13b1a7
Merge pull request #88645 from wchresta/master 2020-05-26 08:24:36 +01:00
Mario Rodas 06d6c42255
Merge pull request #88819 from r-ryantm/auto-update/jsonnet
jsonnet: 0.15.0 -> 0.16.0
2020-05-24 22:48:18 -05:00
Michael Raskin d201270d0f lazarus: fix linking by the IDE; using the results of an investigation by @deliciouslytyped 2020-05-25 02:21:51 +02:00
R. RyanTM 302fff6b86 jsonnet: 0.15.0 -> 0.16.0 2020-05-24 21:51:22 +00:00
Сухарик d6db081bdc ciao: init at 1.19.0 2020-05-24 12:26:29 +03:00
Frederik Rietdijk c778596f56 Merge master into staging-next 2020-05-24 10:03:22 +02:00
Matthew Bauer c74a9cd3e2
Merge pull request #69144 from SFrijters/gdc
gdc: init at 9.3.0
2020-05-23 16:30:47 -05:00
wchresta 074c9cbe1c idris2: init at version 0.2.0-840e020
A purely functional programming language with first class types
2020-05-23 12:54:27 -04:00
Frederik Rietdijk b34551384a Merge master into staging-next 2020-05-23 10:24:52 +02:00
Mario Rodas 4ce8a3370a
Merge pull request #88233 from r-ryantm/auto-update/tinygo
tinygo: 0.13.0 -> 0.13.1
2020-05-20 06:19:55 -05:00
Mario Rodas a33cf2276f
Merge pull request #88331 from r-ryantm/auto-update/closure-compiler
closurecompiler: 20200406 -> 20200517
2020-05-20 06:04:05 -05:00
R. RyanTM 2f3a4fe849 closurecompiler: 20200406 -> 20200517 2020-05-20 09:39:55 +00:00
R. RyanTM fdedbbf4e1 tinygo: 0.13.0 -> 0.13.1 2020-05-20 02:17:42 +00:00
Stefan Frijters fc9b93d2fc gdc: init at 9.3.0 2020-05-19 23:06:52 +02:00
Jason Felice 61335d51ac gambit: disable use of poll() on Darwin
Darwin has a bug which affects the use of poll() with a tty fd,
which affects gambit's REPL when at a console, causing 100% CPU
usage.

Gambit recommends this is disabled on Darwin.
2020-05-19 16:06:41 -05:00
Jan Tojnar 7f40cfd97b
Merge branch 'master' into staging-next 2020-05-18 21:09:27 +02:00
Louis Bettens c3b743a692 oraclejdk8: 8u241 -> 8u251 2020-05-18 10:29:43 +02:00
Francois-Rene Rideau 0d0f475f27 gerbil: 0.15.1 -> 0.16
Now that v0.16 was released at last, make the configurePhase and instalPhase
the same again for default and unstable.
2020-05-17 16:14:22 -04:00
Francois-Rene Rideau f9360e7974 gerbilPackages.gerbil-utils: init at 2020-05-16 2020-05-17 16:09:26 -04:00
Francois-Rene Rideau 756c8a27d9 gerbil-unstable: 2020-02-27 -> 2020-05-17 2020-05-17 15:51:05 -04:00
Francois-Rene Rideau da4aa17343 gambit-unstable: 2020-02-24 -> 2020-05-13 2020-05-17 15:50:59 -04:00
Francois-Rene Rideau 90835bc666 Refactor Gerbil support
- Use the new Gambit support.
- Move files from $out to $out/gerbil.
- Use new Gerbil configuration and installation scripts.
- Move some fixups from preBuild to postPatch.
- Give up on previous failed attempts at using static libraries.
- Add support for compiling libraries written in Gerbil.
- Build using NIX_BUILD_CORES.
- Register all those things in all-packages.
2020-05-17 15:48:13 -04:00
Francois-Rene Rideau 9456522528 Refactor Gambit support
Refactor the build rule:
- Put files in $out/gambit instead of $out.
- Make the optimization setting easy to override.
- Make use of gccStdenv more explicit at this level.
- Support new-style runtime options for forcing UTF-8 I/O.
- Override the PACKAGE_VERSION and PACKAGE_STRING with git version.
- Note that the license is lgpl21, not lpgl2 (Note: also dual asl20).
- Try and fail to meaningfully add missing runtimeDeps.
- Build using NIX_BUILD_CORES.
2020-05-17 15:48:12 -04:00
Jan Tojnar ce90a304f1
aliceml: do not use aliases 2020-05-16 23:12:57 +02:00
zimbatm 9fbb82f46e
Merge pull request #87913 from zowoq/go113
go_1_13: 1.13.8 -> 1.13.11, stop setting GOPATH
2020-05-16 12:39:53 +02:00
Vincent Laporte df70dcb6fb ocaml-ng.ocamlPackages_4_11.ocaml: init at 4.11.0+α1 2020-05-16 10:27:00 +02:00
adisbladis 13356e3301
Merge pull request #87872 from fare-patches/ethereum
Ethereum updates
2020-05-16 10:25:55 +02:00
zowoq d1e7b0049c go_1_13: 1.13.8 -> 1.13.11 2020-05-16 10:31:23 +10:00
zowoq 469f14ceec go_1_13: stop setting GOPATH
a1e13f6140
2020-05-16 10:31:12 +10:00
Francois-Rene Rideau 46b3eca5fd solc: 0.5.15 -> 0.6.8 2020-05-15 19:18:11 -04:00
Peter Simons e037eb4046 ghcjs: mark build as broken
ghcjs hasn't compiled for several weeks.
2020-05-15 21:19:10 +02:00
zimbatm 99efa7c85c
Revert "Get rid of go 1.13 (#86036)"
This partially reverts commit 3e0aa4af2d.

See the discussion in the PR.
2020-05-15 19:26:53 +02:00
Antonio Nuno Monteiro 90e5b2a44e
bs-platform: 7.3.1 -> 7.3.2 2020-05-14 21:00:31 -07:00
Frederik Rietdijk 92a26320e7 Merge master into staging-next 2020-05-14 09:25:25 +02:00
Colin L Rice d6162dab50
go-modules: Update files to use vendorSha256 2020-05-14 07:22:21 +01:00
Mario Rodas 78d5a108a2
Merge pull request #86304 from filalex77/gleam-0.8.0
gleam: 0.7.1 -> 0.8.0
2020-05-12 07:14:54 -05:00
Cole Helbling f7a93031a2
gcc10: fix eval due to missing langJit
The libgccjit PR was merged after the one introducing gcc10, thus
staging fails to eval because of the missing `langJit` argument.
2020-05-11 16:49:19 -07:00
Frederik Rietdijk a0b4e664c0 Merge staging-next into staging 2020-05-11 22:09:27 +02:00
Matthew Bauer 028d322854
Merge pull request #87419 from thefloweringash/compiler-rt-armv7l
compiler-rt: fix build on armv7l
2020-05-11 10:51:50 -05:00