drayside/kodkod — pull request #4 by cpkleynhans (2014-01-22 23:40:51+00:00)
Title: CI with libraries

Reviewers: @mhyee @AtulanZaman @joseph2625

Currently our CI tests do not have access to the native solver libraries when they run because LD_LIBRARY_PATH is not set.

This change sets LD_LIBRARY_PATH when we run the JUnit tests so that tests requiring a native solver can be run.