@@ -7883,7 +7883,7 @@ case "$ac_sys_system" in
7883
7883
fi
7884
7884
;;
7885
7885
esac
7886
- LIBHACL_CFLAGS="\$(CCSHARED) $ {LIBHACL_FLAG_I} ${LIBHACL_FLAG_D}"
7886
+ LIBHACL_CFLAGS="$ {LIBHACL_FLAG_I} ${LIBHACL_FLAG_D} \$(PY_STDMODULE_CFLAGS) \$(CCSHARED) "
7887
7887
AC_SUBST ( [ LIBHACL_CFLAGS] )
7888
7888
LIBHACL_LDFLAGS= # for now, no specific linker flags are needed
7889
7889
AC_SUBST ( [ LIBHACL_LDFLAGS] )
@@ -7892,7 +7892,8 @@ AC_SUBST([LIBHACL_LDFLAGS])
7892
7892
# Android.
7893
7893
# The *mmintrin.h headers are x86-family-specific, so can't be used on WASI.
7894
7894
if test "$ac_sys_system" != "Linux-android" -a "$ac_sys_system" != "WASI" || \
7895
- test -n "$ANDROID_API_LEVEL" -a "$ANDROID_API_LEVEL" -ge 28; then
7895
+ { test -n "$ANDROID_API_LEVEL" && test "$ANDROID_API_LEVEL" -ge 28; }
7896
+ then
7896
7897
dnl This can be extended here to detect e.g. Power8, which HACL* should also support.
7897
7898
AX_CHECK_COMPILE_FLAG ( [ -msse -msse2 -msse3 -msse4.1 -msse4.2] ,[
7898
7899
[ LIBHACL_SIMD128_FLAGS="-msse -msse2 -msse3 -msse4.1 -msse4.2"]
@@ -7924,7 +7925,8 @@ AC_SUBST([LIBHACL_BLAKE2_SIMD128_OBJS])
7924
7925
# (https://developer.android.com/ndk/guides/abis#86-64), this is safe because we do a
7925
7926
# runtime CPUID check.
7926
7927
if test "$ac_sys_system" != "Linux-android" -a "$ac_sys_system" != "WASI" || \
7927
- test -n "$ANDROID_API_LEVEL" -a "$ANDROID_API_LEVEL" -ge 28; then
7928
+ { test -n "$ANDROID_API_LEVEL" && test "$ANDROID_API_LEVEL" -ge 28; }
7929
+ then
7928
7930
AX_CHECK_COMPILE_FLAG ( [ -mavx2] ,[
7929
7931
[ LIBHACL_SIMD256_FLAGS="-mavx2"]
7930
7932
AC_DEFINE ( [ HACL_CAN_COMPILE_SIMD256] , [ 1] , [ HACL* library can compile SIMD256 implementations] )
0 commit comments