ats, ats2: refine supported platforms to linux
This commit is contained in:
parent
eba9d0d8fa
commit
79b214ef95
|
@ -17,7 +17,9 @@ stdenv.mkDerivation rec {
|
||||||
description = "Functional programming language with dependent types";
|
description = "Functional programming language with dependent types";
|
||||||
homepage = "http://www.ats-lang.org";
|
homepage = "http://www.ats-lang.org";
|
||||||
license = stdenv.lib.licenses.gpl3Plus;
|
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 ];
|
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
|
@ -15,7 +15,7 @@ stdenv.mkDerivation rec {
|
||||||
description = "Functional programming language with dependent types";
|
description = "Functional programming language with dependent types";
|
||||||
homepage = "http://www.ats-lang.org";
|
homepage = "http://www.ats-lang.org";
|
||||||
license = stdenv.lib.licenses.gpl3Plus;
|
license = stdenv.lib.licenses.gpl3Plus;
|
||||||
platforms = stdenv.lib.platforms.unix;
|
platforms = stdenv.lib.platforms.linux;
|
||||||
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
|
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue