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 #351

Closed CyanoKobalamyne closed 3 months ago

CyanoKobalamyne commented 4 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.

(This should be merged after #350.)