diff options
author | Austin Seipp <aseipp@pobox.com> | 2014-04-27 11:24:09 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2014-04-27 11:26:16 -0500 |
commit | e590c0a867e84f3bdf59ff596b763c1d40d3f77f (patch) | |
tree | d9a510ad4db723f80217991fb51f070bdd45009e /pkgs/development/compilers/ats2 | |
parent | 92f7781f00f4fed209143b10b0e33ec3470af342 (diff) |
ats/ats2: clean-up, adopt, add Hydra packages
This also bumps ATS2 to version 0.0.7
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/development/compilers/ats2')
-rw-r--r-- | pkgs/development/compilers/ats2/default.nix | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/pkgs/development/compilers/ats2/default.nix b/pkgs/development/compilers/ats2/default.nix index c1c71b0dfe21..1f6a8b6c6e08 100644 --- a/pkgs/development/compilers/ats2/default.nix +++ b/pkgs/development/compilers/ats2/default.nix @@ -1,20 +1,21 @@ { stdenv, fetchurl, gmp }: -let version = "0.0.6"; in stdenv.mkDerivation { - name = "ats2-postiats-${version}"; +stdenv.mkDerivation rec { + name = "ats2-${version}"; + version = "0.0.7"; src = fetchurl { url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-${version}.tgz"; - sha256 = "110a4drzf656j9s5yfvxj1cwgh5g9ysnh40cv8y9qfjjkki8vd5b"; + sha256 = "1cv7caaf9fj6z3kln02ikkbmcy42324v39lzx3cf6qcsywwpm8fx"; }; buildInputs = [ gmp ]; meta = { - description = "A statically typed programming language that unifies implementation with formal specification"; - homepage = http://www.ats-lang.org/; - license = stdenv.lib.licenses.gpl3Plus; + description = "Functional programming language with dependent types"; + homepage = "http://www.ats-lang.org"; + license = stdenv.lib.licenses.gpl3Plus; + platforms = stdenv.lib.platforms.unix; + maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; }; - - platforms = stdenv.lib.platforms.all; } |