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.