1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-16 01:46:30 +00:00
nixpkgs/pkgs/development/compilers
Austin Seipp 3e6abb633c ber_metaocaml: cleanup, tweaks
This puts MetaOCaml on more equal footing with the normal OCaml
packages, which have a few passthru's and expect to have more 'meta'
information available (such as 'platforms').

With these changes, you can use the ber_metaocaml package along with
ocaml-ng.mkOcamlPackages in order to create a full package set with
Native MetaOCaml support, though this currently isn't implemented (you
have to do this yourself).

There are also other light cleanups, for example this also removes the
old MIPS support and restricts the platforms to x86 Linux/Darwin, for
now. Other platforms can be added on a case-by-case basis.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-12-14 11:46:17 -06:00
..
abcl
adoptopenjdk-bin adoptopenjdk-openj9-bin: 11 -> 11.0.1 2018-11-03 22:00:56 +09:00
aldor
aliceml
apache-flex-sdk
arachne-pnr arachne-pnr: 2018.05.13 -> 2018.09.08 2018-10-01 22:32:54 -05:00
as31
asn1c
aspectj
ats
ats2 ats2: 0.3.11 -> 0.3.12 2018-10-23 13:23:03 +00:00
avian
avra
bigloo
binaryen
bupc
carp carp: init at unstable-2018-09-15 2018-09-24 15:45:58 +03:00
ccl reewide: Purge all uses stdenv.system and top-level system 2018-08-30 17:20:32 -04:00
chez treewide: Purge stdenv.platform and top-level platform 2018-08-20 15:22:46 -04:00
chicken pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
clasp treewide: use wafHook 2018-11-13 19:13:48 -06:00
clean reewide: Purge all uses stdenv.system and top-level system 2018-08-30 17:20:32 -04:00
closure closurecompiler: 20180910 -> 20181008 2018-11-19 13:34:57 -08:00
cmdstan cmdstan: use checkInputs 2018-08-11 09:35:23 +00:00
cmucl reewide: Purge all uses stdenv.system and top-level system 2018-08-30 17:20:32 -04:00
colm
compcert compcert: 3.3 -> 3.4 2018-09-17 18:36:31 +00:00
coreclr coreclr: update homepage 2018-09-18 12:47:37 +02:00
crystal crystal: fix "play" subcommand 2018-10-27 13:28:21 +01:00
cudatoolkit cudatoolkit: build versions 9.2+ with gcc7 2018-11-10 10:57:13 +01:00
dale
dev86
dmd dmd: 2.081.1 -> 2.081.2 2018-08-19 21:53:13 +02:00
dotnet/sdk dotnet-sdk: 2.1.402 -> 2.1.403 2018-10-23 15:49:20 +02:00
dtc
ecl
edk2 edk2: fix buid 2018-08-01 11:15:17 +03:00
eli
elm elm: extract makeDotElm and fetchElmDeps 2018-11-21 10:57:11 +00:00
emscripten pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
eql
factor-lang factor-lang: 0.97 -> 0.98 2018-10-20 02:51:35 +02:00
fasm fasm: init at 1.73.04 (#50378) 2018-11-15 13:20:00 +00:00
fpc Treewide: use HTTPS on SourceForge 2018-12-02 15:33:08 +01:00
fsharp
fsharp41
fstar
futhark futhark: introduce the top-level futhark attribute 2018-10-12 14:12:29 +02:00
gambit gambit-unstable: 2018-09-03 -> 2018-11-16 2018-11-19 19:19:48 -05:00
gcc Treewide: use HTTPS on GNU domains 2018-12-02 15:51:59 +01:00
gcl Treewide: use HTTPS on GNU Savannah domains 2018-12-02 15:33:09 +01:00
gerbil gerbil-unstable: 2018-09-06 -> 2018-11-19 2018-11-19 22:42:50 -05:00
gforth
ghc ghc: add new compiler version 8.6.3 2018-12-08 11:46:20 +01:00
ghcjs Drop obsolete GHC versions 7.10.3, 8.0.2, and 8.4.3. 2018-11-02 20:13:55 +01:00
ghcjs-ng Bump GHCJS 8.4 2018-11-21 08:04:05 -05:00
glslang glslang-git: 2018-06-21 -> 2018-07-27 2018-08-29 18:56:58 -07:00
gnu-cobol
gnu-smalltalk gnu-smalltalk: fix build 2018-09-05 23:01:15 +02:00
go go_1_11: remove build artifacts 2018-11-26 07:22:50 +00:00
gprolog Treewide: use HTTPS on GNU domains 2018-12-02 15:51:59 +01:00
graalvm Merge staging-next into staging 2018-11-18 10:41:34 +01:00
gwt
halide eigen3_3: move version overrides to all-packages.nix 2018-11-18 10:53:25 +00:00
haxe pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
hhvm hhvm: mark as broken 2018-08-29 14:43:06 +00:00
hop
iasl Revert "iasl: 20180313 -> 20180629 (#46272)" 2018-09-19 12:03:44 +02:00
icedtea-web
inform7 pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
intercal
ios-cross-compile pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
ispc pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
javacard-devkit javacard-devkit: allow overriding the java binary (#45416) 2018-08-21 20:00:46 +02:00
jetbrains-jdk reewide: Purge all uses stdenv.system and top-level system 2018-08-30 17:20:32 -04:00
jikes jikes: add license 2018-08-06 13:02:43 +02:00
jsonnet jsonnet: skip building the website (#47981) 2018-10-07 20:04:59 -04:00
julia julia: 1.0.0 -> 1.0.1 (#48191) 2018-10-22 06:57:43 +00:00
jwasm
kotlin kotlin: 1.3.0 -> 1.3.10 2018-11-19 14:22:57 +00:00
ldc ldc: 1.10.0 -> 1.11.0 2018-08-19 21:52:28 +02:00
llvm Merge pull request #48721 from oxij/tree/mass-rebuild-complicated-cleanups 2018-10-29 19:17:28 +00:00
manticore manticore: 2017-08-22 -> 2018-09-29 2018-12-01 12:22:34 +05:30
matter-compiler pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
mcpp pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
mercury
meta-environment/meta-build-env
mezzo ocamlPackages.mezzo: disable for OCaml ≥ 4.06 2018-08-29 12:49:45 +00:00
microscheme treewide: use gnu toolchain for avr/arm-embedded 2018-10-30 13:31:45 -05:00
mint mint: 0.2.1 -> 0.3.1 (#47586) 2018-10-01 17:33:59 +02:00
mit-scheme Treewide: use HTTPS on GNU domains 2018-12-02 15:51:59 +01:00
mkcl
mlton mlton: refactor and adds mlton20180207Binary mlton20180207 mltonHEAD 2018-10-12 00:47:54 -04:00
mono Merge pull request #49369 from Mic92/mono-cleanup3 2018-10-29 10:27:22 +00:00
mosml mosml: init at 2.10.1 2018-08-10 17:51:11 +08:00
mozart reewide: Purge all uses stdenv.system and top-level system 2018-08-30 17:20:32 -04:00
mruby mruby: Removes a test that fails in the sandbox. 2018-08-10 19:07:20 -04:00
nasm nasm: 2.13.03 -> 2.14 2018-11-09 05:22:37 -08:00
neko
nextpnr nextpnr: 2018.08.09 -> 2018.10.17 2018-10-17 00:15:47 -04:00
nim nim: update nodejs-slim 2018-10-31 10:38:16 +01:00
nvidia-cg-toolkit reewide: Purge all uses stdenv.system and top-level system 2018-08-30 17:20:32 -04:00
obliv-c obliv-c: 0.0pre20170827 -> 0.0pre20180624 2018-08-28 04:32:56 +00:00
ocaml ber_metaocaml: cleanup, tweaks 2018-12-14 11:46:17 -06:00
opa treewide: Make configureFlags lists 2018-08-03 17:06:03 -04:00
opendylan tree-wide: patchelf used during build -> nativeBuildInputs 2018-09-28 11:43:16 -05:00
openjdk jdk11_headless: fix the build on amd64 2018-12-11 06:14:21 +00:00
openspin openspin: init at 2018-10-02 2018-10-02 03:02:49 +00:00
oraclejdk oraclejdk: remove version 10 2018-11-01 12:37:21 +01:00
orc orc: update homepage 2018-09-02 01:46:28 +02:00
osl osl: 1.9.9 -> 1.9.10 2018-10-03 04:53:41 -07:00
owl-lisp
pakcs pakcs: 2.0.2-b9 -> 2.0.2 2018-11-17 05:08:21 +03:00
picat reewide: Purge all uses stdenv.system and top-level system 2018-08-30 17:20:32 -04:00
polyml
ponyc ponyc: 0.24.4 -> 0.25.0 2018-10-26 19:56:11 -07:00
purescript/psc-package psc-package: 0.4.1 -> 0.4.2 2018-11-09 15:36:00 +01:00
reason dune: 1.4.0 -> 1.5.0 (#49848) 2018-11-09 12:26:18 +00:00
rgbds
rust Merge pull request #50006 from alyssais/rust-1.30.1 2018-11-14 11:29:22 +00:00
sbcl sbcl: 1.4.12 -> 1.4.13 2018-10-31 23:32:47 +01:00
scala scala: 2.12.7 -> 2.12.8 2018-12-05 09:27:34 -05:00
sdcc sdcc: fix license condition 2018-07-17 19:17:03 +03:00
seexpr
serpent
shaderc
smlnj smlnj: 110.84 includes a new implementation of Abstract Syntax Description Library (ASDL). Adding it as a required source. 2018-11-16 16:17:35 +05:30
solc solc: 0.5.0 -> 0.5.1 2018-12-06 18:53:56 +08:00
souffle pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
souper
squeak
stalin
swi-prolog Merge remote-tracking branch 'upstream/master' into staging 2018-08-04 15:17:42 +03:00
swift swift: 4.1.3 -> 4.2.1 2018-11-01 17:53:04 +01:00
terra
teyjus
tinycc
urn
urweb urweb: 20170720 -> 20180616 2018-11-23 15:42:23 +07:00
vala vala_0_40: 0.40.6 → 0.40.11 2018-11-30 21:35:26 +01:00
wcc
wla-dx
x11basic x11basic: init at 1.26 2018-11-03 17:58:02 +01:00
yap treewide: Make configureFlags lists 2018-08-03 17:06:03 -04:00
yasm
yosys yosys: 2018.09.30 -> 2018.10.17 2018-10-17 00:15:47 -04:00
z88dk
zig zig: 0.2.0 -> 0.3.0 2018-09-29 15:18:57 -04:00
zulu