Dialyzer PLTs for Elixir on Travis CI
The persistent lookup tables in this repository were generated for various
versions of Elixir and OTP releases. The file format is:
elixir-#{elixir_version}_#{otp_version}.
Sample .travis.yml
From my blog post:
language: elixir
otp_release:
- 17.4
before_script:
# Set download location
- export PLT_FILENAME=elixir-${TRAVIS_ELIXIR_VERSION}_${TRAVIS_OTP_RELEASE}.plt
- export PLT_LOCATION=/home/travis/$PLT_FILENAME
# Download PLT from danielberkompas/travis_elixir_plts on Github
# Store in $PLT_LOCATION
- wget -O $PLT_LOCATION https://raw.github.com/danielberkompas/travis_elixir_plts/master/$PLT_FILENAME
script:
- mix test
- dialyzer --no_check_plt --plt $PLT_LOCATION --no_native _build/test/lib/$YOUR_PROJECT_NAME/ebinWhere _build/test/lib/$YOUR_PROJECT_NAME/ebin is the location of your compiled
BEAM files.
Generate Your Own
The tool used to build these PLTs is also available on Github:
https://github.com/danielberkompas/travis_elixir_plt_generator