yade-dev team mailing list archive

[Anton Gladky <gladky.anton@xxxxxxxxx>]

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 <bruno.chareyre@xxxxxxxxxxx>:
> 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?