Hello,

It seems that older version of gcc requires inclusion of x86intrin.h in order to include _addcarry_u64 function correctly. Could you modify Core/Ops.h file (Just place following code at the begging of the file (line 1-3) and compile again:

#ifdef COMPILER_GCC
#include <x86intrin.h>
#endif

Please let me know if it works for you.

Source:
- https://stackoverflow.com/questions/36292944/undefined-refer ence-to-addcarry-u64

Klugier