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