[FYI] MacOS Catalinaでのビルドについて

[ritalin]

TL;DR

CatalinaのC++標準ライブラリのサポート状況はクズいので、LLVMのネイティブビルドは諦めましょう。

詳細

サポートページにて、MacOSでのLLVMにビルドについて書かれていることも含めて、当方のCatalinaではそれでもうまくいきませんでした。

cmakeのオプションをいろいろ（もう覚えていない）いじっても、最終的にホスト環境のC++標準ライブラリに含まれる（はずである）quick_exitが無いと言われてビルドがこけました。

なんやかんや調べて、

runtimeverification/k#1580

に行きつき、unsupportedとの模様。