about summary refs log tree commit diff
path: root/pkgs/development/compilers/mozart
diff options
context:
space:
mode:
authorAndres Löh <mail@andres-loeh.de>2009-12-29 14:57:01 +0000
committerAndres Löh <mail@andres-loeh.de>2009-12-29 14:57:01 +0000
commitbc7ba3994cab9c1d60ea59fdd273d1d1e9f81ea3 (patch)
treea6b5cf95454e2493c71c179f5bde5c736efe93fe /pkgs/development/compilers/mozart
parent3886310b7b663c2789c0a46d310f652ee909390f (diff)
Added mozart system (compiles, but untested).
svn path=/nixpkgs/trunk/; revision=19146
Diffstat (limited to 'pkgs/development/compilers/mozart')
-rw-r--r--pkgs/development/compilers/mozart/default.nix14
1 files changed, 14 insertions, 0 deletions
diff --git a/pkgs/development/compilers/mozart/default.nix b/pkgs/development/compilers/mozart/default.nix
new file mode 100644
index 0000000000000..d649ef46918f3
--- /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";
+}