From aaebd028333c7d2db513c530f60865fc6ea66425 Mon Sep 17 00:00:00 2001
From: maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb>
Date: Thu, 10 Dec 2009 13:16:06 +0000
Subject: [PATCH] Add expression for PolyML

git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@18875 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
---
 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 000000000..ee4a44616
--- /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 7c2c834eb..480b39b96 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;
-- 
2.11.4.GIT