True, Bruno. libcgal-dev depends on libgmp-dev [1]. So, if you install libcgal-dev, libgmp-dev will be installed automatically. So I do not see any reasons to install libgmp-dev explicitly if we do not use it directly in the code.
[1] http://packages.debian.org/sid/libcgal-dev Anton 2013/10/29 Bruno Chareyre <[email protected]>: > gmp lib was a dependency of cgal some time ago, and it probably still is. > The link may be implicit so you don't see the problem. Did you try to > uninstall the lib from your system and start yade? _______________________________________________ Mailing list: https://launchpad.net/~yade-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~yade-dev More help : https://help.launchpad.net/ListHelp
