diff options
author | Daiderd Jordan <daiderd@gmail.com> | 2016-11-21 20:34:42 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-21 20:34:42 +0100 |
commit | a76076e7d6eddfc92ffea299a7c9abafa5627fe7 (patch) | |
tree | 5386799f5955818e73ab951dc72e42d3220bf75d /pkgs/development | |
parent | 171b8277e3db0469a836e49193e110cb40b58b25 (diff) | |
parent | fd0f247658c123faa9fd90b882420ab17e703019 (diff) | |
download | nixpkgs-a76076e7d6eddfc92ffea299a7c9abafa5627fe7.tar nixpkgs-a76076e7d6eddfc92ffea299a7c9abafa5627fe7.tar.gz nixpkgs-a76076e7d6eddfc92ffea299a7c9abafa5627fe7.tar.bz2 nixpkgs-a76076e7d6eddfc92ffea299a7c9abafa5627fe7.tar.lz nixpkgs-a76076e7d6eddfc92ffea299a7c9abafa5627fe7.tar.xz nixpkgs-a76076e7d6eddfc92ffea299a7c9abafa5627fe7.tar.zst nixpkgs-a76076e7d6eddfc92ffea299a7c9abafa5627fe7.zip |
Merge pull request #20611 from mdaiter/erlang17EnableDirtySchedulers
erlang17: enable dirty schedulers
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/interpreters/erlang/R17.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/interpreters/erlang/R17.nix b/pkgs/development/interpreters/erlang/R17.nix index 56b4626a212..57323a587f8 100644 --- a/pkgs/development/interpreters/erlang/R17.nix +++ b/pkgs/development/interpreters/erlang/R17.nix @@ -6,6 +6,7 @@ , javacSupport ? false, openjdk ? null , enableHipe ? true , enableDebugInfo ? false +, enableDirtySchedulers ? false }: assert wxSupport -> (if stdenv.isDarwin @@ -46,6 +47,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" |