|
|
@@ -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
|