#!/bin/sh -e DEB_HOST_MULTIARCH=x86_64-linux-gnu SONAME=3.16 PETSC_VERSION=3.16.6 PETSC_ARCH=${DEB_HOST_MULTIARCH} PETSC_COMPLEX_ARCH=${PETSC_ARCH}-complex PETSC_SONAME_VERSION=3.16 PETSC_NAME=petsc${PETSC_SONAME_VERSION} PETSC_DIR_COMPLEX=/usr/lib/petscdir/${PETSC_NAME}/${PETSC_COMPLEX_ARCH} # Remove alternatives links if [ "$1" = "remove" ]; then update-alternatives --remove petsc ${PETSC_DIR_COMPLEX} update-alternatives --remove libpetsc_complex.so /usr/lib/${DEB_HOST_MULTIARCH}/libpetsc_complex.so.${PETSC_VERSION} update-alternatives --remove petsc${SONAME} ${PETSC_DIR_COMPLEX} fi