This file is indexed.

postinst is in libopenmpi-dev 1.10.2-8ubuntu1.

This file is a maintainer script. It is executed when installing (*inst) or removing (*rm) the package.

The actual contents of the file can be viewed below.

 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
30
#!/bin/sh

set -e

update-alternatives \
	--install /usr/include/mpi mpi /usr/lib/openmpi/include 50 \
	--slave /usr/lib/libmpi.so libmpi.so /usr/lib/openmpi/lib/libmpi.so \
	--slave /usr/lib/libmpi++.so libmpi++.so /usr/lib/openmpi/lib/libmpi_cxx.so \
	--slave /usr/bin/mpicc mpicc /usr/bin/mpicc.openmpi \
	--slave /usr/bin/mpic++ mpic++ /usr/bin/mpic++.openmpi \
	--slave /usr/bin/mpicxx mpicxx /usr/bin/mpic++.openmpi \
	--slave /usr/bin/mpiCC mpiCC /usr/bin/mpic++.openmpi \
	--slave /usr/bin/mpif77 mpif77 /usr/bin/mpif77.openmpi \
	--slave /usr/bin/mpif90 mpif90 /usr/bin/mpif90.openmpi \
	--slave /usr/bin/mpifort mpifort /usr/bin/mpifort.openmpi \
	--slave /usr/share/man/man1/mpicc.1.gz mpicc.1.gz /usr/share/man/man1/mpicc.openmpi.1.gz \
	--slave /usr/share/man/man1/mpic++.1.gz mpic++.1.gz /usr/share/man/man1/mpic++.openmpi.1.gz \
	--slave /usr/share/man/man1/mpicxx.1.gz mpicxx.1.gz /usr/share/man/man1/mpicxx.openmpi.1.gz \
	--slave /usr/share/man/man1/mpiCC.1.gz mpiCC.1.gz /usr/share/man/man1/mpiCC.openmpi.1.gz \
	--slave /usr/share/man/man1/mpif77.1.gz mpif77.1.gz /usr/share/man/man1/mpif77.openmpi.1.gz \
	--slave /usr/share/man/man1/mpif90.1.gz mpif90.1.gz /usr/share/man/man1/mpif90.openmpi.1.gz \
	--slave /usr/share/man/man1/mpifort.1.gz mpifort.1.gz /usr/share/man/man1/mpifort.openmpi.1.gz \
	--slave /usr/lib/pkgconfig/mpi.pc mpi.pc /usr/lib/pkgconfig/ompi.pc \
	--slave /usr/lib/pkgconfig/mpi-fort.pc mpi-fort.pc /usr/lib/pkgconfig/ompi-fort.pc \
	--slave /usr/lib/pkgconfig/mpi-c.pc mpi-c.pc /usr/lib/pkgconfig/ompi-c.pc \
	--slave /usr/lib/pkgconfig/mpi-cxx.pc mpi-cxx.pc /usr/lib/pkgconfig/ompi-cxx.pc



exit 0