Segmentation fault Gecode 6.2.0 when running examples

Question

I am getting a segmentation fault when I attempt to run examples/<some example> after my installation of Gecode. I configured before make with

./configure -with-gmp-include=/usr/include/x86_64-linux-gnu/ -with-gmp-lib=/usr/lib/x86_64-linux-gnu/ -with-mpfr-include=/usr/include/ -with-mpfr-lib=/usr/lib/x86_64-linux-gnu/

and after an installation of qt5-default. My platform is Ubuntu 20.04. make and make install seemed to be fine (no errors) but when I try to run an example (any example in Gecode's examples folder) I get, if using money example:

$ ./examples/money
SEND+MORE=MONEY
Segmentation fault (core dumped)

Any ideas?

Answer 1

A restart after installation solved this for me.