Use native solver libs when running unit tests

TeamAmalgam / kodkod

Kodkod relational model finder

Other

3 stars 0 forks source link

Use native solver libs when running unit tests #52

Closed cpkleynhans closed 10 years ago

cpkleynhans commented 10 years ago

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.

mhyee commented 10 years ago

Just a few comments/questions, but other that looks good.

AtulanZaman commented 10 years ago

Looks fine. No big changes.