#!/bin/bash

set -e

if [ "$1" != "upgrade" ]; then
  if [ "openmpi" != "serial" ]; then
    update-alternatives \
	--remove h5pcc /usr/bin/h5pcc.openmpi
  fi
  update-alternatives \
	--remove hdf5.pc /usr/lib/x86_64-linux-gnu/pkgconfig/hdf5_openmpi.pc
  update-alternatives \
	--remove hdf5.cmake /usr/lib/x86_64-linux-gnu/cmake/hdf5_openmpi
fi



exit 0