From bbb32994094021162495253fb9cb027536a2c991 Mon Sep 17 00:00:00 2001 From: Matthew Daiter Date: Mon, 21 Nov 2016 18:13:49 +0100 Subject: [PATCH] erlang: added dirty scheduler support erlang: formatting --- pkgs/development/interpreters/erlang/R18.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/development/interpreters/erlang/R18.nix b/pkgs/development/interpreters/erlang/R18.nix index 10e5313ce8b..f9b6edc3fa4 100644 --- a/pkgs/development/interpreters/erlang/R18.nix +++ b/pkgs/development/interpreters/erlang/R18.nix @@ -6,6 +6,7 @@ , javacSupport ? false, openjdk ? null , enableHipe ? true , enableDebugInfo ? false +, enableDirtySchedulers ? false }: assert wxSupport -> (if stdenv.isDarwin @@ -64,6 +65,7 @@ stdenv.mkDerivation rec { configureFlags= [ "--with-ssl=${openssl.dev}" ] ++ optional enableHipe "--enable-hipe" + ++ optional enableDirtySchedulers "--enable-dirty-schedulers" ++ optional wxSupport "--enable-wx" ++ optional odbcSupport "--with-odbc=${unixODBC}" ++ optional javacSupport "--with-javac"