epfl-lara/ScalaZ3 — pull request #43 by koksal (2014-11-26 19:12:33+00:00)
Title: Mac-specific JDK include path

Fixed a compilation error on OS X 10.10 with JDK 1.7.0_65.

gcc could not find jni_md.h, which is in a OS X-specific folder now.