AliveToolkit / alive2

Automatic verification of LLVM optimizations
MIT License
721 stars 93 forks source link

Remove X86 setting from README.md #998

Closed rikhuijzer closed 6 months ago

rikhuijzer commented 6 months ago

I just built LLVM and alive-tv locally on a M2 chip (aarch64) after removing -DLLVM_TARGETS_TO_BUILD=X86 and confirmed that alive-tv works. So I guess the flag can be removed? If I'm not mistaken, LLVM will automatically infer these targets on X86 systems anyway.