Added aterm-dynamic
svn path=/nixpkgs/trunk/; revision=3373
This commit is contained in:
parent
8c62c8966d
commit
c59283c2f6
3 changed files with 14 additions and 0 deletions
9
pkgs/development/libraries/aterm/dynamic.nix
Normal file
9
pkgs/development/libraries/aterm/dynamic.nix
Normal file
|
@ -0,0 +1,9 @@
|
|||
{stdenv, fetchurl}:
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "aterm-dynamic-2.3.2";
|
||||
src = fetchurl {
|
||||
url = http://catamaran.labs.cs.uu.nl/dist/stratego/aterm-2.3.2pre11645/aterm-2.3.2pre11645.tar.gz;
|
||||
md5 = "f2feeeee6498388911d69133bff83926";
|
||||
};
|
||||
}
|
|
@ -566,6 +566,10 @@ rec {
|
|||
inherit fetchurl stdenv;
|
||||
};
|
||||
|
||||
atermdynamic = (import ../development/libraries/aterm/dynamic.nix) {
|
||||
inherit fetchurl stdenv;
|
||||
};
|
||||
|
||||
sdf = (import ../development/tools/parsing/sdf) {
|
||||
inherit fetchurl stdenv aterm getopt;
|
||||
};
|
||||
|
|
|
@ -39,6 +39,7 @@ let {
|
|||
flexnew
|
||||
gccWrapped
|
||||
aterm
|
||||
atermdynamic
|
||||
|
||||
# atermjava
|
||||
# jjtraveler
|
||||
|
|
Loading…
Reference in a new issue