From bc7ba3994cab9c1d60ea59fdd273d1d1e9f81ea3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andres=20L=C3=B6h?= <mail@andres-loeh.de>
Date: Tue, 29 Dec 2009 14:57:01 +0000
Subject: [PATCH] Added mozart system (compiles, but untested).

svn path=/nixpkgs/trunk/; revision=19146
---
 pkgs/development/compilers/mozart/default.nix | 14 ++++++++++++++
 pkgs/top-level/all-packages.nix               |  4 ++++
 2 files changed, 18 insertions(+)
 create mode 100644 pkgs/development/compilers/mozart/default.nix

diff --git a/pkgs/development/compilers/mozart/default.nix b/pkgs/development/compilers/mozart/default.nix
new file mode 100644
index 000000000000..d649ef46918f
--- /dev/null
+++ b/pkgs/development/compilers/mozart/default.nix
@@ -0,0 +1,14 @@
+{stdenv, fetchurl, flex, bison, perl, gmp, zlib, tcl, tk, gdbm, m4, x11, emacs}:
+
+stdenv.mkDerivation {
+  name = "mozart-1.4.0";
+  src = fetchurl {
+    url = http://www.mozart-oz.org/download/mozart-ftp/store/1.4.0-2008-07-02-tar/mozart-1.4.0.20080704-src.tar.gz;
+    sha256 = "5da73d80b5aa7fa42edca64159a1a076323f090e5c548f3747f94d0afc60b223";
+  };
+
+  buildInputs = [flex bison perl gmp zlib tcl tk gdbm m4 x11 emacs];
+
+  # micq gives a compile error for me
+  configureFlags = "--with-tcl=${tcl}/lib --with-tk=${tk}/lib --disable-contrib-micq";
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 614412ee384b..edbdbdfa6ed1 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -2096,6 +2096,10 @@ let
     inherit stdenv perl;
   };
 
+  mozart = import ../development/compilers/mozart {
+    inherit fetchurl stdenv flex bison perl gmp zlib tcl tk gdbm m4 x11 emacs;
+  };
+
   neko = import ../development/compilers/neko {
     inherit sourceFromHead fetchurl stdenv lib pkgconfig composableDerivation
       boehmgc apacheHttpd mysql zlib sqlite pcre apr makeWrapper;