diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2018-08-12 10:33:41 +0200 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2018-08-12 10:33:41 +0200 |
commit | 00df25ee57fcc2227ffdbbff2280b13d898bfd7d (patch) | |
tree | a2cdc854489799c6d7900b0e5ac215b7b95d762a /pkgs/development/compilers/mosml/default.nix | |
parent | 580cab57e4f188d25144e398d7b8e3d5085299a9 (diff) | |
parent | bb3f7d14a17e88e4341872c55d8b32127c6f8101 (diff) | |
download | nixpkgs-00df25ee57fcc2227ffdbbff2280b13d898bfd7d.tar nixpkgs-00df25ee57fcc2227ffdbbff2280b13d898bfd7d.tar.gz nixpkgs-00df25ee57fcc2227ffdbbff2280b13d898bfd7d.tar.bz2 nixpkgs-00df25ee57fcc2227ffdbbff2280b13d898bfd7d.tar.lz nixpkgs-00df25ee57fcc2227ffdbbff2280b13d898bfd7d.tar.xz nixpkgs-00df25ee57fcc2227ffdbbff2280b13d898bfd7d.tar.zst nixpkgs-00df25ee57fcc2227ffdbbff2280b13d898bfd7d.zip |
Merge branch 'master' into staging-next
Hydra: ?compare=1472947
Diffstat (limited to 'pkgs/development/compilers/mosml/default.nix')
-rw-r--r-- | pkgs/development/compilers/mosml/default.nix | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/pkgs/development/compilers/mosml/default.nix b/pkgs/development/compilers/mosml/default.nix new file mode 100644 index 00000000000..5ea3f63ccd1 --- /dev/null +++ b/pkgs/development/compilers/mosml/default.nix @@ -0,0 +1,29 @@ +{ stdenv, fetchurl, gmp, perl }: + +stdenv.mkDerivation rec { + name = "mosml-${version}"; + version = "2.10.1"; + + buildInputs = [ gmp perl ]; + + makeFlags = "PREFIX=$(out)"; + + src = fetchurl { + url = "https://github.com/kfl/mosml/archive/ver-${version}.tar.gz"; + sha256 = "13x7wj94p0inn84pzpj52dch5s9lznqrj287bd3nk3dqd0v3kmgy"; + }; + + setSourceRoot = ''export sourceRoot="$(echo */src)"''; + + meta = with stdenv.lib; { + description = "A light-weight implementation of Standard ML"; + longDescription = '' + Moscow ML is a light-weight implementation of Standard ML (SML), a strict + functional language used in teaching and research. + ''; + homepage = http://mosml.org/; + license = licenses.gpl2; + platforms = platforms.linux; + maintainers = with maintainers; [ vaibhavsagar ]; + }; +} |