Unify static lib repacking to always use script

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Other

114 stars 43 forks source link

Unify static lib repacking to always use script #352

Closed CyanoKobalamyne closed 3 months ago

CyanoKobalamyne commented 3 months ago

Use the repack-static-libs.sh script for repacking all static libs, because it can handle the archive files containing both x86_64 and arm64 code on macOS properly.

CyanoKobalamyne commented 3 months ago

Replacement for #351, where I could not figure out how to change the base branch to main.