Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Build the Memory Management Reference from the MPS tree #187

Draft
wants to merge 15 commits into
base: master
Choose a base branch
from
Draft

Build the Memory Management Reference from the MPS tree #187

wants to merge 15 commits into from

Commits on Mar 3, 2023

  1. Branching make-mmref.py from mmref project to MPS so that we can vali… 

    …date Memory Management Reference builds from there.

Copied from Perforce
 Change: 199111
    @rptb1
    rptb1 committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    492fc85 View commit details
    Browse the repository at this point in the history

  2. Incorporating the Memory Management Reference build target from //inf… 

    …o.ravenbrook.com/project/mmref/master
    @rptb1
    rptb1 committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    fd7dee6 View commit details
    Browse the repository at this point in the history

  3. Add post-processing to build the Memory Management Reference.

    @rptb1
    rptb1 committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    4146715 View commit details
    Browse the repository at this point in the history

  4. Correcting YAML syntax of post_build script.

    @rptb1
    rptb1 committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    9fbc622 View commit details
    Browse the repository at this point in the history

  5. Another attempt to correct the post_build script.

    @rptb1
    rptb1 committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    2a64259 View commit details
    Browse the repository at this point in the history

  6. Yet another attempt to fix the post_build script, using a literal sca… 

    …lar.
    @rptb1
    rptb1 committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    7fdbbd3 View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2023

  1. Trying to overcome mysterious shell errors on Read the Docs that I ca… 

    …n't reproduce locally.
    @rptb1
    rptb1 committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    82f0d18 View commit details
    Browse the repository at this point in the history

  2. Another attempt to overcome weird shell errors.

    @rptb1
    rptb1 committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    b3a28a6 View commit details
    Browse the repository at this point in the history

  3. One more try.

    @rptb1
    rptb1 committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    044e790 View commit details
    Browse the repository at this point in the history

  4. Testing Read the Docs post_build shell

    @rptb1
    rptb1 committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    4a07b84 View commit details
    Browse the repository at this point in the history

  5. Testing the Read the Docs shell.

    @rptb1
    rptb1 committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    1106c9c View commit details
    Browse the repository at this point in the history

  6. Debugging the Read the Docs shell.

    @rptb1
    rptb1 committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    751f19c View commit details
    Browse the repository at this point in the history

  7. Is it quoting?

    @rptb1
    rptb1 committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    c41ce2b View commit details
    Browse the repository at this point in the history

  8. Try literal copy of Read the Docs example.

    @rptb1
    rptb1 committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    b08bcf3 View commit details
    Browse the repository at this point in the history

  9. Try overring the entire build.

    @rptb1
    rptb1 committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    6133148 View commit details
    Browse the repository at this point in the history