HewlettPackard / mds

Managed Data Structures
GNU General Public License v3.0
27 stars 5 forks source link

Make jni headers user-provided #35

Open EvanKirshenbaum opened 7 years ago

EvanKirshenbaum commented 7 years ago

[imported from HPE issue 295]

The project.mk file looks for the JNI headers relative to $(JAVA_HOME). Currently, this defaults to /opt/jdk1.8.0_51 (although it's overridable), which is clearly wrong. (It also assumes that the headers are in an include subdir, which is probably also wrong.)