#!/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