Home
last modified time | relevance | path

Searched refs:DIALYZER (Results 1 – 25 of 62) sorted by relevance

123

/dports/lang/erlang-runtime24/otp-OTP-24.1.7/scripts/
H A Drun-dialyzer41 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 Drun-dialyzer41 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 Drun-dialyzer41 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 Drun-dialyzer41 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 Drun-dialyzer46 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 DMakefile2 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 DMakefile3 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 Dinfo2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/
H A Dinfo2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
H A DREADME9 The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/
H A Dinfo2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/
H A Dinfo2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/
H A Dinfo2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/
H A Dinfo2 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 Dinfo2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/
H A Dinfo2 short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.
/dports/www/yaws/yaws-2.0.6/
H A Dconfigure.ac154 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 DMakefile.am100 $(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 Dapp.mk12 DIALYZER = dialyzer
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/compiler/test/
H A DMakefile111 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 DMakefile110 DIALYZER = bs_match macro
138 DIALYZER_MODULES= $(DIALYZER:%=%_dialyzer_SUITE)
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/compiler/test/
H A DMakefile111 DIALYZER = bs_match macro
139 DIALYZER_MODULES= $(DIALYZER:%=%_dialyzer_SUITE)
/dports/lang/erlang/otp-OTP-24.1.7/lib/compiler/test/
H A DMakefile111 DIALYZER = bs_match macro
139 DIALYZER_MODULES= $(DIALYZER:%=%_dialyzer_SUITE)
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/compiler/test/
H A DMakefile111 DIALYZER = bs_match macro
139 DIALYZER_MODULES= $(DIALYZER:%=%_dialyzer_SUITE)
/dports/benchmarks/tsung/tsung-1.7.0/
H A DMakefile.in11 DIALYZER=@DIALYZER@
182 $(DIALYZER) -r ebin -I ./include/ -Wno_undefined_callbacks

123