From 9676e856654e46facb1d585a5cbd161665ff9d87 Mon Sep 17 00:00:00 2001 From: Alp Mestanogullari Date: Thu, 28 Apr 2016 17:42:48 +0200 Subject: [PATCH] make JNI headers available in a standard location, for inline-java. see #1388 --- debian-bootstrap.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh index 8cf7a572..97b15721 100755 --- a/debian-bootstrap.sh +++ b/debian-bootstrap.sh @@ -128,3 +128,4 @@ update-alternatives --install "/usr/bin/ld" "ld" "/usr/bin/ld.bfd" 10 # See: https://github.com/fpco/stackage/issues/1388 ln -n /usr/lib/jvm/java-7-openjdk-amd64/jre/lib/amd64/server/libjvm.so /usr/lib +ln -n /usr/lib/jvm/java-7-openjdk-amd64/include/jni*.h /usr/include