make JNI headers available in a standard location, for inline-java. see #1388

This commit is contained in:
Alp Mestanogullari 2016-04-28 17:42:48 +02:00
parent c10e4aac12
commit 9676e85665

View File

@ -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