From eba10b008f0ac9ab00a02e6fb16e7477bff971cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Domen=20Ko=C5=BEar?= <domen@dev.si>
Date: Tue, 11 Nov 2014 07:21:43 +0100
Subject: [PATCH] fix tarball eval

---
 pkgs/development/compilers/mozart/binary.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pkgs/development/compilers/mozart/binary.nix b/pkgs/development/compilers/mozart/binary.nix
index f8f19e599539..3d9e4311c313 100644
--- a/pkgs/development/compilers/mozart/binary.nix
+++ b/pkgs/development/compilers/mozart/binary.nix
@@ -1,5 +1,7 @@
 { stdenv, fetchurl, bash, makeWrapper, coreutils, emacs, tcl, tk, boost, gmp, cacert }:
 
+assert stdenv.isLinux;
+
 let
   version = "2.0.0";
 in
@@ -23,6 +25,6 @@ stdenv.mkDerivation {
     description = "The Mozart Programming System combines ongoing research in programming language design and implementation, constraint logic programming, distributed computing, and human-computer interfaces. Mozart implements the Oz language and provides both expressive power and advanced functionality.";
 
     license = licenses.mit;
-    platforms = platforms.unix;
+    platforms = platforms.linux;
   };
 }