opam install z3 が "clang: error: unsupported option '-fopenmp'" で落ちる

## 解決策

ocamlc の -cc オプションで clang の代わりに gcc を指定させる.
バッドノウハウだが, ocamlc と ocamlfind を wrap する.

コマンドを理解してから使ってください

cc=`which gcc`

dir="$(dirname $(which ocamlc))"

if [ ! -e $dir/ocamlc_ -a -e $dir/ocamlc ]; then
  mv "$dir/ocamlc" "$dir/ocamlc_"
fi

if [ -e $dir/ocamlc_ ]; then
  echo "#\!/bin/sh
\`dirname \$0\`/ocamlc_ \"\$@\" -cc \"$cc\"
" > "$dir/ocamlc"
  chmod 755 "$dir/ocamlc"
fi
cc=`which gcc`

dir="$(dirname $(which ocamlfind))"

if [ ! -e $dir/ocamlfind_ -a -e $dir/ocamlfind ]; then
  mv "$dir/ocamlfind" "$dir/ocamlfind_"
fi

if [ -e $dir/ocamlfind_ ]; then
  echo "#\!/bin/sh

if [ \"\$1\" = \"ocamlc\" ]; then
  \`dirname \$0\`/ocamlfind_ \"\$@\" -cc \"$cc\"
else
  \`dirname \$0\`/ocamlfind_ \"\$@\"
fi" > "$dir/ocamlfind"
fi