1 |
#! /bin/bash |
2 |
|
3 |
if [ -z "${PATH}" ] ; then |
4 |
PATH="/usr/lib64/openmpi/bin"; |
5 |
else |
6 |
PATH="/usr/lib64/openmpi/bin:${PATH}"; |
7 |
fi |
8 |
export PATH |
9 |
MPI_INC_DIR="/usr/include/openmpi-x86_64" |
10 |
export MPI_INC_DIR |
11 |
|
12 |
#-- in practice, only 1 share-libs location is needed |
13 |
# if [ -z "${LD_LIBRARY_PATH}" ] ; then |
14 |
LD_LIBRARY_PATH="/usr/lib64/openmpi/lib" |
15 |
# else |
16 |
# LD_LIBRARY_PATH="/usr/lib64/openmpi/lib:${LD_LIBRARY_PATH}" |
17 |
# fi |
18 |
export LD_LIBRARY_PATH |
19 |
|
20 |
if [ -z "${LIBRARY_PATH}" ] ; then |
21 |
LIBRARY_PATH="/usr/lib64/openmpi/lib" |
22 |
else |
23 |
LIBRARY_PATH="/usr/lib64/openmpi/lib:${LIBRARY_PATH}" |
24 |
fi |
25 |
export LIBRARY_PATH |
26 |
|
27 |
if [ -z "${MANPATH}" ] ; then |
28 |
MANPATH="/usr/share/man/openmpi-x86_64":$(manpath) |
29 |
else |
30 |
MANPATH="/usr/share/man/openmpi-x86_64:${MANPATH}" |
31 |
fi |
32 |
export MANPATH |