From 363cc2203e4cad74f93850ee29b9a864566693e0 Mon Sep 17 00:00:00 2001 From: Jimmy Olgeni Date: Sun, 6 Sep 2009 13:34:11 +0000 Subject: 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. --- lang/erlang/Makefile | 9 +++++++++ lang/erlang14/Makefile | 9 +++++++++ 2 files changed, 18 insertions(+) (limited to 'lang') diff --git a/lang/erlang/Makefile b/lang/erlang/Makefile index f12bac975db5..7e02b13f8c66 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" diff --git a/lang/erlang14/Makefile b/lang/erlang14/Makefile index f12bac975db5..7e02b13f8c66 100644 --- a/lang/erlang14/Makefile +++ b/lang/erlang14/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" -- cgit v1.3