Bug#1082308: bmake,ros-mk: aliasing conflict on /usr/share/mk

[Helmut Grohne]

Package: bmake,ros-mk
Severity: important

bmake installs /usr/share/mk as a symbolic link pointing to
bmake/mk-bmake. ros-mk installs /usr/share/mk as a directory and it also
installs files into it. Consider the following interaction:

# apt install ros-mk
...
# apt install bmake
...
# apt remove ros-mk
...
# ls -lad /usr/share/mk
drwxr-xr-x 2 root root 40 Sep 19 19:32 /usr/share/mk
#

In particular, mk no longer is a symbolic link as expected and bmake
will likely no longer work.

It is not clear which of these packages needs to change. Please figure
out.

Helmut