Change the CONFIG_ECMA_NUMBER_TYPE default value to CONFIG_ECMA_NUMBER_FLOAT64.

JerryScript-DCO-1.0-Signed-off-by: Robert Sipka rsipka.uszeged@partner.samsung.com

Author: robertsipka

jerry-core/CMakeLists.txt

@@ -143,13 +143,12 @@ 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")
-  set(DEFINES_JERRY ${DEFINES_JERRY} CONFIG_ECMA_COMPACT_PROFILE)
+if(FEATURE_PROFILE STREQUAL "compact")
+  set(DEFINES_JERRY
+  ${DEFINES_JERRY}
+  CONFIG_ECMA_COMPACT_PROFILE
+  CONFIG_ECMA_NUMBER_TYPE=CONFIG_ECMA_NUMBER_FLOAT32)
 
 # Minimal compact profile
 elseif(FEATURE_PROFILE STREQUAL "minimal")
@@ -170,7 +169,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()
 

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)