File: extract_MPI_dependency

package info (click to toggle)
petsc 3.14.5%2Bdfsg1-4
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 266,472 kB
  • sloc: ansic: 680,898; python: 33,303; cpp: 16,324; makefile: 14,022; f90: 13,731; javascript: 10,713; fortran: 9,581; sh: 1,373; xml: 619; objc: 445; csh: 192; pascal: 148; java: 13
file content (39 lines) | stat: -rwxr-xr-x 1,723 bytes parent folder | download | duplicates (3)
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
31
32
33
34
35
36
37
38
39
#!/bin/bash

# PETSc depends on the specific MPI minor version (not release/patch version)
# that it was built against, whether OpenMPI or MPICH, see include/petscsys.h.
#
# This script returns a string identifying the required dependency,
# intended to be inserted as a Dependency for the version-specific PETSc -dev packages.

source <(sed "s/=/=\"/; s/$/\"/"  /usr/share/mpi-default-dev/debian_defaults)

if [ "x$ARCH_DEFAULT_MPI_IMPL" != "xopenmpi" ]; then
    # "not OpenMPI", assume MPICH
    MPI_DEV_PACKAGE=libmpich-dev
else
    # OpenMPI
    MPI_DEV_PACKAGE=libopenmpi-dev
fi

MPI_DEB_VERSION=$(dpkg -s $MPI_DEV_PACKAGE | awk '/Version:/ {print $2}')

# extract the current MPI version Major.Minor.Release (drop epoch and debian package version)
MPI_VERSION=$(echo $MPI_DEB_VERSION | sed "s/^.[^:]*://; s/-[^-]*$//")

# "Major.Minor" version drops the Release (Patch) version
MPI_MAJOR_MINOR_VERSION=$(echo $MPI_VERSION | awk 'BEGIN { FS="."}; {print $1"."$2 }')
# "Major" version is upstream version up to the '.'
MPI_MAJOR_VERSION=$(echo $MPI_MAJOR_MINOR_VERSION | sed "s/.[^.]*$//")
# "Minor" version is upstream version after the '.'
MPI_MINOR_VERSION=$(echo $MPI_MAJOR_MINOR_VERSION | sed "s/^.*\.//")
# clean any alpha/beta markers (anything in the minor version following ~)
MPI_CLEAN_MINOR_VERSION=$(echo $MPI_MINOR_VERSION | sed "s/~.*$//")

# Hopefully the release version is just a number. Use it to form the "next" version.
MPI_NEXT_VERSION=${MPI_MAJOR_VERSION}.$(( $MPI_CLEAN_MINOR_VERSION + 1 ))

# MPI_DEV_DEPENDS is a string like "libopenmpi-dev (>= 2.1), libopenmpi-dev (<< 2.2)"
MPI_DEV_DEPENDS="$MPI_DEV_PACKAGE (>= $MPI_VERSION), $MPI_DEV_PACKAGE (<< $MPI_NEXT_VERSION)"

echo $MPI_DEV_DEPENDS