Update riot-stm32f4 target to use jerry-port-default-minimal (#1790)
JerryScript-DCO-1.0-Signed-off-by: Robert Sipka rsipka.uszeged@partner.samsung.com
This commit is contained in:
@@ -32,6 +32,7 @@ libjerry:
|
||||
-DENABLE_LTO=OFF \
|
||||
-DFEATURE_VALGRIND=OFF \
|
||||
-DCMAKE_TOOLCHAIN_FILE=cmake/toolchain_external.cmake \
|
||||
-DJERRY_LIBM=OFF \
|
||||
-DJERRY_LIBC=OFF \
|
||||
-DJERRY_CMDLINE=OFF \
|
||||
-DENABLE_ALL_IN_ONE=OFF \
|
||||
@@ -41,8 +42,10 @@ libjerry:
|
||||
-DEXTERNAL_COMPILE_FLAGS="$(EXT_CFLAGS)" \
|
||||
-DMEM_HEAP_SIZE_KB=$(JERRYHEAP)
|
||||
|
||||
make -C$(BUILD_DIR) jerry-core
|
||||
make -C$(BUILD_DIR) jerry-core jerry-port-default-minimal
|
||||
cp $(BUILD_DIR)/lib/libjerry-core.a $(COPYTARGET)/libjerrycore.a
|
||||
cp $(BUILD_DIR)/lib/libjerry-port-default-minimal.a $(COPYTARGET)/libjerryport-minimal.a
|
||||
|
||||
|
||||
riot-jerry: libjerry
|
||||
make -f ./targets/riot-stm32f4/Makefile
|
||||
@@ -51,6 +54,6 @@ flash: libjerry
|
||||
make -f ./targets/riot-stm32f4/Makefile flash
|
||||
|
||||
clean:
|
||||
rm -rf $(OUTPUT)
|
||||
rm -rf $(COPYTARGET)
|
||||
rm -rf $(BUILD_DIR)
|
||||
make -f ./targets/riot-stm32f4/Makefile clean
|
||||
|
||||
Reference in New Issue
Block a user