From 3ea317784f91ab10f9f3b4b32748812329b15e36 Mon Sep 17 00:00:00 2001 From: Martin Bravenboer Date: Wed, 17 Aug 2005 14:29:04 +0000 Subject: [PATCH] Upgraded aterm to aterm 2.4. Removed the dynamic variant. svn path=/nixpkgs/trunk/; revision=3611 --- .../libraries/aterm/aterm-2.3.1.nix | 13 ++++++++++++ .../development/libraries/aterm/aterm-2.4.nix | 9 ++++++++ pkgs/development/libraries/aterm/default.nix | 14 +------------ pkgs/development/libraries/aterm/dynamic.nix | 9 -------- pkgs/system/all-packages-generic.nix | 21 +++++++++++++++---- pkgs/system/populate-cache.nix | 1 - 6 files changed, 40 insertions(+), 27 deletions(-) create mode 100644 pkgs/development/libraries/aterm/aterm-2.3.1.nix create mode 100644 pkgs/development/libraries/aterm/aterm-2.4.nix delete mode 100644 pkgs/development/libraries/aterm/dynamic.nix diff --git a/pkgs/development/libraries/aterm/aterm-2.3.1.nix b/pkgs/development/libraries/aterm/aterm-2.3.1.nix new file mode 100644 index 00000000000..61aa07530ee --- /dev/null +++ b/pkgs/development/libraries/aterm/aterm-2.3.1.nix @@ -0,0 +1,13 @@ +{stdenv, fetchurl}: + +stdenv.mkDerivation { + name = "aterm-2.3.1"; + configureFlags = "--with-gcc"; + + src = fetchurl { + url = http://catamaran.labs.cs.uu.nl/dist/tarballs/aterm-2.3.1.tar.gz; + md5 = "5a2d70acc45a9d301e0dba12fcaf77e7"; + }; + + patches = [ ./aterm-alias-fix.patch ]; +} diff --git a/pkgs/development/libraries/aterm/aterm-2.4.nix b/pkgs/development/libraries/aterm/aterm-2.4.nix new file mode 100644 index 00000000000..403525ec7b4 --- /dev/null +++ b/pkgs/development/libraries/aterm/aterm-2.4.nix @@ -0,0 +1,9 @@ +{stdenv, fetchurl}: + +stdenv.mkDerivation { + name = "aterm-2.4"; + src = fetchurl { + url = http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.4.tar.gz; + md5 = "baf12d71372cfaa0d39145234e262fef"; + }; +} diff --git a/pkgs/development/libraries/aterm/default.nix b/pkgs/development/libraries/aterm/default.nix index 61aa07530ee..73f1747796d 100644 --- a/pkgs/development/libraries/aterm/default.nix +++ b/pkgs/development/libraries/aterm/default.nix @@ -1,13 +1 @@ -{stdenv, fetchurl}: - -stdenv.mkDerivation { - name = "aterm-2.3.1"; - configureFlags = "--with-gcc"; - - src = fetchurl { - url = http://catamaran.labs.cs.uu.nl/dist/tarballs/aterm-2.3.1.tar.gz; - md5 = "5a2d70acc45a9d301e0dba12fcaf77e7"; - }; - - patches = [ ./aterm-alias-fix.patch ]; -} +import ./aterm-2.4.nix diff --git a/pkgs/development/libraries/aterm/dynamic.nix b/pkgs/development/libraries/aterm/dynamic.nix deleted file mode 100644 index e36c906b337..00000000000 --- a/pkgs/development/libraries/aterm/dynamic.nix +++ /dev/null @@ -1,9 +0,0 @@ -{stdenv, fetchurl}: - -stdenv.mkDerivation { - name = "aterm-dynamic-2.3.2"; - src = fetchurl { - url = http://catamaran.labs.cs.uu.nl/dist/tarballs/aterm-2.3.2pre11665.tar.gz; - md5 = "2eb01c044d765ded55f10e05756fec98"; - }; -} diff --git a/pkgs/system/all-packages-generic.nix b/pkgs/system/all-packages-generic.nix index 8990997f8af..e3b14099726 100644 --- a/pkgs/system/all-packages-generic.nix +++ b/pkgs/system/all-packages-generic.nix @@ -400,6 +400,23 @@ rec { inherit stdenv; }; +/* + gcj = (import ../build-support/gcc-wrapper/default2.nix) { + name = "gcj"; + nativeTools = false; + nativeGlibc = false; + gcc = (import ../development/compilers/gcc-4.0) { + inherit fetchurl stdenv noSysDirs; + langJava = true; + langCC = false; + langC = false; + langF77 = false; + }; + inherit (stdenv.gcc) binutils glibc; + inherit stdenv; + }; +*/ + opencxx = (import ../development/compilers/opencxx) { inherit fetchurl stdenv libtool; gcc = gcc33; @@ -601,10 +618,6 @@ 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; }; diff --git a/pkgs/system/populate-cache.nix b/pkgs/system/populate-cache.nix index 4d748a159bd..129b6149c89 100644 --- a/pkgs/system/populate-cache.nix +++ b/pkgs/system/populate-cache.nix @@ -39,7 +39,6 @@ let { flexnew gccWrapped aterm - atermDynamic # atermjava # jjtraveler