kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add "buildplt" target to Makefile. When invoked, it builds a full

Browse source 
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.
This commit is contained in:
Jimmy Olgeni 2009-09-06 13:34:11 +00:00
parent 043d69b207
commit 363cc2203e
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=240956
2 changed files with 18 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
lang/erlang/Makefile
View file

@ -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"

9
lang/erlang14/Makefile
View file

@ -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"