Change the CONFIG_ECMA_NUMBER_TYPE default value to CONFIG_ECMA_NUMBER_FLOAT64.

JerryScript-DCO-1.0-Signed-off-by: Robert Sipka [email protected]

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")
@@ -171,7 +170,9 @@ elseif(FEATURE_PROFILE STREQUAL "minimal")
       CONFIG_ECMA_COMPACT_PROFILE_DISABLE_JSON_BUILTIN)
 
 else()
-  message(FATAL_ERROR "FEATURE_PROFILE='${FEATURE_PROFILE}' doesn't supported")
+  if(NOT FEATURE_PROFILE STREQUAL "full")
+    message(FATAL_ERROR "FEATURE_PROFILE='${FEATURE_PROFILE}' doesn't supported")
+  endif()
 endif()
 
 # Jerry heap-section

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)