You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
AIX doesn't have endian.h file. With XLC compiler __BYTE_ORDER__ is also not available.
AIX is always big-endian. So probably "defined(_AIX)" is needed in the generic big-endian fallback code in lowstar_endianness.h.
xlc_r -c -I./Modules/expat -DNDEBUG -O -qalias=noansi -qmaxmem=-1 -I./Include/internal -I. -I./Include -o Modules/expat/xmlrole.o ./Modules/expat/xmlrole.c
"./Modules/_hacl/include/krml/lowstar_endianness.h", line 152.4: 1506-205 (S) #error "Please define
__BYTE_ORDER__
!"xlc_r -c -I./Modules/expat -DNDEBUG -O -qalias=noansi -qmaxmem=-1 -I./Include/internal -I. -I./Include -o Modules/expat/xmltok.o ./Modules/expat/xmltok.c
AIX doesn't have endian.h file. With XLC compiler
__BYTE_ORDER__
is also not available.AIX is always big-endian. So probably "defined(_AIX)" is needed in the generic big-endian fallback code in lowstar_endianness.h.
Linked PRs
The text was updated successfully, but these errors were encountered: