Skip to content
Permalink
Browse files
Make PropEr an optional (test) dependency
  • Loading branch information
rnewson committed Feb 28, 2019
1 parent 103cf1c commit 471e6c23e10370692432accb112a6834405982c1
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 471e6c2

Please sign in to comment.