Do not create empty .so files at load time

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Apache License 2.0

122 stars 34 forks source link

Do not create empty .so files at load time #16

Closed colder closed 11 years ago

colder commented 11 years ago

Fixes a bug that prevents scalaz3 from being loaded 2+ times.

psuter commented 11 years ago

Thanks!

(For future readers, the problem was triggered when ScalaZ3 was trying to extract a native lib from the jar, but couldn't find it. It would create an empty file, which would then trigger a "File too short" error during the next run.)