2014-11-07から1日間の記事一覧

Frama-C のインストールメモ

環境: OSX Yosemite パッケージマネージャ: homebrew, homebrew-cask, opam コンパイラ: ocaml4.01.0+clang-fix brew cask install xquartz これを入れないと pkg-config でコケる (X が入ってないというエラーはでない) 普通に XQuartz.dmg を入れた状態だ…