cedretaber / fialyzer

[WIP] Faster Implementation of Dialyzer

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

[WIP] fialyzer

CircleCI

Faster Implementation of Dialyzer

Prerequisite

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

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 git@github.com:dwango/fialyzer.git
$ cd fialyzer

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

# Build package:
$ make

About

[WIP] Faster Implementation of Dialyzer

License:Apache License 2.0


Languages

Language:OCaml 86.5%Language:Standard ML 12.0%Language:Makefile 0.8%Language:Shell 0.6%Language:Erlang 0.1%