TeamAmalgam/kodkod — pull request #52 by cpkleynhans (2014-01-22 23:46:02+00:00)
Title: Use native solver libs when running unit tests

Reviewers: @mhyee @AtulanZaman @joseph2625

Currently when we run our unit tests on Travis, tests that require native solver libraries will not be run because the native solver libs are not on the LD_LIBRARY_PATH.

This change adds the built solver libs to the LD_LIBRARY_PATH so they will be available to unit tests.