/dports/lang/erlang-runtime24/otp-OTP-24.1.7/scripts/ |
H A D | run-dialyzer | 41 DIALYZER=dialyzer 44 DIALYZER=$ERL_TOP/bin/dialyzer 51 $DIALYZER --build_plt --output_plt "$PLT" -Wunknown --apps $BASE_PLT $APP_PLT --statistics 52 $DIALYZER -n --plt "$PLT" -Wunknown -Wunmatched_returns --apps $UNMATCHED --statistics 53 $DIALYZER -n --plt "$PLT" -Wunknown --apps $NO_UNMATCHED --statistics 55 $DIALYZER -n --plt "$PLT" --apps $WARNINGS --statistics || true
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/scripts/ |
H A D | run-dialyzer | 41 DIALYZER=dialyzer 44 DIALYZER=$ERL_TOP/bin/dialyzer 51 $DIALYZER --build_plt --output_plt "$PLT" -Wunknown --apps $BASE_PLT $APP_PLT --statistics 52 $DIALYZER -n --plt "$PLT" -Wunknown -Wunmatched_returns --apps $UNMATCHED --statistics 53 $DIALYZER -n --plt "$PLT" -Wunknown --apps $NO_UNMATCHED --statistics 55 $DIALYZER -n --plt "$PLT" --apps $WARNINGS --statistics || true
|
/dports/lang/erlang-java/otp-OTP-24.1.7/scripts/ |
H A D | run-dialyzer | 41 DIALYZER=dialyzer 44 DIALYZER=$ERL_TOP/bin/dialyzer 51 $DIALYZER --build_plt --output_plt "$PLT" -Wunknown --apps $BASE_PLT $APP_PLT --statistics 52 $DIALYZER -n --plt "$PLT" -Wunknown -Wunmatched_returns --apps $UNMATCHED --statistics 53 $DIALYZER -n --plt "$PLT" -Wunknown --apps $NO_UNMATCHED --statistics 55 $DIALYZER -n --plt "$PLT" --apps $WARNINGS --statistics || true
|
/dports/lang/erlang/otp-OTP-24.1.7/scripts/ |
H A D | run-dialyzer | 41 DIALYZER=dialyzer 44 DIALYZER=$ERL_TOP/bin/dialyzer 51 $DIALYZER --build_plt --output_plt "$PLT" -Wunknown --apps $BASE_PLT $APP_PLT --statistics 52 $DIALYZER -n --plt "$PLT" -Wunknown -Wunmatched_returns --apps $UNMATCHED --statistics 53 $DIALYZER -n --plt "$PLT" -Wunknown --apps $NO_UNMATCHED --statistics 55 $DIALYZER -n --plt "$PLT" --apps $WARNINGS --statistics || true
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/scripts/ |
H A D | run-dialyzer | 46 DIALYZER=dialyzer 49 DIALYZER=$ERL_TOP/bin/dialyzer 56 $DIALYZER --build_plt --output_plt $PLT -Wunknown --apps $BASE_PLT $APP_PLT --statistics 57 $DIALYZER -n --plt $PLT -Wunknown -Wunmatched_returns --apps $UNMATCHED --statistics 58 $DIALYZER -n --plt $PLT -Wunknown --apps $NO_UNMATCHED --statistics 60 $DIALYZER -n --plt $PLT --apps $WARNINGS --statistics || true
|
/dports/devel/erlang-gen_leader/gen_leader_revival-a12a4e3/ |
H A D | Makefile | 2 DIALYZER=dialyzer macro 17 $(DIALYZER) --build_plt --output_plt $(PLT_FILE) --apps $(APPS) ./ebin/ 20 $(DIALYZER) --check_plt --plt $(PLT_FILE) --apps $(APPS) ./ebin/ 23 $(DIALYZER) --plt $(PLT_FILE) $(DIALYZER_OPTS) -r ebin/
|
/dports/devel/erlang-goldrush/goldrush-0.1.9/ |
H A D | Makefile | 3 DIALYZER = dialyzer macro 29 @$(DIALYZER) --build_plt --output_plt .$(APPNAME)_dialyzer.plt \ 33 @$(DIALYZER) --src src --plt .$(APPNAME)_dialyzer.plt --no_native \
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/ |
H A D | info | 2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/ |
H A D | info | 2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
|
H A D | README | 9 The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/ |
H A D | info | 2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/ |
H A D | info | 2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/ |
H A D | info | 2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/ |
H A D | info | 2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
|
/dports/lang/erlang-doc/otp_doc_html_24.1/lib/dialyzer-4.4.2/ |
H A D | info | 2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/ |
H A D | info | 2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
|
/dports/www/yaws/yaws-2.0.6/ |
H A D | configure.ac | 154 AC_ARG_VAR([DIALYZER], [Erlang/OTP discrepancy analyzer [autodetected]]) 156 if test "x${DIALYZER}" = "x"; then 158 AC_PATH_PROG([DIALYZER], [dialyzer],,) 161 AC_PATH_PROG([DIALYZER], [dialyzer],, 166 AC_MSG_RESULT([$DIALYZER]) 169 if test "x${DIALYZER}" = "x"; then 171 dialyzer(1) not found. Fill the DIALYZER variable with dialyzer(1) path if 531 COLORED_ECHO([ %BErlang dialyzer tool%b: ${DIALYZER}])
|
H A D | Makefile.am | 100 $(AM_V_GEN)$(DIALYZER) --build_plt -r ebin --output_plt yaws.plt\ 115 $(AM_V_at)$(DIALYZER) -q --plt yaws.plt -r ebin > dialyzer_warnings || true
|
/dports/devel/erlang-common_lib/common_lib-3.3.4/ |
H A D | app.mk | 12 DIALYZER = dialyzer
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/compiler/test/ |
H A D | Makefile | 111 DIALYZER = bs_match macro 139 DIALYZER_MODULES= $(DIALYZER:%=%_dialyzer_SUITE)
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/compiler/test/ |
H A D | Makefile | 110 DIALYZER = bs_match macro 138 DIALYZER_MODULES= $(DIALYZER:%=%_dialyzer_SUITE)
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/compiler/test/ |
H A D | Makefile | 111 DIALYZER = bs_match macro 139 DIALYZER_MODULES= $(DIALYZER:%=%_dialyzer_SUITE)
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/compiler/test/ |
H A D | Makefile | 111 DIALYZER = bs_match macro 139 DIALYZER_MODULES= $(DIALYZER:%=%_dialyzer_SUITE)
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/compiler/test/ |
H A D | Makefile | 111 DIALYZER = bs_match macro 139 DIALYZER_MODULES= $(DIALYZER:%=%_dialyzer_SUITE)
|
/dports/benchmarks/tsung/tsung-1.7.0/ |
H A D | Makefile.in | 11 DIALYZER=@DIALYZER@ 182 $(DIALYZER) -r ebin -I ./include/ -Wno_undefined_callbacks
|