drafear https://blog.hatena.ne.jp/drafear/ drafear’s diary https://drafear.hateblo.jp/ Mac OCaml 解決策 ocamlc, ocamlopt の -cc オプションで clang の代わりに gcc を指定させる. バッドノウハウだが, ocamlc, ocamlopt, ocamlfind を wrap する.前提 gcc にパスが通っている ocmalfind がinstallされている コマンドを理解してから使ってください ocamlcのwrap用sh cc=`which gcc` dir="$(dirname $(which ocamlc))" if [ ! -e $dir/ocamlc_ -a -e $dir/ocamlc ]; then mv "$dir/ocamlc" "$di… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fdrafear.hateblo.jp%2Fentry%2F2019%2F04%2F05%2F015037" title=" opam install z3 が &quot;clang: error: unsupported option &#39;-fopenmp&#39;&quot; で落ちる - drafear’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2019-04-05 01:50:37 rich https://drafear.hateblo.jp/entry/2019/04/05/015037 1.0 100%