Ángel Herranz
Mar 25, 2015, 8:51:43 PM3/25/15
to chica...@googlegroups.com
I have a Makefile fragment for dialyzing my CB apps.
I would like to share it with you so I added it to the skel directory of my fork https://github.com/aherranz/ChicagoBoss (commit: https://github.com/aherranz/ChicagoBoss/commit/a995333537b9d520f75dbc87d99127c409ac8511).
You can edit variables in file Makefile.dialyzer, and then run `make dialyze` (it will take a long time the first time if you don not have a global PLT already built).
Regards.
I would like to share it with you so I added it to the skel directory of my fork https://github.com/aherranz/ChicagoBoss (commit: https://github.com/aherranz/ChicagoBoss/commit/a995333537b9d520f75dbc87d99127c409ac8511).
You can edit variables in file Makefile.dialyzer, and then run `make dialyze` (it will take a long time the first time if you don not have a global PLT already built).
Regards.
Reply all
Reply to author
Forward
0 new messages