#!/bin/sh -e DEB_HOST_MULTIARCH=x86_64-linux-gnu PETSC_VERSION=3.16.6 PETSC_ARCH=${DEB_HOST_MULTIARCH} PETSC_DEBUG_ARCH=${PETSC_ARCH}-real-debug PETSC_SONAME_VERSION=3.16 PETSC_NAME=petsc${PETSC_SONAME_VERSION} # Remove alternatives links if [ "$1" = "remove" ]; then update-alternatives --remove petsc /usr/lib/petscdir/${PETSC_NAME}/${PETSC_DEBUG_ARCH} fi