# HG changeset patch
# User Robert McIntyre <rlm@mit.edu>
# Date 1319708454 25200
# Node ID c54fe2f7703072a7f36076e4564fdd02dd34bf5b
# Parent  37f25cb34196a30ece8e804e8f5fad6c71bc53d3
made build process more robust

diff -r 37f25cb34196 -r c54fe2f77030 CMakeLists.txt
--- a/CMakeLists.txt	Wed Oct 26 10:42:15 2011 -0700
+++ b/CMakeLists.txt	Thu Oct 27 02:40:54 2011 -0700
@@ -417,8 +417,13 @@
 
 # RLM link jni the dumb way for now:
 
-INCLUDE_DIRECTORIES("/opt/jdk/include/")
-INCLUDE_DIRECTORIES("/opt/jdk/include/linux")
+#INCLUDE_DIRECTORIES("/opt/jdk/include/")
+#INCLUDE_DIRECTORIES("/opt/jdk/include/linux")
+find_package (JNI REQUIRED)
+if (JNI_FOUND)
+   include_directories(${JNI_INCLUDE_DIRS})
+endif (JNI_FOUND)
+
 TARGET_LINK_LIBRARIES(${LIBNAME} ${EXTRA_LIBS})
 
 # Add an install target here