Skip to content
Permalink
Browse files
Merge pull request #11 from apache/optional-proper
Make PropEr an optional (test) dependency
  • Loading branch information
rnewson committed Feb 28, 2019
2 parents 103cf1c + 471e6c2 commit af4f9767ac845cb24921c8a1fa521711129feed8
Showing 3 changed files with 20 additions and 11 deletions.

This file was deleted.

@@ -0,0 +1,18 @@
WithProper = code:lib_dir(proper) /= {error, bad_name}.


ErlOpts =
case WithProper of
true ->
[{d, 'WITH_PROPER'}];
false ->
[]
end,

[{eunit_opts, [
verbose,
{report, {
eunit_surefire, [{dir,"."}]
}}
]},
{erl_opts, [{i, "../"} | ErlOpts]}].
@@ -11,6 +11,7 @@
% the License.

-module(ioq_kv_tests).
-ifdef(WITH_PROPER).
-behaviour(proper_statem).

-include_lib("proper/include/proper.hrl").
@@ -147,3 +148,4 @@ almost_any() ->
?LAZY(loose_tuple(almost_any())),
?LAZY(list(almost_any()))
]).
-endif.

0 comments on commit af4f976

Please sign in to comment.