diff options
Diffstat (limited to 'pkgs/development/compilers/graalvm/community-edition.nix')
-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 8669b57dcca..ef35ce9d0c4 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; |