pkgs/by-name/at/ats/package.nix

   1 {
   2   lib,
   3   stdenv,
   4   fetchurl,
   5   gmp,
   6 }:
   7
   8 stdenv.mkDerivation rec {
   9   pname = "ats";
  10   version = "0.2.12";
  11
  12   src = fetchurl {
  13     url = "mirror://sourceforge/ats-lang/ats-lang-anairiats-${version}.tgz";
  14     sha256 = "0l2kj1fzhxwsklwmn5yj2vp9rmw4jg0b18bzwqz72bfi8i39736k";
  15   };
  16
  17   # this is necessary because atxt files usually include some .hats files
  18   patches = [ ./install-atsdoc-hats-files.patch ];
  19   buildInputs = [ gmp ];
  20
  21   meta = {
  22     description = "Functional programming language with dependent types";
  23     homepage = "http://www.ats-lang.org";
  24     license = lib.licenses.gpl3Plus;
  25     # TODO: it looks like ATS requires gcc specifically. Someone with more knowledge
  26     # will need to experiment.
  27     platforms = lib.platforms.linux;
  28     maintainers = [ lib.maintainers.thoughtpolice ];
  29   };
  30 }