I just tried downgrading back to GMP 6.1.2 and rebuilding everything, and I still get the same segfaults.
Edit: I fixed it. Apparently I already GMP 6.2.0 installed system-wide from apt, and yafu was using those libraries instead of the ones it was built with. If I set LD_LIBRARY_PATH to the path of the GMP 6.1.2 libraries, it works.
Last fiddled with by 2147483647 on 2021-01-14 at 23:02
|