aldor: fix the sha256 hash (plus minor cosmetic changes)

This commit is contained in:
Peter Simons 2013-07-24 10:50:42 +02:00
parent b800c5d1f9
commit 58c08fdefb

View File

@ -1,15 +1,12 @@
{ fetchgit, stdenv, gmp, which, flex, bison, makeWrapper }: { fetchgit, stdenv, gmp, which, flex, bison, makeWrapper }:
stdenv.mkDerivation rec { stdenv.mkDerivation {
pname = "aldor"; name = "aldor-1.1.0";
version = "1.1.0";
name = "${pname}-${version}";
gitRev = "a02b088c8d5d06f16c50a83ddee4019e962d6673";
src = fetchgit { src = fetchgit {
url = "https://github.com/pippijn/aldor"; url = "https://github.com/pippijn/aldor";
sha256 = "1zd343wq46f74yr30a5nrbv5n831z6wd24yqnrs7w17ccic69lny"; sha256 = "14xv3jl15ib2knsdz0bd7jx64zg1qrr33q5zcr8gli860ps8gkg3";
rev = gitRev; rev = "a02b088c8d5d06f16c50a83ddee4019e962d6673";
}; };
buildInputs = [ gmp which flex bison makeWrapper ]; buildInputs = [ gmp which flex bison makeWrapper ];
@ -28,8 +25,10 @@ stdenv.mkDerivation rec {
done done
''; '';
meta = with stdenv.lib ; { meta = {
homepage = "http://www.aldor.org/";
description = "Aldor is a programming language with an expressive type system"; description = "Aldor is a programming language with an expressive type system";
license = stdenv.lib.licenses.asl20;
longDescription = '' longDescription = ''
Aldor is a programming language with an expressive type system well-suited Aldor is a programming language with an expressive type system well-suited
@ -44,9 +43,7 @@ stdenv.mkDerivation rec {
and powerful properties of functional, object-oriented and aspect-oriented styles. and powerful properties of functional, object-oriented and aspect-oriented styles.
''; '';
homepage = http://www.aldor.org/; maintainers = [ stdenv.lib.maintainers.simons ];
license = licenses.asl20; platforms = stdenv.lib.platforms.linux;
maintainers = [ ];
platforms = platforms.linux;
}; };
} }