Skip to content

Instantly share code, notes, and snippets.

@yoshihiro503
Last active October 26, 2017 07:48
Show Gist options
  • Save yoshihiro503/3409feffcdbdb85076272f11779c5d56 to your computer and use it in GitHub Desktop.
Save yoshihiro503/3409feffcdbdb85076272f11779c5d56 to your computer and use it in GitHub Desktop.

opamで fialyzer 環境の導入

$ opam switch fialyzer --alias-of 4.04.2
$ eval `opam config env`

obeamのインストール

some-dir/$ git clone [email protected]:yutopp/obeam.git
some-dir/$ cd obeam
some-dir/obeam/$ opam pin add .
...
=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=  🐫 
∗  installed conf-which.1
∗  installed conf-m4.1
∗  installed conf-time.1
∗  installed result.1.2
∗  installed ocamlfind.1.7.3
∗  installed base-bytes.base
∗  installed camlzip.1.07
∗  installed ocamlbuild.0.11.0
∗  installed ppx_tools.5.0
∗  installed jbuilder.1.0+beta14
∗  installed cppo.1.6.0
∗  installed cppo_ocamlbuild.1.6.0
∗  installed ounit.2.0.6
∗  installed ppx_derivers.1.0
∗  installed ocaml-migrate-parsetree.1.0.6
∗  installed ppx_tools_versioned.5.0.1
∗  installed ppx_deriving.4.2
∗  installed bisect_ppx.1.3.1
∗  installed omake.0.10.2
∗  installed camlp4.4.04+1
∗  installed bitstring.2.1.1
∗  installed ppx_bitstring.2.0.2
∗  installed obeam.0.0.2
Done.

fialyzerのcloneとビルド

 $ opam install ppx_sexp_conv
=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=  🐫 
∗  installed base-num.base
∗  installed num.0
∗  installed ppx_traverse_builtins.v0.9.0
∗  installed ocaml-compiler-libs.v0.9.0
∗  installed sexplib.v0.9.2
∗  installed ppx_ast.v0.9.1
∗  installed base.v0.9.3
∗  installed stdio.v0.9.0
∗  installed ppx_core.v0.9.0
∗  installed ppx_optcomp.v0.9.0
∗  installed ppx_driver.v0.9.1
∗  installed ppx_metaquot.v0.9.0
∗  installed ppx_type_conv.v0.9.0
∗  installed ppx_sexp_conv.v0.9.0
Done.
some-dir/$ git clone [email protected]:fialyzer/fialyzer.git
some-dir/$ cd fialyzer/
some-dir/fialyzer/$ make

実行

some-dir/fialyzer/$ _build/default/bin/main.exe obeam/test/test01.beam
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment