|
@@ -27,14 +27,17 @@ help::
|
|
# Plugin-specific targets.
|
|
# Plugin-specific targets.
|
|
|
|
|
|
define filter_opts.erl
|
|
define filter_opts.erl
|
|
- Opts = binary:split(<<"$1">>, <<"-">>, [global]),
|
|
|
|
- Filtered = lists:reverse(lists:foldl(fun
|
|
|
|
- (O = <<"pa ", _/bits>>, Acc) -> [O|Acc];
|
|
|
|
- (O = <<"D ", _/bits>>, Acc) -> [O|Acc];
|
|
|
|
- (O = <<"I ", _/bits>>, Acc) -> [O|Acc];
|
|
|
|
- (_, Acc) -> Acc
|
|
|
|
- end, [], Opts)),
|
|
|
|
- io:format("~s~n", [[["-", O] || O <- Filtered]]),
|
|
|
|
|
|
+ Opts = init:get_plain_arguments(),
|
|
|
|
+ {Filtered, _} = lists:foldl(fun
|
|
|
|
+ (O, {Os, true}) -> {[O|Os], false};
|
|
|
|
+ (O = "-D", {Os, _}) -> {[O|Os], true};
|
|
|
|
+ (O = [\\$$-, \\$$D, _ | _], {Os, _}) -> {[O|Os], false};
|
|
|
|
+ (O = "-I", {Os, _}) -> {[O|Os], true};
|
|
|
|
+ (O = [\\$$-, \\$$I, _ | _], {Os, _}) -> {[O|Os], false};
|
|
|
|
+ (O = "-pa", {Os, _}) -> {[O|Os], true};
|
|
|
|
+ (_, Acc) -> Acc
|
|
|
|
+ end, {[], false}, Opts),
|
|
|
|
+ io:format("~s~n", [string:join(lists:reverse(Filtered), " ")]),
|
|
halt().
|
|
halt().
|
|
endef
|
|
endef
|
|
|
|
|
|
@@ -51,4 +54,4 @@ dialyze:
|
|
else
|
|
else
|
|
dialyze: $(DIALYZER_PLT)
|
|
dialyze: $(DIALYZER_PLT)
|
|
endif
|
|
endif
|
|
- $(verbose) dialyzer --no_native `$(call erlang,$(call filter_opts.erl,$(ERLC_OPTS)))` $(DIALYZER_DIRS) $(DIALYZER_OPTS)
|
|
|
|
|
|
+ $(verbose) dialyzer --no_native `$(ERL) -eval "$(subst $(newline),,$(subst ",\",$(call filter_opts.erl)))" -extra $(ERLC_OPTS)` $(DIALYZER_DIRS) $(DIALYZER_OPTS)
|