K 10
svn:author
V 6
olgeni
K 8
svn:date
V 27
2006-12-11T17:28:59.000000Z
K 7
svn:log
V 599
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.

END