YourWishes/jerryscript
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Nuttx build support.

Browse Source
This commit is contained in:
Ruben Ayrapetyan
2015-03-23 10:34:18 +03:00
parent 5e125187e5
commit c8f78c5d28
14 changed files with 407 additions and 74 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/CMakeLists.txt
+8 -2
View File
@@ -33,6 +33,8 @@ project (Jerry_Plugins CXX ASM)
set(DEFINES_PLUGINS_MCU_STM32F3 __TARGET_MCU __TARGET_MCU_STM32F3)
# stm32f4
set(DEFINES_PLUGINS_MCU_STM32F4 __TARGET_MCU __TARGET_MCU_STM32F4)
# Nuttx
set(DEFINES_PLUGINS_NUTTX __TARGET_NUTTX)
# Include directories
set(INCLUDE_PLUGINS
@@ -58,10 +60,14 @@ project (Jerry_Plugins CXX ASM)
${CMAKE_SOURCE_DIR}/third-party/STM32F4-Discovery_FW_V1.1.0/Libraries/CMSIS/Include
${CMAKE_SOURCE_DIR}/third-party/STM32F4-Discovery_FW_V1.1.0)
# Nuttx
set(INCLUDE_THIRD_PARTY_NUTTX
${EXTERNAL_LIBC_INTERFACE})
# Sources
file(GLOB SOURCE_PLUGINS
lib-device-stm/*.cpp
io/*.cpp)
io/*.cpp
lib-device-stm/*.cpp)
# Third-party
# Platform-specific
plugins/lib-device-stm/actuators.cpp
+8 -8
View File
@@ -20,14 +20,14 @@
#include "actuators.h"
#include "common-io.h"
#ifdef __TARGET_HOST
#if defined (__TARGET_HOST) || defined (__TARGET_NUTTX)
/**
* Host stub for LEDToggle operation
*/
void
led_toggle (uint32_t led_id) /**< index of LED */
{
printf ("led_toggle: %d\n", led_id);
printf ("led_toggle: %lu\n", led_id);
}
/**
@@ -36,7 +36,7 @@ led_toggle (uint32_t led_id) /**< index of LED */
void
led_on (uint32_t led_id) /**< index of LED */
{
printf ("led_on: %d\n", led_id);
printf ("led_on: %lu\n", led_id);
}
/**
@@ -45,7 +45,7 @@ led_on (uint32_t led_id) /**< index of LED */
void
led_off (uint32_t led_id) /**< index of LED */
{
printf ("led_off: %d\n", led_id);
printf ("led_off: %lu\n", led_id);
}
/**
@@ -54,11 +54,11 @@ led_off (uint32_t led_id) /**< index of LED */
void
led_blink_once (uint32_t led_id) /**< index of LED */
{
printf ("led_blink_once: %d\n", led_id);
printf ("led_blink_once: %lu\n", led_id);
}
#else /* !__TARGET_HOST */
#else /* !__TARGET_HOST && !__TARGET_NUTTX */
#ifndef __TARGET_MCU
# error "!__TARGET_HOST && !__TARGET_MCU"
# error "!__TARGET_HOST && && !__TARGET_NUTTX !__TARGET_MCU"
#endif /* !__TARGET_MCU */
#include "mcu-headers.h"
@@ -230,4 +230,4 @@ led_blink_once (uint32_t led_id) /**< index of LED */
led_off (led_id);
} /* led_blink_once */
#endif /* !__TARGET_HOST && __TARGET_MCU */
#endif /* !__TARGET_HOST && !__TARGET_NUTTX && __TARGET_MCU */
plugins/lib-device-stm/common-io.cpp
+4 -4
View File
@@ -54,16 +54,16 @@ analog_write (uint32_t arg1, uint32_t arg2)
(void) arg2;
}
#ifdef __TARGET_HOST
#if defined (__TARGET_HOST) || defined (__TARGET_NUTTX)
void
wait_ms (uint32_t time_ms)
{
printf ("wait_ms: %d\n", time_ms);
printf ("wait_ms: %lu\n", time_ms);
}
#else /* !__TARGET_HOST */
#ifndef __TARGET_MCU
# error "!__TARGET_HOST && !__TARGET_MCU"
# error "!__TARGET_HOST && && !__TARGET_NUTTX !__TARGET_MCU"
#endif /* !__TARGET_MCU */
static __IO uint32_t sys_tick_counter;
@@ -162,4 +162,4 @@ initialize_timer ()
TIM_TimeBaseInit (TIM2, &timerInitStructure);
TIM_Cmd (TIM2, ENABLE);
}
#endif /* !__TARGET_HOST && __TARGET_MCU */
#endif /* !__TARGET_HOST && !__TARGET_NUTTX && __TARGET_MCU */