Skip to content

fix(build): recompile devprof when runt.h changes#14

Merged
pdfinn merged 1 commit into
infernode-os:masterfrom
Ticed:fix/portmkfile-devprof-runt-dep
Apr 21, 2026
Merged

fix(build): recompile devprof when runt.h changes#14
pdfinn merged 1 commit into
infernode-os:masterfrom
Ticed:fix/portmkfile-devprof-runt-dep

Conversation

@Ticed
Copy link
Copy Markdown

@Ticed Ticed commented Apr 16, 2026

devprof.c includes runt.h but the emu/port/portmkfile rules did
not declare devprof.$O: $RUNT. When runt.h regenerates, devprof.$O is not rebuilt, so the emulator can end up
linked against a stale devprof object.

This adds the missing dependency alongside the existing devprog.$O: $RUNT / devsrv.$O: $RUNT entries.

Companion to the downstream fix in NERVsystems#163 — same dependency gap exists here.

@pdfinn
Copy link
Copy Markdown
Member

pdfinn commented Apr 21, 2026

Thanks for this, @Ticed — verified the dependency was indeed missing (devprof.c:6 includes runt.h, and portmkfile:135-138 declares the $RUNT dep for every other runt.h-including source except this one). Clean fix, matches the surrounding style. Cross-checked against NERVsystems#163 — this PR is the complete applicable subset for this repo (the QUICKSTART.md stale-path fix from that PR doesn't apply here, our copy is already correct on line 123). Approved CI.

@pdfinn pdfinn merged commit c2e99dc into infernode-os:master Apr 21, 2026
13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants