| Commit message (Collapse) | Author | Age |
|
|
|
|
|
| |
The idris2 Makefile tries to use different versions of sed depending on
the OS, but nix always uses the same version. Because the version of
sed that is expected on macOS doesn't exist in the nix environment, the
build fails. Setting the OS to empty string resolves the issue.
|
|
|
|
|
|
|
|
| |
rls has racer baked in which needs to know where the rust source
is to be able to do completion for std libs. By default rls will use:
$(rustc --print sysroot)/lib/rustlib/src/rust/src
which is nonexistent, this commit sets the correct source path
in a same way like it's done in racer expression.
|
|\
| |
| | |
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
|
| | | | |
|