Skip to content

Instantly share code, notes, and snippets.

@thumbot

thumbot/make_dialyzer.txt Secret

Created February 2, 2017 15:51
Show Gist options
  • Save thumbot/2a6cb45895080047c264fe365517c800 to your computer and use it in GitHub Desktop.
Save thumbot/2a6cb45895080047c264fe365517c800 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
make_dialyzer.txt
./rebar get-deps
==> develop.254cba3.enable_thumbs.43a3b49 (get-deps)
./rebar compile
==> develop.254cba3.enable_thumbs.43a3b49 (compile)
make[1]: Entering directory `/tmp/thumbs/develop.254cba3.enable_thumbs.43a3b49/c_src/leveldb'
make[1]: Nothing to be done for `all'.
make[1]: Leaving directory `/tmp/thumbs/develop.254cba3.enable_thumbs.43a3b49/c_src/leveldb'
make[1]: Entering directory `/tmp/thumbs/develop.254cba3.enable_thumbs.43a3b49/c_src/leveldb'
make[1]: Nothing to be done for `tools'.
make[1]: Leaving directory `/tmp/thumbs/develop.254cba3.enable_thumbs.43a3b49/c_src/leveldb'
Checking whether the PLT /home/ubuntu/.combo_dialyzer_plt is up-to-date... yes
done (passed successfully)
yes
done (passed successfully)
==> develop.254cba3.enable_thumbs.43a3b49 (dialyzer)
Checking whether the PLT /home/ubuntu/.combo_dialyzer_plt is up-to-date... yes
Proceeding with analysis... done in 0m1.44s
done (passed successfully)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment