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) | |
download | nixlib-79b214ef954c0b3515c8b641e9b32f3c80985276.tar nixlib-79b214ef954c0b3515c8b641e9b32f3c80985276.tar.gz nixlib-79b214ef954c0b3515c8b641e9b32f3c80985276.tar.bz2 nixlib-79b214ef954c0b3515c8b641e9b32f3c80985276.tar.lz nixlib-79b214ef954c0b3515c8b641e9b32f3c80985276.tar.xz nixlib-79b214ef954c0b3515c8b641e9b32f3c80985276.tar.zst nixlib-79b214ef954c0b3515c8b641e9b32f3c80985276.zip |
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 6f15c0599efc..18fe0ffe2046 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 ]; }; } |