#!/bin/sh -e
PETSC4PY_VERSION=__PETSC4PY_VERSION__
PETSC4PY_VERSION_NUMBER=$( echo ${PETSC4PY_VERSION} | sed "s/\.//g" )
# Make alternatives links
if [ "$1" = "configure" ]; then
# alternative petsc4py version, real or complex
update-alternatives --install /usr/lib/python3/dist-packages/petsc4py petsc4py /usr/lib/python3/dist-packages/petsc4py_real ${PETSC4PY_VERSION_NUMBER}77 \
--slave /usr/lib/python3/dist-packages/petsc4py-${PETSC4PY_VERSION}.egg-info petsc4py.egg-info /usr/lib/python3/dist-packages/petsc4py_real-${PETSC4PY_VERSION}.egg-info
fi
#DEBHELPER#
|