diff options
Diffstat (limited to 'pkgs/development/compilers/mozart/binary.nix')
-rw-r--r-- | pkgs/development/compilers/mozart/binary.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/development/compilers/mozart/binary.nix b/pkgs/development/compilers/mozart/binary.nix index f8f19e599539..57e339204bd0 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 = ["x86_64-linux"]; }; } |