Fixing CI builds of version 1.117#192

Draft

rptb1 wants to merge 10 commits into

version/1.117from

branch/2023-03-08/version-1.117-ci

Commits on Mar 8, 2023

Merging branch/2023-01-11/github-ci for GitHub pull request 107 <https://github.com/Ravenbrook/mps/pull/107>.
rptb1
committed
Merge branch 'branch/2020-08-23/macos-build'

gareth-rees
authored and
rptb1
committed
Remove -Wno-extended-offsetof flag, no longer needed and not compatible with all the versions of Clang that we need to support.

gareth-rees
authored and
rptb1
committed
Swap .gitignore and .p4ignore.

gareth-rees
authored and
rptb1
committed
Merge pull request #52 from Ravenbrook/branch/2021-01-10/implicit-conversion
rptb1
committed
Avoid compilation error from Clang 13.1.

gareth-rees
authored and
rptb1
committed
Merging branch/2023-01-06/gcc-11.3.0-warnings for GitHub pull request 92 <https://github.com/Ravenbrook/mps/pull/92>.
rptb1
committed
Update Xcode project for Xcode 10.0.

gareth-rees
authored and
rptb1
committed

Commits on Mar 12, 2023