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