utwente-fmt / ltsmin

The LTSmin model checking toolset
http://ltsmin.utwente.nl
BSD 3-Clause "New" or "Revised" License
51 stars 30 forks source link

Update deprecated use of 'MPI_Errhandler_set' #195

Closed SSoelvsten closed 2 years ago

SSoelvsten commented 2 years ago

In _hrempi.c the error handler for MPI was still using the old, deprecated and now removed function MPI_Errhandler_set rather than the new MPI_Comm_set_errhandler. On Ubuntu 20.04 with dependencies installed with the default version of apt this breaks compilation.

See also: https://www.open-mpi.org/faq/?category=mpi-removed#mpi-1-mpi-errhandler-set