Tidied up the build of CL-CUDD#3

Open

rpgoldman wants to merge 6 commits intoNeronus:masterfrom

rpgoldman:master

Commits on Oct 7, 2013

Fix spelling error
rpgoldman
committed

Commits on Jun 11, 2014

Merge branch 'master' of https://github.com/Neronus/CL-CUDD
rpgoldman
committed

Commits on Jun 13, 2014

Tidied up the build.
rpgoldman
committed

Commits on Jan 2, 2018

cffi:*foreign-library-directories* is not a list of strings any more
binghe
committed
cffi:*foreign-library-directories* is not a list of strings any more
binghe
committed

Commits on Jan 3, 2018

Merge pull request #1 from binghe/master
rpgoldman
authored