From b6203b804bc3bf10178cf7d35b1e4e9adbb7c304 Mon Sep 17 00:00:00 2001
From: Michael Raskin <7c6f434c@mail.ru>
Date: Sun, 9 Nov 2014 19:19:13 +0300
Subject: [PATCH] Mark binary distribution of Mozart/Oz 2.0 as such

---
 pkgs/development/compilers/mozart/{default.nix => binary.nix} | 2 +-
 pkgs/top-level/all-packages.nix                               | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)
 rename pkgs/development/compilers/mozart/{default.nix => binary.nix} (96%)

diff --git a/pkgs/development/compilers/mozart/default.nix b/pkgs/development/compilers/mozart/binary.nix
similarity index 96%
rename from pkgs/development/compilers/mozart/default.nix
rename to pkgs/development/compilers/mozart/binary.nix
index 66259c85b241..f8f19e599539 100644
--- a/pkgs/development/compilers/mozart/default.nix
+++ b/pkgs/development/compilers/mozart/binary.nix
@@ -4,7 +4,7 @@ let
   version = "2.0.0";
 in
 stdenv.mkDerivation {
-  name = "mozart-${version}";
+  name = "mozart-binary-${version}";
 
   src = fetchurl {
     url = "http://sourceforge.net/projects/mozart-oz/files/v${version}-alpha.0/mozart2-${version}-alpha.0+build.4105.5c06ced-x86_64-linux.tar.gz";
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index c8b097ed5839..5631fa6219c9 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -3508,7 +3508,8 @@ let
 
   monoDLLFixer = callPackage ../build-support/mono-dll-fixer { };
 
-  mozart = callPackage ../development/compilers/mozart { };
+  mozart-binary = callPackage ../development/compilers/mozart/binary.nix { };
+  mozart = mozart-binary;
 
   neko = callPackage ../development/compilers/neko { };