diff options
author | John Wiegley <johnw@newartisans.com> | 2015-01-02 14:41:16 -0600 |
---|---|---|
committer | Shea Levy <shea@shealevy.com> | 2015-01-03 07:53:06 -0500 |
commit | 79b214ef954c0b3515c8b641e9b32f3c80985276 (patch) | |
tree | b5102b076a6042b11f829c49c8d8475fd7d238a0 /pkgs/development/compilers/ats | |
parent | eba9d0d8fad0a90fa92d7d447c6e46647d36040a (diff) |
ats, ats2: refine supported platforms to linux
Diffstat (limited to 'pkgs/development/compilers/ats')
-rw-r--r-- | pkgs/development/compilers/ats/default.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/development/compilers/ats/default.nix b/pkgs/development/compilers/ats/default.nix index 6f15c0599efc4..18fe0ffe2046a 100644 --- a/pkgs/development/compilers/ats/default.nix +++ b/pkgs/development/compilers/ats/default.nix @@ -17,7 +17,9 @@ stdenv.mkDerivation rec { description = "Functional programming language with dependent types"; homepage = "http://www.ats-lang.org"; license = stdenv.lib.licenses.gpl3Plus; - platforms = stdenv.lib.platforms.unix; + # TODO: it looks like ATS requires gcc specifically. Someone with more knowledge + # will need to experiment. + platforms = stdenv.lib.platforms.linux; maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; }; } |