From 2ee01657a677141ece9567a65388e30c770c3555 Mon Sep 17 00:00:00 2001
From: Huang Qi <huangqi3@xiaomi.com>
Date: Tue, 9 Aug 2022 19:35:16 +0800
Subject: [PATCH] Add semaphore support for NuttX (#1367)

---
 product-mini/platforms/nuttx/wamr.mk | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/product-mini/platforms/nuttx/wamr.mk b/product-mini/platforms/nuttx/wamr.mk
index 92f89a93b..4ea3a6be7 100644
--- a/product-mini/platforms/nuttx/wamr.mk
+++ b/product-mini/platforms/nuttx/wamr.mk
@@ -222,6 +222,12 @@ else
 CFLAGS += -DWASM_ENABLE_LIB_PTHREAD=0
 endif
 
+ifeq ($(CONFIG_INTERPRETERS_WAMR_LIB_PTHREAD_SEMAPHORE),y)
+CFLAGS += -DWASM_ENABLE_LIB_PTHREAD_SEMAPHORE=1
+else
+CFLAGS += -DWASM_ENABLE_LIB_PTHREAD_SEMAPHORE=0
+endif
+
 ifeq ($(CONFIG_INTERPRETERS_WAMR_DISABLE_HW_BOUND_CHECK),y)
 CFLAGS += -DWASM_DISABLE_HW_BOUND_CHECK=1
 else