Bem, encontrei a solução para o meu problema. Se você está usando o Ubuntu 14.04 e quer instalar o libccd-dev, você deve adicionar o seguinte PPA:
sudo add-apt-repository ppa:libccd-debs/ppa
e faça:
sudo apt-get update
sudo apt-get install libccd-dev
como explicado aqui:
link .
Minha principal motivação para instalar o libccd-dv foi porque eu queria instalar o OMPL.