diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2009-12-10 13:16:06 +0000 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2009-12-10 13:16:06 +0000 |
| commit | adbaa14548313997bf8c74a40358ea4a14e656d1 (patch) | |
| tree | 396a981c622c4d46eba69de45883964702cf7e9c /pkgs/development/compilers/polyml | |
| parent | 16eabd95b3f9730cfa7b95c57ad70c8d3e7e49c0 (diff) | |
| download | nixlib-adbaa14548313997bf8c74a40358ea4a14e656d1.tar nixlib-adbaa14548313997bf8c74a40358ea4a14e656d1.tar.gz nixlib-adbaa14548313997bf8c74a40358ea4a14e656d1.tar.bz2 nixlib-adbaa14548313997bf8c74a40358ea4a14e656d1.tar.lz nixlib-adbaa14548313997bf8c74a40358ea4a14e656d1.tar.xz nixlib-adbaa14548313997bf8c74a40358ea4a14e656d1.tar.zst nixlib-adbaa14548313997bf8c74a40358ea4a14e656d1.zip | |
Add expression for PolyML
svn path=/nixpkgs/trunk/; revision=18875
Diffstat (limited to 'pkgs/development/compilers/polyml')
| -rw-r--r-- | pkgs/development/compilers/polyml/default.nix | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/pkgs/development/compilers/polyml/default.nix b/pkgs/development/compilers/polyml/default.nix new file mode 100644 index 000000000000..ee4a446162a0 --- /dev/null +++ b/pkgs/development/compilers/polyml/default.nix @@ -0,0 +1,24 @@ +{stdenv, fetchurl}: + +let + pname = "polyml"; + version = "5.3"; +in + +stdenv.mkDerivation { + name = "${pname}-${version}"; + + src = fetchurl { + url = "mirror://sourceforge/${pname}/${pname}.${version}.tar.gz"; + sha256 = "154e836f4e65b5c72f8190d3c02e5ed237921cef716cb49add1e0e1e35fb2af4"; + }; + + meta = { + description = "Standard ML compiler and interpreter"; + longDescription = '' + Poly/ML is a full implementation of Standard ML. + ''; + homepage = http://www.polyml.org/; + license = "LGPL"; + }; +} |