diff options
author | Troels Henriksen <athas@sigkill.dk> | 2020-04-08 17:48:49 +0200 |
---|---|---|
committer | Troels Henriksen <athas@sigkill.dk> | 2020-06-23 08:30:20 +0200 |
commit | 0ffeccd89fd1d1aaeb1285827362179a3b9a4451 (patch) | |
tree | 1fd634b74d9da944e849e4c67b15e9e0ca83468f /pkgs/development/compilers | |
parent | 710430b67df931227dc56dcd6d83b5b1d2d52b0f (diff) | |
download | nixpkgs-0ffeccd89fd1d1aaeb1285827362179a3b9a4451.tar nixpkgs-0ffeccd89fd1d1aaeb1285827362179a3b9a4451.tar.gz nixpkgs-0ffeccd89fd1d1aaeb1285827362179a3b9a4451.tar.bz2 nixpkgs-0ffeccd89fd1d1aaeb1285827362179a3b9a4451.tar.lz nixpkgs-0ffeccd89fd1d1aaeb1285827362179a3b9a4451.tar.xz nixpkgs-0ffeccd89fd1d1aaeb1285827362179a3b9a4451.tar.zst nixpkgs-0ffeccd89fd1d1aaeb1285827362179a3b9a4451.zip |
mlkit: init at 4.5.0
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/mlkit/default.nix | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/pkgs/development/compilers/mlkit/default.nix b/pkgs/development/compilers/mlkit/default.nix new file mode 100644 index 00000000000..6fa58145250 --- /dev/null +++ b/pkgs/development/compilers/mlkit/default.nix @@ -0,0 +1,24 @@ +{ stdenv, fetchFromGitHub, autoreconfHook, mlton }: + +stdenv.mkDerivation rec { + pname = "mlkit"; + version = "4.5.0"; + + src = fetchFromGitHub { + owner = "melsman"; + repo = "mlkit"; + rev = "v${version}"; + sha256 = "0fc0y40qphn02857fv2dvhwzzsvgixzchx9i6i0x80xfv7z68fbh"; + }; + + nativeBuildInputs = [ autoreconfHook mlton ]; + + buildFlags = ["mlkit" "mlkit_libs"]; + + meta = with stdenv.lib; { + description = "Standard ML Compiler and Toolkit"; + homepage = "https://elsman.com/mlkit/"; + license = licenses.gpl2Plus; + maintainers = with maintainers; [ athas ]; + }; +} |