cvs commit: ports/lang/erlang Makefile ports/lang/erlang/files patch-lib_dialyzer_src_Makefile patch-lib_dialyzer_src_dialyzer__cl.erl patch-lib_dialyzer_src_dialyzer__cl__parse.erl

[Jimmy Olgeni]

olgeni      2006-12-11 17:28:59 UTC

  FreeBSD ports repository

  Modified files:
    lang/erlang          Makefile 
  Added files:
    lang/erlang/files    patch-lib_dialyzer_src_Makefile 
                         patch-lib_dialyzer_src_dialyzer__cl.erl 
                         patch-lib_dialyzer_src_dialyzer__cl__parse.erl 
  Log:
  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.
  
  Revision  Changes    Path
  1.95      +1 -0      ports/lang/erlang/Makefile
  1.3       +42 -0     ports/lang/erlang/files/patch-lib_dialyzer_src_Makefile (new)
  1.1       +14 -0     ports/lang/erlang/files/patch-lib_dialyzer_src_dialyzer__cl.erl (new)
  1.1       +15 -0     ports/lang/erlang/files/patch-lib_dialyzer_src_dialyzer__cl__parse.erl (new)