nixpkgs/pkgs/development/compilers
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
..
abcl abcl: 1.6.0 -> 1.6.1 2020-05-04 19:56:43 -07:00
acme acme: fix darwin build 2020-03-27 19:59:43 -07:00
adoptopenjdk-bin Merge remote-tracking branch 'channels/nixos-unstable' into jdk-13 2020-03-09 12:29:43 -04:00
adoptopenjdk-icedtea-web treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
aldor treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
aliceml aliceml: do not use aliases 2020-05-16 23:12:57 +02:00
apache-flex-sdk treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
arachne-pnr treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
asn1c treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
aspectj treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ats treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
ats2 treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
avian treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
avra treewide: remove the-kenny from maintainers 2020-05-09 10:28:57 +01:00
bigloo treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
binaryen binaryen: 91 -> 93 2020-05-02 02:50:12 +00:00
bluespec bluespec: install utilities, too 2020-02-26 18:32:20 -06:00
bs-platform bs-platform: 7.3.1 -> 7.3.2 2020-05-14 21:00:31 -07:00
bupc treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
carp treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ccl treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
chez treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
chicken treewide: remove the-kenny from maintainers 2020-05-09 10:28:57 +01:00
ciao ciao: init at 1.19.0 2020-05-24 12:26:29 +03:00
clasp treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
clean treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
closure closurecompiler: 20200406 -> 20200517 2020-05-20 09:39:55 +00:00
cmdstan treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
cmucl treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
colm treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
compcert compcert: 3.6 -> 3.7 2020-04-01 10:06:48 +00:00
computecpp treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
coreclr coreclr: get clang from llvmPackages 2020-04-13 15:55:16 +02:00
crystal Merge pull request #85445 from manveru/crystal-all-llvm 2020-05-07 07:49:03 -04:00
cudatoolkit cudatoolkit_7*: build w/gcc6 2020-01-28 20:11:01 +01:00
dale treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
dev86 treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
dmd Patch bash in test6952.d 2020-04-29 07:31:52 +08:00
dotnet dotnetCorePackages: Add support for Darwin 2020-05-27 09:02:27 -07:00
dtc treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ecl treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
edk2 ed2k/OVMF: Put URLs in quotes 2020-05-04 16:00:37 +02:00
eli treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
elm makeDotElm: fix 2020-05-03 21:54:20 +03:00
emscripten treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
eql treewide: NIX_*_COMPILE -> string 2019-12-31 00:13:29 +01:00
factor-lang treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
fasm fasm: 1.73.23 -> 1.73.24 2020-05-04 21:13:50 -07:00
flutter flutter: update channels + fix dev channel 2020-04-05 15:35:11 +02:00
flux flux: init at 2013-09-20 2019-08-18 23:17:58 -04:00
fpc lazarus: fix linking by the IDE; using the results of an investigation by @deliciouslytyped 2020-05-25 02:21:51 +02:00
fsharp treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
fsharp41 treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
fstar fstar: install completions 2020-04-29 04:20:00 -05:00
gambit gambit: disable use of poll() on Darwin 2020-05-19 16:06:41 -05:00
gavrasm treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
gcc Merge master into staging-next 2020-05-28 22:03:48 +02:00
gcc-arm-embedded gcc-arm-embedded: remove old versions of the package (4.x, 5.0) 2019-12-08 15:24:12 +01:00
gcl treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
gerbil gerbil: 0.15.1 -> 0.16 2020-05-17 16:14:22 -04:00
gforth treewide: remove the-kenny from maintainers 2020-05-09 10:28:57 +01:00
ghc Nail a few typos 2020-05-08 21:11:46 +02:00
ghcjs-ng ghcjs: mark build as broken 2020-05-15 21:19:10 +02:00
ghdl ghdl: init at 0.37 2020-04-20 14:41:22 +02:00
gleam gleam: 0.8.0-rc1 -> 0.8.0 2020-05-08 07:50:24 +00:00
glslang glslang: 7.11.3214 -> 8.13.3559 2020-02-11 19:11:32 +01:00
gnatboot gnat: init at 9.3.0 2020-04-20 14:41:22 +02:00
gnu-cobol treewide: remove the-kenny from maintainers 2020-05-09 10:28:57 +01:00
gnu-smalltalk treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
go go_1_13: 1.13.8 -> 1.13.11 2020-05-16 10:31:23 +10:00
go-jsonnet go-modules: Update files to use vendorSha256 2020-05-14 07:22:21 +01:00
gprolog treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
graalvm treewide: per RFC45, remove more unquoted URLs 2020-04-18 14:04:37 +02:00
gwt treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
halide treewide: use blas and lapack 2020-04-17 16:24:09 -05:00
haxe treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
hhvm treewide: replace make/build/configure/patchFlags with nix lists 2019-12-30 12:58:11 +01:00
hop treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
iasl treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
idris2 idris2: init at version 0.2.0-840e020 2020-05-23 12:54:27 -04:00
inform7 treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
intel-graphics-compiler treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
intercal treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ios-cross-compile
ispc ispc: 1.10.0 -> 1.13.0, cleanup, (co)maintain 2020-04-24 12:08:43 -05:00
jasmin jasmin: init at 2.4 2019-11-06 15:43:29 +01:00
javacard-devkit treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
jetbrains-jdk jetbrains-jdk: derive expression for 11.0.6 from openjdk11 rather than openjdk12 2020-03-20 08:21:52 -04:00
jsonnet jsonnet: 0.15.0 -> 0.16.0 2020-05-24 21:51:22 +00:00
julia blas,lapack: use isILP64 instead of is64bit 2020-04-20 16:02:43 -05:00
jwasm jwasm: 2017-11-12 -> 2.13 2020-04-02 16:24:38 +00:00
kotlin kotlin: 1.3.71 -> 1.3.72 2020-05-02 13:16:07 +00:00
ldc ldc: 1.17.0 -> 1.20.1 2020-04-29 07:31:53 +08:00
llvm llvm/compiler-rt: only apply armv7l patches on aarch32 2020-05-10 13:43:17 +09:00
manticore treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
matter-compiler treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
mcpp treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
mercury mercury: 20.01.1 -> 20.01.2 2020-05-08 08:11:38 +00:00
meta-environment/meta-build-env treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
mezzo treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
microscheme treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
mint mint: 0.7.1 -> 0.9.0 2020-04-22 17:30:22 +08:00
mit-scheme treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
mkcl treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
mlton treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
mono treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
mosml treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
mozart treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
mruby treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
nasm treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
neko treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
nextpnr treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
nim nim: 1.0.6 -> 1.2.0 2020-04-04 01:15:27 +05:30
nvidia-cg-toolkit treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
obliv-c treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
ocaml ocaml-ng.ocamlPackages_4_11.ocaml: init at 4.11.0+α1 2020-05-16 10:27:00 +02:00
opa treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
open-watcom-bin open-watcom-bin: fix EOVERFLOW on stat() calls 2020-05-08 17:29:38 +02:00
opendylan treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
openjdk treewide: per RFC45, remove more unquoted URLs 2020-05-08 15:20:47 +02:00
openspin treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
oraclejdk oraclejdk8: 8u241 -> 8u251 2020-05-18 10:29:43 +02:00
orc treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
osl treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
owl-lisp owl-lisp: 0.1.16 -> 0.1.19 2019-08-21 13:39:24 +08:00
pakcs treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
pforth treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
picat treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
polyml treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
ponyc treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
purescript Merge pull request #82964 from lilyball/psc-package 2020-04-01 10:39:46 +09:00
qbe qbe: unstable-2019-05-15 -> unstable-2019-07-11 2019-07-29 16:21:00 +02:00
rasm rasm: init at 0.116 2019-12-16 11:28:34 -08:00
reason treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
rgbds rgbds: 0.3.9 -> 0.3.10 2020-03-23 21:33:39 +00:00
rust rustc: 1.42.0 -> 1.43.0 2020-05-09 09:11:37 +02:00
sagittarius-scheme sagittarius-scheme: init at 0.9.6 2019-08-11 21:47:41 +05:30
sbcl sbcl: add option to disable immobile space 2020-05-30 17:23:21 -07:00
scala scala: 2.13.1 -> 2.13.2 2020-05-10 10:37:38 +00:00
sdcc treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
seexpr treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
serpent treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
shaderc shaderc: 2019.0 -> 2019.1 2020-02-11 19:11:32 +01:00
smlnj treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
solc solc: 0.5.15 -> 0.6.8 2020-05-15 19:18:11 -04:00
souffle treewide: fix redirected urls 2020-01-22 11:26:22 +01:00
spirv-llvm-translator treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
squeak treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
stalin treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
swi-prolog swiProlog: fix build on darwin 2019-10-14 22:30:00 -05:00
swift treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
terra treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
teyjus treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
tinycc tinycc: fixup perms for generated .pc file 2019-10-12 14:45:17 +02:00
tinygo tinygo: 0.13.0 -> 0.13.1 2020-05-20 02:17:42 +00:00
unison unison-ucm: 1.0.M1j-alpha -> 1.0.M1l-alpha 2020-04-28 12:04:40 -07:00
urn treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
urweb urweb: 20190217 -> 20200209 2020-02-12 13:28:40 -06:00
vala treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
vlang vlang: Propagate build inputs, add $LDFLAGS (#70466) 2019-10-07 00:02:34 -04:00
wcc treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
wla-dx treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
x11basic treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
yap treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
yasm treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
yosys yosys: 2020.03.16 -> 2020.03.24 2020-03-25 06:46:01 -05:00
z88dk z88dk-unstable: 2019-05-09 -> 2020-01-27, fix build w/glibc-2.30 2020-01-28 14:07:58 +01:00
zasm zasm: Init at 4.2.6 2020-03-24 18:29:53 +01:00
zig zig: apply suggestion from @cole-h 2020-04-13 18:56:41 -04:00
zulu treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
zz zz: 2020-03-02 -> 0.1 2020-05-28 04:20:00 -05:00