diff --git a/pkgs/development/compilers/ecl/default.nix b/pkgs/development/compilers/ecl/default.nix index cfaf8184c69..60293fa2ec1 100644 --- a/pkgs/development/compilers/ecl/default.nix +++ b/pkgs/development/compilers/ecl/default.nix @@ -3,6 +3,7 @@ , gmp, mpfr, libffi, makeWrapper , noUnicode ? false , gcc +, threadSupport ? true }: let s = # Generated upstream information @@ -30,7 +31,7 @@ stdenv.mkDerivation { }; configureFlags = [ - "--enable-threads" + (if threadSupport then "--enable-threads" else "--disable-threads") "--with-gmp-prefix=${gmp.dev}" "--with-libffi-prefix=${libffi.dev}" ]