cheng/libsodium
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Force LITTLE_ENDIAN detection on x86 and x86_64

Browse Source 
This is a sad workaround for CompCert 2.6
This commit is contained in:
Frank Denis 2016-03-24 09:24:35 +01:00
parent 7bb9b7fc70
commit f4cc8aeb48
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
configure.ac
View File

@ -404,6 +404,10 @@ AC_CHECK_HEADERS([sys/mman.h])
dnl Checks for typedefs, structures, and compiler characteristics. dnl Checks for typedefs, structures, and compiler characteristics.
AC_C_INLINE AC_C_INLINE
AS_CASE([$host_cpu],
[i*86 | x86_64],
[ac_cv_c_bigendian=no]
)
AC_C_BIGENDIAN( AC_C_BIGENDIAN(
AC_DEFINE(NATIVE_BIG_ENDIAN, 1, [machine is bigendian]), AC_DEFINE(NATIVE_BIG_ENDIAN, 1, [machine is bigendian]),
AC_DEFINE(NATIVE_LITTLE_ENDIAN, 1, [machine is littleendian]), AC_DEFINE(NATIVE_LITTLE_ENDIAN, 1, [machine is littleendian]),