diff options
Diffstat (limited to 'pkgs/development/libraries')
| -rwxr-xr-x | pkgs/development/libraries/aterm/builder.sh | 3 | ||||
| -rw-r--r-- | pkgs/development/libraries/aterm/default.nix | 2 |
2 files changed, 1 insertions, 4 deletions
diff --git a/pkgs/development/libraries/aterm/builder.sh b/pkgs/development/libraries/aterm/builder.sh deleted file mode 100755 index 77432d7ff5b64..0000000000000 --- a/pkgs/development/libraries/aterm/builder.sh +++ /dev/null @@ -1,3 +0,0 @@ -. $stdenv/setup -configureFlags="--with-gcc" -genericBuild diff --git a/pkgs/development/libraries/aterm/default.nix b/pkgs/development/libraries/aterm/default.nix index bac496ecebcab..b096dd4af20d2 100644 --- a/pkgs/development/libraries/aterm/default.nix +++ b/pkgs/development/libraries/aterm/default.nix @@ -2,7 +2,7 @@ stdenv.mkDerivation { name = "aterm-2.0.5"; - builder = ./builder.sh; + configureFlags = "--with-gcc"; src = fetchurl { url = http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.0.5.tar.gz; md5 = "68aefb0c10b2ab876b8d3c0b2d0cdb1b"; |