diff options
author | Thomas Gerbet <thomas@gerbet.me> | 2021-04-04 13:05:19 +0200 |
---|---|---|
committer | Thomas Gerbet <thomas@gerbet.me> | 2021-04-04 13:27:51 +0200 |
commit | 71879498177f48478218574806d9b0ab08c3ad14 (patch) | |
tree | 9975893ff625ab248a836f45ec513d8405561f64 /pkgs/tools/misc/hdf5 | |
parent | dc6a8abb69441364f2c31cd8397337eab2a6bcfb (diff) |
hdf5: make possible to use the v1.10 API
Diffstat (limited to 'pkgs/tools/misc/hdf5')
-rw-r--r-- | pkgs/tools/misc/hdf5/default.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/tools/misc/hdf5/default.nix b/pkgs/tools/misc/hdf5/default.nix index 712fae7f71f75..37ebbe630cadb 100644 --- a/pkgs/tools/misc/hdf5/default.nix +++ b/pkgs/tools/misc/hdf5/default.nix @@ -10,6 +10,7 @@ , enableShared ? !stdenv.hostPlatform.isStatic , javaSupport ? false , jdk +, usev110Api ? false }: # cpp and mpi options are mutually exclusive @@ -50,7 +51,8 @@ stdenv.mkDerivation rec { ++ optional (szip != null) "--with-szlib=${szip}" ++ optionals mpiSupport ["--enable-parallel" "CC=${mpi}/bin/mpicc"] ++ optional enableShared "--enable-shared" - ++ optional javaSupport "--enable-java"; + ++ optional javaSupport "--enable-java" + ++ optional usev110Api "--with-default-api-version=v110"; patches = [ ./bin-mv.patch |