running dpkg -s libcgal-dev returns: Package: libcgal-dev Status: install ok config.log <http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/file/n4026812/config.log> installed Priority: optional Section: libdevel Installed-Size: 26244 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Architecture: amd64 Source: cgal Version: 4.2-5ubuntu1 Depends: libcgal10 (= 4.2-5ubuntu1), libboost-dev, libboost-thread-dev, libboost -system-dev, libboost-program-options-dev, libgmp10-dev, libmpfr-dev, zlib1g-dev I didn't realise config.log played a role for make. It is now attached. It shows a few errors at the beginning but, to me, looked like it happily ran to completion. Am I missing something in there? config.log <http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/file/n4026812/config.log> -- View this message in context: http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/... Sent from the Main discussion list for the graph-tool project mailing list archive at Nabble.com.