Faster Implementation of Dialyzer
docker run --rm -v $(pwd):/home/opam/fialyzer yoshihiro503/fialyzer --plt <plt_file> <beam_files>
Option | Description |
---|---|
--plt <plt_file> |
Use the specified plt as the initial plt (optional) |
--debug |
Print debug logs (optional) |
--help |
Display this list of options |
make odoc
)make test
)make pdf
)# If you prefer to use per-package environment, do:
$ opam switch create fialyzer ocaml-base-compiler.4.07.1
$ eval $(opam env)
# Clone repo:
$ git clone git@github.com:dwango/fialyzer.git
$ cd fialyzer
# Install dependencies:
$ opam pin add -y fialyzer .
# Build package:
$ make