Bug#931000: libompl-dev: missing dependency on libode-dev

[Jochen Sprickerhof]

Package: libompl-dev
Version: 1.4.2+ds1-3
Severity: serious
Justification: Policy 3.5

Hi Leo,

the current version in unstable adds libode.so to the ompl.pc. This
results in an error if libode-dev is not installed (it is only
suggested):

http://ompl.kavrakilab.org/RigidBodyPlanningWithIntegrationAndControls_8cpp_source.html
$ g++ $(pkg-config --cflags --libs ompl) -o RigidBodyPlanningWithIntegrationAndControls RigidBodyPlanningWithIntegrationAndControls.cpp
g++: error: /usr/lib/x86_64-linux-gnu/libode.so: No such file or directory

Installing libode-dev fixes this.

Filling this as a bug as I'm not sure if this intended and you expressed
you are not happy with the current version in

https://lists.debian.org/debian-release/2019/06/msg00526.html

Cheers Jochen

-- System Information:
Debian Release: 10.0
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.19.0-5-amd64 (SMP w/4 CPU cores)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8), LANGUAGE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages libompl-dev depends on:
ii  libboost-dev   1.67.0.1
ii  libeigen3-dev  3.3.7-1
ii  libompl15      1.4.2+ds1-3

libompl-dev recommends no packages.

Versions of packages libompl-dev suggests:
ii  libode-dev  2:0.16-3
ii  pkg-config  0.29-6

-- no debconf information