| Commit message (Collapse) | Author | Age |
|\
| |
| | |
idris2: 0.2.0-840e020 -> 0.2.0
|
| |
| |
| |
| |
| | |
* Upgrade to release version of idris2
* Add config for proper testing phase
|
| | |
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
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.
|
|\ \ |
|
| | | |
|
| | | |
|
| |\ \
| | | |
| | | | |
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.
|
|\| | |
|
| |\ \
| | |/
| |/| |
ciao: init at 1.19.0
|
| | | |
|
| |\ \ |
|
| | | |
| | | |
| | | |
| | | | |
A purely functional programming language with first class types
|
| |\ \ \
| | | | |
| | | | | |
jsonnet: 0.15.0 -> 0.16.0
|
| | | | | |
|
| |/ / /
| | | |
| | | |
| | | | |
@deliciouslytyped
|
|\| | | |
|
| |\ \ \
| | |/ /
| |/| | |
gdc: init at 9.3.0
|
| | | | |
|
|\| | | |
|
| |\ \ \
| | | | |
| | | | | |
tinygo: 0.13.0 -> 0.13.1
|
| | | | | |
|
| |\ \ \ \
| | | | | |
| | | | | | |
closurecompiler: 20200406 -> 20200517
|
| | |/ / / |
|
| | |/ /
| |/| |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
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.
|
| |/ / |
|
|\| | |
|
| | |
| | |
| | |
| | |
| | | |
Now that v0.16 was released at last, make the configurePhase and instalPhase
the same again for default and unstable.
|
| | | |
|
| | | |
|
| | | |
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
- 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.
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
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.
|
| | | |
|
| |\ \
| | | |
| | | | |
go_1_13: 1.13.8 -> 1.13.11, stop setting GOPATH
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
a1e13f6140a568b73c1c36bb9ef79d7876ccaae3
|
| | | | |
|
| |\ \ \
| | |/ /
| |/| | |
Ethereum updates
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
ghcjs hasn't compiled for several weeks.
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
This partially reverts commit 3e0aa4af2da4e4010cd9011aaa125fed7ca220e6.
See the discussion in the PR.
|
| |/ / |
|
| | | |
|
|\| | |
|
| |\ \
| | | |
| | | | |
gleam: 0.7.1 -> 0.8.0
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | | |
The libgccjit PR was merged after the one introducing gcc10, thus
staging fails to eval because of the missing `langJit` argument.
|