bench(WIP): integrate the size extension into test for getting feed back

Signed-off-by: willieyz <willie.zhao@chelpis.com>

Author: willieyz

examples/basic/Makefile

@@ -11,6 +11,8 @@ ifeq (,$(findstring $(CROSS_PREFIX),$(CC)))
 CC  := $(CROSS_PREFIX)$(CC)
 endif
 
+SIZE := $(CROSS_PREFIX)size
+
 # Part A:
 #
 # mlkem-native source and header files
@@ -80,7 +82,7 @@ $(BINARIES_FULL): $(ALL_SOURCE)
 	mkdir -p $(BUILD_DIR)
 	$(CC) $(CFLAGS) $^ -o $@
 
-all: build
+all: build size
 
 build: $(BINARIES_FULL)
 
@@ -89,5 +91,11 @@ run: $(BINARIES_FULL)
 	$(EXEC_WRAPPER) ./$(BINARY_NAME_FULL_768)
 	$(EXEC_WRAPPER) ./$(BINARY_NAME_FULL_1024)
 
+size: build
+	@echo "=== Size info for binaries ==="
+	$(SIZE) $(BINARY_NAME_FULL_512)
+	$(SIZE) $(BINARY_NAME_FULL_768)
+	$(SIZE) $(BINARY_NAME_FULL_1024)
+
 clean:
 	rm -rf $(BUILD_DIR)