diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-07-23 18:49:58 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-23 18:49:58 +0200 |
commit | 3e712c9a24e7ba3e88539d530a809077741b6ead (patch) | |
tree | 85cc938ca404fe2856a1e0bc2a7dca99190c1705 /pkgs/development/compilers/graalvm | |
parent | 5bd0c66364512d1d8b36e49d6c8ad150f8128fc2 (diff) | |
parent | ff3e401d1228ef096209af2d4fb42da0113c2d63 (diff) |
Merge pull request #110567 from taku0/jdk_ln_headers
Diffstat (limited to 'pkgs/development/compilers/graalvm')
-rw-r--r-- | pkgs/development/compilers/graalvm/community-edition.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/development/compilers/graalvm/community-edition.nix b/pkgs/development/compilers/graalvm/community-edition.nix index 8669b57dcca28..ef35ce9d0c424 100644 --- a/pkgs/development/compilers/graalvm/community-edition.nix +++ b/pkgs/development/compilers/graalvm/community-edition.nix @@ -185,7 +185,10 @@ let --replace file:/dev/random file:/dev/./urandom \ --replace NativePRNGBlocking SHA1PRNG ''; - }.${javaVersionPlatform}; + }.${javaVersionPlatform} + '' + # jni.h expects jni_md.h to be in the header search path. + ln -s $out/include/linux/*_md.h $out/include/ + ''; dontStrip = true; |