Build the Memory Management Reference from the MPS tree - #187

Draft

rptb1 wants to merge 15 commits into

branch/2023-03-03/make-mmref

Commits on Mar 3, 2023

Branching make-mmref.py from mmref project to MPS so that we can validate Memory Management Reference builds from there.
rptb1
committed
492fc85
Incorporating the Memory Management Reference build target from //info.ravenbrook.com/project/mmref/master
rptb1
committed
fd7dee6
Add post-processing to build the Memory Management Reference.
rptb1
committed
4146715
Correcting YAML syntax of post_build script.
rptb1
committed
9fbc622
Another attempt to correct the post_build script.
rptb1
committed
2a64259
Yet another attempt to fix the post_build script, using a literal scalar.
rptb1
committed
7fdbbd3

Commits on Mar 4, 2023

Trying to overcome mysterious shell errors on Read the Docs that I can't reproduce locally.
rptb1
committed
82f0d18
Another attempt to overcome weird shell errors.
rptb1
committed
b3a28a6
One more try.
rptb1
committed
044e790
Testing Read the Docs post_build shell
rptb1
committed
4a07b84
Testing the Read the Docs shell.
rptb1
committed
1106c9c
Debugging the Read the Docs shell.
rptb1
committed
751f19c
Is it quoting?
rptb1
committed
c41ce2b
Try literal copy of Read the Docs example.
rptb1
committed
b08bcf3
Try overring the entire build.
rptb1
committed
6133148