1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#!/bin/sh
set -e
if [ "$1" = "configure" ]; then
if update-alternatives --list mpiexec >/dev/null 2>&1; then
# OK, that case sucks. Apparently, we still have a mpiexec alternative, maybe
# from a different package (like openmpi). In that case, the only thing we
# can do is --remove-all...
update-alternatives --remove-all mpiexec
fi
update-alternatives \
--install /usr/bin/mpicc mpi /usr/bin/mpicc.mpich 40 \
--slave /usr/bin/mpic++ mpic++ /usr/bin/mpicxx.mpich \
--slave /usr/bin/mpicxx mpicxx /usr/bin/mpicxx.mpich \
--slave /usr/bin/mpiCC mpiCC /usr/bin/mpicxx.mpich \
--slave /usr/bin/mpifort mpifort /usr/bin/mpifort.mpich \
--slave /usr/bin/mpif77 mpif77 /usr/bin/mpifort.mpich \
--slave /usr/bin/mpif90 mpif90 /usr/bin/mpifort.mpich \
update-alternatives \
--install /usr/bin/mpirun mpirun /usr/bin/mpirun.mpich 40 \
--slave /usr/bin/mpiexec mpiexec /usr/bin/mpiexec.mpich \
fi
#DEBHELPER#
|
