run dialyzer in the build

erlang / sourcer

An Erlang language server, providing IDE services.

Apache License 2.0

121 stars 19 forks source link

run dialyzer in the build #2

Closed vladdu closed 9 years ago

vladdu commented 9 years ago

create a Makefile that calls dialyzer
change build commands for travis
create default PLTs on erlide.org and wget them when building, to shorten build times

ghost commented 9 years ago

Creating a custom PLT via rebar build-plt on Travis-CI should be fast enough for the project's size. So, I'd suggest to start with rebar build-plt and rebar dialyze. You might run into issues like absolute paths in the PLT, if you want to cache it, so caching may need to be Travis-CI-specific.

vladdu commented 9 years ago

Thanks for pointing that out, Tuncer. I didn't follow the latest rebar release notes and only by looking at the wiki and searching on google[*] I didn't know about the new dialyzer support.

Interestingly, only "rebar dialyze" (not "rebar dialyzer") brings up a link to the 2.6 announcement.

ghost commented 9 years ago

If you have time, feel free to extend the wiki page. Also, you can always use rebar --commands/-c to see built-in commands.

vladdu commented 9 years ago

Yes, but since I hadn't updated to 2.6.0, listing the commands doesn't help. :wink:

ghost commented 9 years ago

2.6.1 is out :).

vladdu commented 9 years ago

Fixed. Travis has an older version of rebar.