Fixed bug (found by Andy Mueller): added GMP library invocations to swig Makefile
authorJoris Mooij <j.mooij@cs.ru.nl>
Wed, 16 May 2012 13:50:19 +0000 (15:50 +0200)
committerJoris Mooij <j.mooij@cs.ru.nl>
Wed, 16 May 2012 13:50:19 +0000 (15:50 +0200)
commit6df66a8ce7eb6f669bae933ab6ec35bbba56182f
treeabe2c44c9fed1328dd62e9c38f4ba83e82e80024
parent8625f30d7f2744a90ca48f6f0c827aa31d01b6bb
Fixed bug (found by Andy Mueller): added GMP library invocations to swig Makefile
ChangeLog
Makefile.LINUX
swig/Makefile