Fix OS X dynamic library naming issues.

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Apache License 2.0

122 stars 34 forks source link

Closed koksal closed 10 years ago

koksal commented 10 years ago

Here is a version with fixed library extraction on OS X. We had to address naming issues with both libz3.dylib and the generated libscalaz3.dylib.

colder commented 10 years ago

Rebased and merged. Thanks!