B-Lang-org / bsc

Bluespec Compiler (BSC)
Other
954 stars 146 forks source link

GitHub CI: Add macos-14 #690

Closed quark17 closed 7 months ago

quark17 commented 7 months ago

GitHub now offers macos-14 runners, with M1 (arm64) hardware. This PR adds macos-14 to the matrices for build/test of BSC and build of the docs, and it bumps to macos-14 (from macos-12) the job for testing with the latest GHC.

It also adds to the testsuite a capability for querying the MACHTYPE, which is used to support different divide-by-zero on the arm VM than the x86_64 VMs. (See issue #688.)