@@ -18,7 +18,7 @@ ERLANG_MK_FILENAME := $(realpath $(lastword $(MAKEFILE_LIST)))
18
18
export ERLANG_MK_FILENAME
19
19
20
20
ERLANG_MK_VERSION = 2.0.0-pre.2-278-gd9a9158
21
- ERLANG_MK_WITHOUT =
21
+ ERLANG_MK_WITHOUT = plugins/proper
22
22
23
23
# Make 3.81 and 3.82 are deprecated.
24
24
@@ -6481,60 +6481,6 @@ apps-eunit:
6481
6481
endif
6482
6482
endif
6483
6483
6484
- # Copyright (c) 2015-2017, Loïc Hoguin <[email protected] >
6485
- # This file is part of erlang.mk and subject to the terms of the ISC License.
6486
-
6487
- ifeq ($(filter proper,$(DEPS ) $(TEST_DEPS ) ) ,proper)
6488
- .PHONY : proper
6489
-
6490
- # Targets.
6491
-
6492
- tests :: proper
6493
-
6494
- define proper_check.erl
6495
- code:add_pathsa(["$(call core_native_path,$(CURDIR ) /ebin) ", "$(call core_native_path,$(DEPS_DIR ) /* /ebin) "]),
6496
- Module = fun(M) ->
6497
- [true] =:= lists:usort([
6498
- case atom_to_list(F) of
6499
- "prop_" ++ _ ->
6500
- io:format("Testing ~p:~p/0~n", [M, F]),
6501
- proper:quickcheck(M:F());
6502
- _ ->
6503
- true
6504
- end
6505
- || {F, 0} <- M:module_info(exports)])
6506
- end,
6507
- try
6508
- case $(1 ) of
6509
- all -> [true] =:= lists:usort([Module(M) || M <- [$(call comma_list,$(3 ) ) ]]);
6510
- module -> Module($(2 ) );
6511
- function -> proper:quickcheck($(2 ) )
6512
- end
6513
- of
6514
- true -> halt(0);
6515
- _ -> halt(1)
6516
- catch error:undef ->
6517
- io:format("Undefined property or module?~n~p~n", [erlang:get_stacktrace()]),
6518
- halt(0)
6519
- end.
6520
- endef
6521
-
6522
- ifdef t
6523
- ifeq (,$(findstring :,$(t ) ))
6524
- proper : test-build
6525
- $(verbose ) $(call erlang,$(call proper_check.erl,module,$(t ) ) )
6526
- else
6527
- proper : test-build
6528
- $(verbose ) echo Testing $(t ) /0
6529
- $(verbose ) $(call erlang,$(call proper_check.erl,function,$(t ) () ) )
6530
- endif
6531
- else
6532
- proper : test-build
6533
- $(eval MODULES := $(patsubst % ,'% ',$(sort $(notdir $(basename $(wildcard ebin/* .beam) ) ) ) ) )
6534
- $(gen_verbose ) $(call erlang,$(call proper_check.erl,all,undefined,$(MODULES ) ) )
6535
- endif
6536
- endif
6537
-
6538
6484
# Copyright (c) 2013-2016, Loïc Hoguin <[email protected] >
6539
6485
# This file is part of erlang.mk and subject to the terms of the ISC License.
6540
6486
0 commit comments