Le 24 mars 10 à 13:58, Thibaut Paumard a écrit :
- solution 1: make mpi-default-dev conflict against the non-default
MPI implementations.
[...]
- solution 2: implement mpicc-default et al. links, install them as
alternatives for mpicc et al. with high priority.
[...]
- solution 3: raise the priority of openmpi
[...]
- solution 4: set the right alternative in mpi-default-dev's postinst
[...]
In the end, solution 1 is the most robust, but yields some pain.
[...]
Bug submitted with a patch attached, implementing the "Conflicts:"
approach:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=575259
Best regards, Thibaut.
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]
