From 4dd3870f449c52ce26bf7e994d2e6db49edbb2b9 Mon Sep 17 00:00:00 2001 From: Santiago Zanella-Beguelin Date: Fri, 10 May 2024 16:54:14 +0100 Subject: [PATCH] Restore default_config.h --- config/default_config.h | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 config/default_config.h diff --git a/config/default_config.h b/config/default_config.h new file mode 100644 index 00000000..fcec01ee --- /dev/null +++ b/config/default_config.h @@ -0,0 +1,33 @@ +// DO NOT EDIT THIS HEADER FILE. IT IS AUTO GENERATED BY CMAKE. +// Global HACL configuration file. +// The variables in here get populated by CMake + +// HACL version information +#define HACL_VERSION_MAJOR 0 +#define HACL_VERSION_MINOR 1 +#define HACL_VERSION_PATCH 0 +#define HACL_VERSION_TWEAK alpha.1 + +// Configure platform and features +#define TARGET_ARCHITECTURE_ID_UNKNOWN 0 +#define TARGET_ARCHITECTURE_ID_X86 1 +#define TARGET_ARCHITECTURE_ID_X64 2 +#define TARGET_ARCHITECTURE_ID_ARM32 3 +#define TARGET_ARCHITECTURE_ID_ARM64 4 +#define TARGET_ARCHITECTURE_ID_SYSTEMZ 5 +#define TARGET_ARCHITECTURE_ID_POWERPC64 6 + +#define TARGET_ARCHITECTURE 1 + +#define HACL_CAN_COMPILE_VEC128 1 +#define HACL_CAN_COMPILE_VEC256 1 +#define HACL_CAN_COMPILE_UINT128 1 +#define HACL_CAN_COMPILE_VALE 1 +#define LINUX_NO_EXPLICIT_BZERO 1 + +#ifndef HACL_CAN_COMPILE_VEC128 + #define Lib_IntVector_Intrinsics_vec128 void * +#endif +#ifndef HACL_CAN_COMPILE_VEC256 + #define Lib_IntVector_Intrinsics_vec256 void * +#endif