* Remove a bunch of unused Nix expressions.

svn path=/nixpkgs/trunk/; revision=6716
This commit is contained in:
Eelco Dolstra
2006-10-12 15:43:01 +00:00
parent 85454a47da
commit ef9b025dbe
70 changed files with 65 additions and 726 deletions
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib, ptsupport, asfsupport}:
stdenv.mkDerivation {
name = "asc-support-1.8";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/asc-support-1.8.tar.gz;
md5 = "e85a790c6004dfb974d79fc9699f69f4";
};
inherit stdenv aterm ptsupport toolbuslib asfsupport;
buildInputs = [stdenv aterm ptsupport toolbuslib asfsupport];
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib, ptsupport, asfsupport, errorsupport, sglr}:
stdenv.mkDerivation {
name = "asc-support-1.9";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/asc-support-1.9.tar.gz;
md5 = "0c395efec4d3b582af016ab03306ed0a";
};
inherit stdenv aterm ptsupport toolbuslib asfsupport errorsupport sglr;
buildInputs = [stdenv aterm ptsupport toolbuslib asfsupport errorsupport sglr];
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib, ptsupport, asfsupport, errorsupport, sglr}:
stdenv.mkDerivation {
name = "asc-support-2.0";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/asc-support-2.0.tar.gz;
md5 = "34368ca79e524157bf6e89281371cb5a";
};
inherit stdenv aterm ptsupport toolbuslib asfsupport errorsupport sglr;
buildInputs = [stdenv aterm ptsupport toolbuslib asfsupport errorsupport sglr];
}
@@ -1,3 +0,0 @@
source $stdenv/setup
configureFlags="--with-aterm=$aterm --with-toolbuslib=$toolbuslib --with-pt-support=$ptsupport --with-asf-support=$asfsupport"
genericBuild
@@ -1,10 +0,0 @@
{stdenv, fetchurl}:
stdenv.mkDerivation {
name = "asf-library-1.0";
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/asf-library-1.0.tar.gz;
md5 = "e531f78941e2d2dab1b87a56522e9fb5";
};
}
@@ -1,10 +0,0 @@
{stdenv, fetchurl}:
stdenv.mkDerivation {
name = "asf-library-1.1";
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/asf-library-1.1.tar.gz;
md5 = "09b2ccbd115434cedb180e5575d0fa98";
};
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, ptsupport}:
stdenv.mkDerivation {
name = "asf-support-1.2";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/asf-support-1.2.tar.gz;
md5 = "f32de4c97e62486b67e0af4408585980";
};
inherit stdenv aterm ptsupport;
buildInputs = [stdenv aterm ptsupport];
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, ptsupport, errorsupport}:
stdenv.mkDerivation {
name = "asf-support-1.3";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/asf-support-1.3.tar.gz;
md5 = "23539387ff9b0423c1c1933a8ff75d27";
};
inherit stdenv aterm ptsupport errorsupport;
buildInputs = [stdenv aterm ptsupport errorsupport];
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, ptsupport, errorsupport}:
stdenv.mkDerivation {
name = "asf-support-1.4";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/asf-support-1.4.tar.gz;
md5 = "520ea7d73094346d3010187f22927870";
};
inherit stdenv aterm ptsupport errorsupport;
buildInputs = [stdenv aterm ptsupport errorsupport];
}
@@ -1,5 +0,0 @@
source $stdenv/setup
configureFlags="--with-aterm=$aterm --with-pt-support=$ptsupport"
genericBuild
@@ -1,3 +0,0 @@
source $stdenv/setup
configureFlags="--with-aterm=$aterm --with-toolbuslib=$toolbuslib"
genericBuild
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib}:
stdenv.mkDerivation {
name = "error-support-0.1.1";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/error-support-0.1.1.tar.gz;
md5 = "ebd0965e29ee22508a189477b1dae12b";
};
inherit aterm toolbuslib;
buildInputs = [aterm toolbuslib];
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib}:
stdenv.mkDerivation {
name = "error-support-0.1";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/error-support-0.1.tar.gz;
md5 = "906389fd8b44bf2847d8281450d5a701";
};
inherit aterm toolbuslib;
buildInputs = [aterm toolbuslib];
}
@@ -1,9 +0,0 @@
source $stdenv/setup
configureFlags="--with-aterm=$aterm \
--with-toolbuslib=$toolbuslib \
--with-pt-support=$ptsupport \
--with-sdf-support=$sdfsupport \
--with-asf-support=$asfsupport \
--with-asc-support=$asfsupport \
--with-sglr=$sglr"
genericBuild
@@ -1,13 +0,0 @@
{stdenv, getopt, fetchurl, aterm, toolbuslib, ptsupport, sdfsupport, asfsupport, ascsupport, sglr}:
stdenv.mkDerivation {
name = "pgen-2.0";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/pgen-2.0.tar.gz;
md5 = "368cd8abeed29591a35660d8cea79975";
};
inherit aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport sglr;
buildInputs = [aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport sglr];
propagatedBuildInputs = [getopt];
}
@@ -1,13 +0,0 @@
{stdenv, getopt, fetchurl, aterm, toolbuslib, ptsupport, sdfsupport, asfsupport, ascsupport, errorsupport, sglr}:
stdenv.mkDerivation {
name = "pgen-2.1";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/pgen-2.1.tar.gz;
md5 = "3fd46ae1ddc891a488f74350d7b477f9";
};
inherit aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport errorsupport sglr;
buildInputs = [aterm toolbuslib ptsupport sdfsupport asfsupport ascsupport errorsupport sglr];
propagatedBuildInputs = [getopt];
}
@@ -1,13 +0,0 @@
{stdenv, getopt, fetchurl, aterm, toolbuslib, ptsupport, sdfsupport, asfsupport, ascsupport, errorsupport, sglr}:
stdenv.mkDerivation {
name = "pgen-2.2";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/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];
}
@@ -1,3 +0,0 @@
source $stdenv/setup
configureFlags="--with-aterm=$aterm --with-toolbuslib=$toolbuslib"
genericBuild
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib}:
stdenv.mkDerivation {
name = "pt-support-1.0";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/pt-support-1.0.tar.gz;
md5 = "cc96dc2bfbaf3f218dfe9a0b8bb4d801";
};
inherit aterm toolbuslib;
buildInputs = [aterm toolbuslib];
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib, errorsupport}:
stdenv.mkDerivation {
name = "pt-support-1.1";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/pt-support-1.1.tar.gz;
md5 = "51bad46427c7cf95d029c33f079581ff";
};
inherit aterm toolbuslib errorsupport;
buildInputs = [aterm toolbuslib errorsupport];
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib, errorsupport}:
stdenv.mkDerivation {
name = "pt-support-1.2";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/pt-support-1.2.tar.gz;
md5 = "2ba2fa388130b11b9b91970ebe20c1c7";
};
inherit aterm toolbuslib errorsupport;
buildInputs = [aterm toolbuslib errorsupport];
}
@@ -1,3 +0,0 @@
source $stdenv/setup
configureFlags="--with-aterm=$aterm --with-toolbuslib=$toolbuslib --with-pt-support=$ptsupport"
genericBuild
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib, ptsupport}:
stdenv.mkDerivation {
name = "sdf-support-2.0";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/sdf-support-2.0.tar.gz;
md5 = "2987b89ed1d73e34e128b895ff44264c";
};
inherit stdenv aterm ptsupport toolbuslib;
buildInputs = [stdenv aterm ptsupport toolbuslib];
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib, ptsupport, errorsupport}:
stdenv.mkDerivation {
name = "sdf-support-2.1.1";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/sdf-support-2.1.1.tar.gz;
md5 = "28b2c044ee711d6c5f22772b7dfafb76";
};
inherit stdenv aterm ptsupport toolbuslib errorsupport;
buildInputs = [stdenv aterm ptsupport toolbuslib errorsupport];
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib, ptsupport, errorsupport}:
stdenv.mkDerivation {
name = "sdf-support-2.1";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/sdf-support-2.1.tar.gz;
md5 = "dbb1d3c51a82dadfaaf5319dba5cc9ef";
};
inherit stdenv aterm ptsupport toolbuslib errorsupport;
buildInputs = [stdenv aterm ptsupport toolbuslib errorsupport];
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, getopt, pkgconfig}:
stdenv.mkDerivation {
name = "sdf2-bundle-2.3.1";
src = fetchurl {
url = ftp://ftp.stratego-language.org/pub/stratego/sdf2/sdf2-bundle-2.3.1/sdf2-bundle-2.3.1.tar.gz;
md5 = "4576b0b5315dccae8b038c53305c6979";
};
buildInputs = [aterm pkgconfig];
propagatedBuildInputs = [getopt];
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, getopt, pkgconfig}:
stdenv.mkDerivation {
name = "sdf2-bundle-2.3.2";
src = fetchurl {
url = ftp://ftp.stratego-language.org/pub/stratego/sdf2/sdf2-bundle-2.3.2/sdf2-bundle-2.3.2.tar.gz;
md5 = "f548251570a903a7d26de50533ff0c9c";
};
buildInputs = [aterm pkgconfig];
propagatedBuildInputs = [getopt];
}
@@ -1,14 +0,0 @@
{stdenv, fetchurl, aterm, getopt}:
stdenv.mkDerivation {
name = "sdf2-bundle-2.3";
builder = ./builder.sh;
src = fetchurl {
url = ftp://ftp.stratego-language.org/pub/stratego/sdf2/sdf2-bundle-2.3/sdf2-bundle-2.3.tar.gz;
md5 = "79e305c2bdb2a5627719c890fb050bfa";
};
buildInputs = [aterm];
propagatedBuildInputs = [getopt];
inherit aterm;
}
@@ -1,3 +0,0 @@
source $stdenv/setup
configureFlags="--with-aterm=$aterm --with-toolbuslib=$toolbuslib --with-pt-support=$ptsupport"
genericBuild
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib, ptsupport}:
stdenv.mkDerivation {
name = "sglr-3.10.2";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/sglr-3.10.2.tar.gz;
md5 = "39aa609be84115d7ddc56a6c74b792b7";
};
inherit stdenv aterm ptsupport toolbuslib;
buildInputs = [stdenv aterm ptsupport toolbuslib];
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib, ptsupport, errorsupport}:
stdenv.mkDerivation {
name = "sglr-3.11";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/sglr-3.11.tar.gz;
md5 = "c60536c7e967e93d1ec2cd9c8ae0a4ae";
};
inherit stdenv aterm ptsupport toolbuslib errorsupport;
buildInputs = [stdenv aterm ptsupport toolbuslib errorsupport];
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib, ptsupport, errorsupport}:
stdenv.mkDerivation {
name = "sglr-3.12";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/sglr-3.12.tar.gz;
md5 = "053753e419adfc337c4776412e3787ab";
};
inherit stdenv aterm ptsupport toolbuslib errorsupport;
buildInputs = [stdenv aterm ptsupport toolbuslib errorsupport];
}
@@ -1,12 +0,0 @@
{stdenv, fetchurl, aterm, toolbuslib, ptsupport, errorsupport}:
stdenv.mkDerivation {
name = "sglr-3.14";
builder = ./builder.sh;
src = fetchurl {
url = http://nix.cs.uu.nl/dist/tarballs/sglr-3.14.tar.gz;
md5 = "c63d2ef0015f5cf2c7cf996d33700dfc";
};
inherit stdenv aterm ptsupport toolbuslib errorsupport;
buildInputs = [stdenv aterm ptsupport toolbuslib errorsupport];
}