diff --git a/pkgs/development/compilers/strategoxt/0.18.nix b/pkgs/development/compilers/strategoxt/0.18.nix index c467b635423..85d373afa0d 100644 --- a/pkgs/development/compilers/strategoxt/0.18.nix +++ b/pkgs/development/compilers/strategoxt/0.18.nix @@ -4,20 +4,6 @@ rec { inherit aterm; - atermStatic = stdenv.mkDerivation ( rec { - name = "${aterm.name}-static"; - configureFlags = "--enable-shared=no --enable-static=yes"; - - inherit (aterm) src meta patches; - } // ( if stdenv.system == "i686-cygwin" then { inherit (sdf) CFLAGS; } else {} ) ) ; - - sdfStatic = stdenv.mkDerivation ( rec { - name = "${sdf.name}-static"; - configureFlags = "--enable-shared=no --enable-static=yes"; - - inherit (sdf) src buildInputs preConfigure meta; - } // ( if stdenv.system == "i686-cygwin" then { inherit (sdf) CFLAGS; } else {} ) ) ; - sdf = stdenv.mkDerivation ( rec { name = "sdf2-bundle-2.4";