#!/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}-complex-debug PETSC_SONAME_VERSION=3.16 PETSC64_NAME=petsc64-${PETSC_SONAME_VERSION} # Remove alternatives links if [ "$1" = "remove" ]; then update-alternatives --remove petsc64 /usr/lib/petscdir/${PETSC64_NAME}/${PETSC_DEBUG_ARCH} fi