Date: Mon, 11 Dec 2006 17:28:59 +0000 (UTC) From: Jimmy Olgeni <olgeni@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: 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 Message-ID: <200612111728.kBBHSxVr002696@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200612111728.kBBHSxVr002696>