Skip to content

dwango/fialyzer

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

fialyzer

CircleCI

Faster Implementation of Dialyzer

How to Use

Using Docker

docker run --rm -v $(pwd):/home/opam/fialyzer yoshihiro503/fialyzer --plt <plt_file> <beam_files>

Commandline Options

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

How to Build (for developers)

Prerequisite

  • ocaml-4.07.0 or higher
  • opam-2.0.0 or higher
  • GMP
  • Perl
  • odoc (optional, for make odoc)
  • Erlang/OTP (optional, for make test)
  • Docker (optional, for make pdf)

Build

# 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 [email protected]:dwango/fialyzer.git
$ cd fialyzer

# Install dependencies:
$ opam pin add -y fialyzer .

# Build package:
$ make