Ответ @ steeldriver не работал как есть для меня, поэтому я адаптировал его следующим образом. Я только изменил шаги 3 и 6 и добавил часть тестирования.

Я использую совершенно новый Ubuntu 14.04 32 бит. (Обратите внимание, что использование 64-битного усложняет ситуацию.)

Компиляция

wget http://www.tau.ac.il/~stoledo/taucs/2.2/taucs_full.tgz

mkdir taucs_full

tar xvf taucs_full.tgz -C taucs_full

cd taucs_full

sed -i 's/-Werror//g' config/linux.mk

Вы должны получить двоичный исполняемый файл в ./bin/linux и lib в ./lib/linux.

Тестирование

Для тестирования lib я использовал файл test_taucs.cpp с этого сайта:

wget http://www.tau.ac.il/~stoledo/taucs/2.2/taucs_full.tgz

sudo apt-get install g++

mkdir taucs_full

tar xvf taucs_full.tgz -C taucs_full

cd taucs_full

./a.out

Установите g ++