Merge pull request #18453 from chris-martin/atermjava

atermjava: remove
This commit is contained in:
Joachim F 2016-09-10 16:16:19 +02:00 committed by GitHub
commit 67061dd466
2 changed files with 0 additions and 18 deletions

View File

@ -1,14 +0,0 @@
{stdenv, fetchurl, jdk, sharedobjects, jjtraveler}:
stdenv.mkDerivation {
name = "aterm-java-1.6";
src = fetchurl {
url = http://www.cwi.nl/projects/MetaEnv/aterm-java/aterm-java-1.6.tar.gz;
md5 = "abf475dae2f5efca865fcdff871feb5e";
};
buildInputs = [stdenv jdk sharedobjects jjtraveler];
meta = {
platforms = stdenv.lib.platforms.unix;
};
}

View File

@ -9966,10 +9966,6 @@ in
### DEVELOPMENT / LIBRARIES / JAVA
atermjava = callPackage ../development/libraries/java/aterm {
stdenv = overrideInStdenv stdenv [gnumake380];
};
commonsBcel = callPackage ../development/libraries/java/commons/bcel { };
commonsBsf = callPackage ../development/libraries/java/commons/bsf { };