[foreign-jextract] Segmentation fault from generated code

Fri Dec 18 15:03:37 UTC 2020

On 18/12/2020 15:00, Filip Krakowski wrote:
> As you said UCX does indeed install signal handlers for error 
> handling, which I found out (thanks to you) can be turned off 
> (https://github.com/JuliaParallel/MPI.jl/issues/337#issuecomment-578377458).

Whohooo!

I quickly grepped the source code and the configure output but I didn't 
find an option to do that. Glad you found a way.

Maurizio