23:39 olgeni 

Upgrade to version R12B-3.

22:41 olgeni 

Fix dialyzer_init_plt path.

13:06 olgeni 

Upgrade to version R11B-3.

17:28 olgeni 

Disable automatic PLT generation. Add the following patches:

* patch-lib_dialyzer_src_Makefile

  Avoid computing the PLT when building the port. It may take so
  long that the port building cluster thinks this is a runaway port.

* patch-lib_dialyzer_src_dialyzer__cl.erl

  Trick dialyzer into building the PLT even after the port is installed.

* patch-lib_dialyzer_src_dialyzer__cl__parse.erl

  Let every user have his own initial PLT in ~/.dialyzer_init_plt.
  When dialyzer is invoked the PLT will be rebuilt if needed.

This commit will fix both ports/105869 and the pointyhat port checks.