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

　

  1. brew cask install xquartz
    • これを入れないと pkg-config でコケる (X が入ってないというエラーはでない)
    • 普通に XQuartz.dmg を入れた状態だとダメだった
  2. brew install pkg-config gtk+ gtksourceview libgnomecanvas libgnomecanvasmm
    • ここらへんは try and error でやってたので何が必要で何が必要でないかはわからない
  3. opam install frama-c