From adbaa14548313997bf8c74a40358ea4a14e656d1 Mon Sep 17 00:00:00 2001 From: Marco Maggesi Date: Thu, 10 Dec 2009 13:16:06 +0000 Subject: [PATCH] Add expression for PolyML svn path=/nixpkgs/trunk/; revision=18875 --- pkgs/development/compilers/polyml/default.nix | 24 +++++++++++++++++++ pkgs/top-level/all-packages.nix | 4 ++++ 2 files changed, 28 insertions(+) create mode 100644 pkgs/development/compilers/polyml/default.nix diff --git a/pkgs/development/compilers/polyml/default.nix b/pkgs/development/compilers/polyml/default.nix new file mode 100644 index 00000000000..ee4a446162a --- /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"; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 7c2c834eb2a..480b39b968e 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -2347,6 +2347,10 @@ let libXt; }; + polyml = import ../development/compilers/polyml { + inherit stdenv fetchurl; + }; + python = if getConfig ["python" "full"] false then pythonFull else pythonBase; python25 = if getConfig ["python" "full"] false then python25Full else python25Base; pythonBase = python25Base;