search

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
122 stars 34 forks source link

Mac-specific JDK include path #43

Closed koksal closed 9 years ago

koksal commented 9 years ago

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.

colder commented 9 years ago

Awesome! Thanks Ali.