search

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4
5 stars 1 forks source link

CI: Include architecture in archive names #39

Closed RyanGlScott closed 1 year ago

RyanGlScott commented 1 year ago

For now, each configuration will always be the X64 architecture, but we will also support ARM64 in the not-too-distant future. (See #34.)

RyanGlScott commented 1 year ago

@samcowger: After this patch, the naming convention for M1 Mac-compatible binaries would be macOS-12-ARM64-bin.zip.