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