diff options
| author | eunhhu <[email protected]> | 2026-09-24 17:33:55 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-24 17:33:55 +0100 |
| commit | 4525124c01cc4c4ee335b0a430354a235a6539e0 (patch) | |
| tree | 094372b8d78e05dca5d462aace4affd93450ff21 /prototypes/connections/Makefile | |
| parent | b1ce1927022d374198441afafeb27199fc8a052a (diff) | |
| download | pure-4525124c01cc4c4ee335b0a430354a235a6539e0.tar.gz pure-4525124c01cc4c4ee335b0a430354a235a6539e0.zip | |
Admit aligned OS pages in selected paged store
Diffstat (limited to 'prototypes/connections/Makefile')
| -rw-r--r-- | prototypes/connections/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/prototypes/connections/Makefile b/prototypes/connections/Makefile index 502d359..4d4e5a2 100644 --- a/prototypes/connections/Makefile +++ b/prototypes/connections/Makefile @@ -3,7 +3,7 @@ CFLAGS ?= -O2 -g CFLAGS += -std=c17 -Wall -Wextra -Wpedantic -Werror BUILD ?= build -.PHONY: all core async-core editor fixed-editor fixed-server fixed-tui source-tui compiler mirror window server async-server document-peer document-server check check-policy check-policy-peer check-portable check-portable-tui check-portable-peer check-native-checkpoint check-mirror check-core check-async check-async-server check-async-service-scale check-profile check-fixed-profile check-fixed-server check-service-scale check-tui-profile check-source-tui-profile check-tui check-source-tui check-release check-micro-memory check-hybrid check-flat-export check-copy-range check-peer-profile check-document-server-profile check-window-profile check-document-peer check-document-server FORCE +.PHONY: all core async-core editor fixed-editor fixed-server fixed-tui source-tui compiler mirror window server async-server document-peer document-server check check-policy check-policy-peer check-portable check-portable-tui check-paged-portable check-portable-peer check-native-checkpoint check-mirror check-core check-async check-async-server check-async-service-scale check-profile check-fixed-profile check-fixed-server check-service-scale check-tui-profile check-source-tui-profile check-tui check-source-tui check-release check-micro-memory check-hybrid check-flat-export check-copy-range check-peer-profile check-document-server-profile check-window-profile check-document-peer check-document-server FORCE CORE = runtime.c STORE ?= store.c FIXED_PROGRAM ?= examples/editor.pure @@ -243,6 +243,12 @@ check-portable-tui: fixed-editor fixed-tui editor source-tui python3 check_tui.py --build $(BUILD) --portable $(if $(PORTABLE_FIXED_TUI_EVIDENCE),--output "$(PORTABLE_FIXED_TUI_EVIDENCE)") python3 check_tui.py --build $(BUILD) --source --portable $(if $(PORTABLE_SOURCE_TUI_EVIDENCE),--output "$(PORTABLE_SOURCE_TUI_EVIDENCE)") +# Exercise the selected logical-page store without Linux-only size/RSS gates. +# The CI runner separately asserts its real OS page size before this target. +check-paged-portable: + $(MAKE) BUILD=build/paged-portable STORE=store-paged.c check-portable check-portable-tui check build/paged-portable/test-paged-store + build/paged-portable/test-paged-store + # Host-native behavior plus the same real document workload on both CLI variants. # RSS is recorded on macOS and Linux; only check-micro-memory enforces the # reviewed Linux AArch64 ceiling. |