diff options
author | Daiderd Jordan <daiderd@gmail.com> | 2016-11-21 20:36:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-21 20:36:16 +0100 |
commit | dcb37919f798eda9b3e038abd32c482b917611bf (patch) | |
tree | c537e162d60260fe048bf9a0322f0000cabd199f /pkgs/development | |
parent | a76076e7d6eddfc92ffea299a7c9abafa5627fe7 (diff) | |
parent | bbb32994094021162495253fb9cb027536a2c991 (diff) | |
download | nixlib-dcb37919f798eda9b3e038abd32c482b917611bf.tar nixlib-dcb37919f798eda9b3e038abd32c482b917611bf.tar.gz nixlib-dcb37919f798eda9b3e038abd32c482b917611bf.tar.bz2 nixlib-dcb37919f798eda9b3e038abd32c482b917611bf.tar.lz nixlib-dcb37919f798eda9b3e038abd32c482b917611bf.tar.xz nixlib-dcb37919f798eda9b3e038abd32c482b917611bf.tar.zst nixlib-dcb37919f798eda9b3e038abd32c482b917611bf.zip |
Merge pull request #20610 from mdaiter/erlang18EnableDirtySchedulers
erlang: added dirty scheduler support
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/interpreters/erlang/R18.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/interpreters/erlang/R18.nix b/pkgs/development/interpreters/erlang/R18.nix index 10e5313ce8bb..f9b6edc3fa4b 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" |