diff options
| author | olgeni <olgeni@FreeBSD.org> | 2009-09-06 21:34:11 +0800 |
|---|---|---|
| committer | olgeni <olgeni@FreeBSD.org> | 2009-09-06 21:34:11 +0800 |
| commit | c2818014695be42bea04dbb0fec7b82d68ee0055 (patch) | |
| tree | 7d888ca3c047b095476c24ee84e4eb921040e7b6 /lang/erlang | |
| parent | ff5a1fcd45583c36f1a123cd4e6dfaa56fe69faf (diff) | |
| download | freebsd-ports-graphics-c2818014695be42bea04dbb0fec7b82d68ee0055.tar.gz freebsd-ports-graphics-c2818014695be42bea04dbb0fec7b82d68ee0055.tar.zst freebsd-ports-graphics-c2818014695be42bea04dbb0fec7b82d68ee0055.zip | |
Add "buildplt" target to Makefile. When invoked, it builds a full
PLT database in the user's home directory for the dialyzer application.
However, this operation is very expensive and should only be performed
if necessary, as dialyzer already provides a minimal PLT by default.
Diffstat (limited to 'lang/erlang')
| -rw-r--r-- | lang/erlang/Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lang/erlang/Makefile b/lang/erlang/Makefile index f12bac975db..7e02b13f8c6 100644 --- a/lang/erlang/Makefile +++ b/lang/erlang/Makefile @@ -196,6 +196,15 @@ post-install: @${ECHO_CMD} "x!" >> ${WRKDIR}/ex.script @cd ${WRKDIR} ; ex < ex.script +buildplt: + @${ECHO_CMD} ===================================================== + @${ECHO_CMD} WARNING: building a full PLT may literally take hours + @${ECHO_CMD} + @${ECHO_CMD} You may wish to settle for the standard PLT built by + @${ECHO_CMD} dialyzer on the first run. + @${ECHO_CMD} ===================================================== + @cd ${PREFIX}/lib/erlang/lib ; ${PREFIX}/bin/dialyzer --verbose --build_plt --output_plt ${HOME}/.dialyzer_plt -c $$(find ${OTP_LIBS} -name ebin -maxdepth 1) || true + .include "Makefile.lib" .include "Makefile.man" |