From 15ba287b9e58b3c161b20fa00dc84f1fe904bfec Mon Sep 17 00:00:00 2001 From: Robert Sipka Date: Thu, 28 Jul 2016 15:00:11 +0200 Subject: [PATCH] Change the CONFIG_ECMA_NUMBER_TYPE default value to FLOAT64 to ensure compliance with ECMAScript 5.1 which requires numbers to be represented in double precision floating-point format. JerryScript-DCO-1.0-Signed-off-by: Robert Sipka rsipka.uszeged@partner.samsung.com --- jerry-core/CMakeLists.txt | 8 ++------ jerry-core/config.h | 2 +- 2 files changed, 3 insertions(+), 7 deletions(-) diff --git a/jerry-core/CMakeLists.txt b/jerry-core/CMakeLists.txt index 26ef39e2fc..40d51a92ac 100644 --- a/jerry-core/CMakeLists.txt +++ b/jerry-core/CMakeLists.txt @@ -143,12 +143,8 @@ else() endif() # ES5.1 profiles -# Full profile -if(FEATURE_PROFILE STREQUAL "full") - set(DEFINES_JERRY ${DEFINES_JERRY} CONFIG_ECMA_NUMBER_TYPE=CONFIG_ECMA_NUMBER_FLOAT64) - # Compact profile -elseif(FEATURE_PROFILE STREQUAL "compact") +if(FEATURE_PROFILE STREQUAL "compact") set(DEFINES_JERRY ${DEFINES_JERRY} CONFIG_ECMA_COMPACT_PROFILE) # Minimal compact profile @@ -170,7 +166,7 @@ elseif(FEATURE_PROFILE STREQUAL "minimal") CONFIG_ECMA_COMPACT_PROFILE_DISABLE_MATH_BUILTIN CONFIG_ECMA_COMPACT_PROFILE_DISABLE_JSON_BUILTIN) -else() +elseif(NOT FEATURE_PROFILE STREQUAL "full") message(FATAL_ERROR "FEATURE_PROFILE='${FEATURE_PROFILE}' doesn't supported") endif() diff --git a/jerry-core/config.h b/jerry-core/config.h index 2c861eaf6f..023b8a0862 100644 --- a/jerry-core/config.h +++ b/jerry-core/config.h @@ -97,7 +97,7 @@ #define CONFIG_ECMA_NUMBER_FLOAT64 (2u) /* 64-bit float */ #ifndef CONFIG_ECMA_NUMBER_TYPE -# define CONFIG_ECMA_NUMBER_TYPE CONFIG_ECMA_NUMBER_FLOAT32 +# define CONFIG_ECMA_NUMBER_TYPE CONFIG_ECMA_NUMBER_FLOAT64 #else /* CONFIG_ECMA_NUMBER_TYPE */ # if (CONFIG_ECMA_NUMBER_TYPE != CONFIG_ECMA_NUMBER_FLOAT32 \ && CONFIG_ECMA_NUMBER_TYPE != CONFIG_ECMA_NUMBER_FLOAT64)