Skip to content

Instantly share code, notes, and snippets.

@thumbot

thumbot/make_dialyzer.txt Secret

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