diff options
author | Jimmy Olgeni <olgeni@FreeBSD.org> | 2015-02-13 15:11:50 +0000 |
---|---|---|
committer | Jimmy Olgeni <olgeni@FreeBSD.org> | 2015-02-13 15:11:50 +0000 |
commit | 01aacc513bef09aad141c257bd4de44692f6bac9 (patch) | |
tree | 863ea867ff5eb13d7b160e3436d85ef837c3b44b /lang/erlang-runtime15/Makefile | |
parent | f7e2ff1544b50b88ed93a6868e42103a7cfe83bd (diff) | |
download | ports-01aacc513bef09aad141c257bd4de44692f6bac9.tar.gz ports-01aacc513bef09aad141c257bd4de44692f6bac9.zip |
Notes
Diffstat (limited to 'lang/erlang-runtime15/Makefile')
-rw-r--r-- | lang/erlang-runtime15/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lang/erlang-runtime15/Makefile b/lang/erlang-runtime15/Makefile index b9cb98dcb5b3..4a483902f5fc 100644 --- a/lang/erlang-runtime15/Makefile +++ b/lang/erlang-runtime15/Makefile @@ -164,6 +164,14 @@ MAKE_ARGS+= ARCH=x86 # links in the documentation. pre-configure: +.if ${PORT_OPTIONS:MDTRACE} + @if ! /sbin/kldstat | ${GREP} dtraceall >/dev/null 2>&1; then \ + ${ECHO_CMD}; \ + ${ECHO_CMD} "DTRACE option requires kernel module \"dtraceall\" to be loaded."; \ + ${ECHO_CMD}; \ + exit 1; \ + fi +.endif .if ! ${PORT_OPTIONS:MWX} echo "disabled by port options" > ${WRKSRC}/lib/wx/SKIP .endif |