diff options
Diffstat (limited to 'pkgs/development/compilers/mozart/default.nix')
-rw-r--r-- | pkgs/development/compilers/mozart/default.nix | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/pkgs/development/compilers/mozart/default.nix b/pkgs/development/compilers/mozart/default.nix deleted file mode 100644 index d649ef46918..00000000000 --- a/pkgs/development/compilers/mozart/default.nix +++ /dev/null @@ -1,14 +0,0 @@ -{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"; -} |