#!/bin/sh -e DEB_HOST_MULTIARCH=x86_64-linux-gnu PETSC_VERSION=3.16.6 PETSC_VERSION_NUMBER=$( echo ${PETSC_VERSION} | sed "s/\.//g" ) SONAME=3.16 # Make alternatives links if [ "$1" = "configure" ]; then # alternative petsc version (for given soname), real or complex update-alternatives --install /usr/lib/${DEB_HOST_MULTIARCH}/libpetsc64.so.${SONAME} libpetsc64.so.${SONAME} /usr/lib/${DEB_HOST_MULTIARCH}/libpetsc64_complex.so.${PETSC_VERSION} ${PETSC_VERSION_NUMBER}73 fi