3
0
Fork 0
forked from mirrors/nixpkgs

New version of ATerm library and SDF packages

svn path=/nixpkgs/trunk/; revision=1127
This commit is contained in:
Martin Bravenboer 2004-07-03 10:47:58 +00:00
parent 5a00ba432c
commit 6315d6d923
11 changed files with 143 additions and 4 deletions

View file

@ -1,10 +1,10 @@
{stdenv, fetchurl}:
stdenv.mkDerivation {
name = "aterm-2.1";
name = "aterm-2.2";
configureFlags = "--with-gcc";
src = fetchurl {
url = http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.1.tar.gz;
md5 = "b9d541da35b6d287af1cd8460963a7a8";
url = http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.2.tar.gz;
md5 = "e1098f4cb84dbfce095cb4c14303ec16";
};
}

View file

@ -0,0 +1,12 @@
{stdenv, fetchurl, aterm, toolbuslib, ptsupport, asfsupport, errorsupport, sglr}:
stdenv.mkDerivation {
name = "asc-support-2.0";
builder = ./builder.sh;
src = fetchurl {
url = http://www.cwi.nl/projects/MetaEnv/asc-support/asc-support-2.0.tar.gz;
md5 = "34368ca79e524157bf6e89281371cb5a";
};
inherit stdenv aterm ptsupport toolbuslib asfsupport errorsupport sglr;
buildInputs = [stdenv aterm ptsupport toolbuslib asfsupport errorsupport sglr];
}

View file

@ -0,0 +1,10 @@
{stdenv, fetchurl}:
stdenv.mkDerivation {
name = "asf-library-1.1";
src = fetchurl {
url = http://www.cwi.nl/projects/MetaEnv/asf-library/asf-library-1.1.tar.gz;
md5 = "09b2ccbd115434cedb180e5575d0fa98";
};
}

View file

@ -0,0 +1,12 @@
{stdenv, fetchurl, aterm, ptsupport, errorsupport}:
stdenv.mkDerivation {
name = "asf-support-1.4";
builder = ./builder.sh;
src = fetchurl {
url = http://www.cwi.nl/projects/MetaEnv/asf-support/asf-support-1.4.tar.gz;
md5 = "520ea7d73094346d3010187f22927870";
};
inherit stdenv aterm ptsupport errorsupport;
buildInputs = [stdenv aterm ptsupport errorsupport];
}

View file

@ -0,0 +1,12 @@
{stdenv, fetchurl, aterm, toolbuslib}:
stdenv.mkDerivation {
name = "error-support-0.1.1";
builder = ./builder.sh;
src = fetchurl {
url = http://www.cwi.nl/projects/MetaEnv/error-support/error-support-0.1.1.tar.gz;
md5 = "ebd0965e29ee22508a189477b1dae12b";
};
inherit aterm toolbuslib;
buildInputs = [aterm toolbuslib];
}

View file

@ -0,0 +1,13 @@
{stdenv, getopt, fetchurl, aterm, toolbuslib, ptsupport, sdfsupport, asfsupport, ascsupport, errorsupport, sglr}:
stdenv.mkDerivation {
name = "pgen-2.2";
builder = ./builder.sh;
src = fetchurl {
url = http://www.cwi.nl/projects/MetaEnv/pgen/pgen-2.2.tar.gz;
md5 = "e23323a96d7b1f72a0e10673fa93ef7c";
};
inherit aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport errorsupport sglr;
buildInputs = [aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport errorsupport sglr];
propagatedBuildInputs = [getopt];
}

View file

@ -0,0 +1,12 @@
{stdenv, fetchurl, aterm, toolbuslib, errorsupport}:
stdenv.mkDerivation {
name = "pt-support-1.2";
builder = ./builder.sh;
src = fetchurl {
url = http://www.cwi.nl/projects/MetaEnv/pt-support/pt-support-1.2.tar.gz;
md5 = "2ba2fa388130b11b9b91970ebe20c1c7";
};
inherit aterm toolbuslib errorsupport;
buildInputs = [aterm toolbuslib errorsupport];
}

View file

@ -0,0 +1,12 @@
{stdenv, fetchurl, aterm, toolbuslib, ptsupport, errorsupport}:
stdenv.mkDerivation {
name = "sdf-support-2.1.1";
builder = ./builder.sh;
src = fetchurl {
url = http://www.cwi.nl/projects/MetaEnv/sdf-support/sdf-support-2.1.1.tar.gz;
md5 = "28b2c044ee711d6c5f22772b7dfafb76";
};
inherit stdenv aterm ptsupport toolbuslib errorsupport;
buildInputs = [stdenv aterm ptsupport toolbuslib errorsupport];
}

View file

@ -0,0 +1,40 @@
{stdenv, fetchurl, getopt, aterm}:
rec {
errorsupport = (import ../error-support/error-support-0.1.1.nix) {
inherit fetchurl stdenv aterm toolbuslib;
};
toolbuslib = (import ../toolbuslib/toolbuslib-0.6.nix) {
inherit fetchurl stdenv aterm;
};
ptsupport = (import ../pt-support/pt-support-1.2.nix) {
inherit fetchurl stdenv aterm toolbuslib errorsupport;
};
asfsupport = (import ../asf-support/asf-support-1.4.nix) {
inherit fetchurl stdenv aterm ptsupport errorsupport;
};
sdfsupport = (import ../sdf-support/sdf-support-2.1.1.nix) {
inherit fetchurl stdenv aterm toolbuslib ptsupport errorsupport;
};
sglr = (import ../sglr/sglr-3.12.nix) {
inherit fetchurl stdenv aterm toolbuslib ptsupport errorsupport;
};
ascsupport = (import ../asc-support/asc-support-2.0.nix) {
inherit fetchurl stdenv aterm toolbuslib ptsupport asfsupport errorsupport sglr;
};
pgen = (import ../pgen/pgen-2.2.nix) {
inherit fetchurl stdenv getopt aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport errorsupport sglr;
};
asflibrary = (import ../asf-library/asf-library-1.1.nix) {
inherit fetchurl stdenv;
};
}

View file

@ -0,0 +1,12 @@
{stdenv, fetchurl, aterm, toolbuslib, ptsupport, errorsupport}:
stdenv.mkDerivation {
name = "sglr-3.12";
builder = ./builder.sh;
src = fetchurl {
url = http://www.cwi.nl/projects/MetaEnv/sglr/sglr-3.12.tar.gz;
md5 = "053753e419adfc337c4776412e3787ab";
};
inherit stdenv aterm ptsupport toolbuslib errorsupport;
buildInputs = [stdenv aterm ptsupport toolbuslib errorsupport];
}

View file

@ -258,7 +258,7 @@ rec {
strategoxtdailydist = (import ../development/compilers/strategoxt/dailydist.nix) {
inherit fetchurl stdenv aterm;
sdf = sdf_21;
sdf = sdf_22;
};
tiger = (import ../development/compilers/tiger) {
@ -324,6 +324,10 @@ rec {
inherit fetchurl stdenv;
};
sdf_22 = (import ../development/tools/parsing/sdf2/bundle-2.2.nix) {
inherit fetchurl stdenv getopt aterm;
};
sdf_21 = (import ../development/tools/parsing/sdf2/bundle-2.1.nix) {
inherit fetchurl stdenv getopt aterm;
};