Singular/Sources — pull request #344 by mmklee (2013-07-22 16:45:40+00:00)
Title: Flint sw

Somehow 'make check' didn't work under Ubuntu as libtool didn't figure out the correct dependencies. I think this is due to this:
http://stackoverflow.com/questions/11802727/libtool-doesnt-provide-library-dependencies-to-link
s.a. https://bugs.launchpad.net/ubuntu/+source/libtool/+bug/1002565

viewType.html?buildTypeId=bt7&branch_Singular=flint_sw&tab=buildTypeStatusDiv