pika_hal support for STM32HAL

package/PikaStdDevice/pika_hal.h

@@ -9,6 +9,8 @@
  * the API of pika_hal is similar to the posix file API.
  */
 
+#define PIKA_HAL
+
 typedef enum {
 #define PIKA_HAL_TABLE_DEV_TYPE
 #include "pika_hal_table.h"

package/PikaStdDevice/pika_hal_SOFT_TIM.c

@@ -1,7 +1,6 @@
 #include "pika_hal.h"
 #include <stdint.h>
 #include "PikaObj.h"
-#include <pthread.h>
 
 typedef struct platform_data_SOFT_TIM {
     pika_platform_timer_t thread_timer;

port/linux/package/pikascript/pikascript-lib/PikaStdDevice/pika_hal.h

@@ -9,6 +9,8 @@
  * the API of pika_hal is similar to the posix file API.
  */
 
+#define PIKA_HAL
+
 typedef enum {
 #define PIKA_HAL_TABLE_DEV_TYPE
 #include "pika_hal_table.h"

port/linux/package/pikascript/pikascript-lib/PikaStdDevice/pika_hal_SOFT_TIM.c

@@ -1,7 +1,6 @@
 #include "pika_hal.h"
 #include <stdint.h>
 #include "PikaObj.h"
-#include <pthread.h>
 
 typedef struct platform_data_SOFT_TIM {
     pika_platform_timer_t thread_timer;