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>