[couchdb-hqueue] 01/01: Make PropEr an optional (test) dependency

[rn...@apache.org]

This is an automated email from the ASF dual-hosted git repository.

rnewson pushed a commit to branch optional-proper
in repository https://gitbox.apache.org/repos/asf/couchdb-hqueue.git

commit 550a988956acc97e51ff3113caeb453f8366a0b1
Author: Robert Newson <rn...@apache.org>
AuthorDate: Thu Feb 28 14:06:14 2019 +0000

    Make PropEr an optional (test) dependency
---
 rebar.config           | 4 ----
 test/hqueue_proper.erl | 2 ++
 test/hqueue_statem.erl | 2 ++
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/rebar.config b/rebar.config
index 4c4da01..c1acbb6 100644
--- a/rebar.config
+++ b/rebar.config
@@ -1,7 +1,3 @@
-{deps, [
-    {proper, ".*", {git, "https://github.com/manopapad/proper.git", "master"}}
-]}.
-
 {port_specs, [
     {"priv/hqueue.so", ["c_src/hqueue*.c"]}
 ]}.
diff --git a/test/hqueue_proper.erl b/test/hqueue_proper.erl
index 0337b01..314d83f 100644
--- a/test/hqueue_proper.erl
+++ b/test/hqueue_proper.erl
@@ -12,6 +12,7 @@
 
 -module(hqueue_proper).
 
+-ifdef(WITH_PROPER).
 -include_lib("proper/include/proper.hrl").
 -include_lib("eunit/include/eunit.hrl").
 
@@ -31,3 +32,4 @@ prop_simple() ->
 simple_test_() ->
     ?_assertEqual(true, ?QC(prop_simple())).
 
+-endif.
diff --git a/test/hqueue_statem.erl b/test/hqueue_statem.erl
index 027d65d..2bc3dc5 100644
--- a/test/hqueue_statem.erl
+++ b/test/hqueue_statem.erl
@@ -12,6 +12,7 @@
 
 -module(hqueue_statem).
 
+-ifdef(WITH_PROPER).
 -include_lib("proper/include/proper.hrl").
 -include_lib("eunit/include/eunit.hrl").
 
@@ -113,3 +114,4 @@ postcondition(#state{queue=Q}, {call, _, is_empty, [_]}, Result) ->
 postcondition(_S, {call, _, max_elems, [_]}, Result) ->
     0 < Result.
 
+-endif.