Greetings! I should have some time to look at this this week. If you happen to develop a patch, that would of course speed things up considerably.
Thanks so much for your report! Andreas Beckmann <a...@debian.org> writes: > Package: lam4-dev > Version: 7.1.4-3.1 > Severity: serious > Tags: sid buster > > Installing lam4-dev after libopenmpi-dev results in messed up > alternatives: > > # apt-get install libopenmpi-dev > # ls -la /etc/alternatives/mpi /usr/include/mpi /usr/bin/mpicc > ls: cannot access '/usr/include/mpi': No such file or directory > lrwxrwxrwx 1 root root 22 Mar 13 07:32 /etc/alternatives/mpi -> > /usr/bin/mpicc.openmpi > lrwxrwxrwx 1 root root 21 Mar 13 07:32 /usr/bin/mpicc -> /etc/alternatives/mpi > > # apt-get install lam4-dev > # ls -la /etc/alternatives/mpi /usr/include/mpi /usr/bin/mpicc > ls: cannot access '/usr/bin/mpicc': No such file or directory > lrwxrwxrwx 1 root root 22 Mar 13 07:44 /etc/alternatives/mpi -> > /usr/bin/mpicc.openmpi > lrwxrwxrwx 1 root root 21 Mar 13 07:44 /usr/include/mpi -> > /etc/alternatives/mpi > > I'll try to clean this up. > > > Andreas > > > -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah
