Merge pull request #20612 from mdaiter/erlang19EnableDirtySchedulers

erlang19: enable dirty schedulers
This commit is contained in:
Daiderd Jordan 2016-11-21 20:34:30 +01:00 committed by GitHub
commit 171b8277e3

View File

@ -6,6 +6,7 @@
, javacSupport ? false, openjdk ? null
, enableHipe ? true
, enableDebugInfo ? false
, enableDirtySchedulers ? false
}:
assert wxSupport -> (if stdenv.isDarwin
@ -49,6 +50,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"