rebaring: fix ?SEED_NAME

Author: fenollp

Makefile

@@ -40,7 +40,7 @@ all: fast dialyzer doc tests
 get-deps:
 	$(REBAR) get-deps
 
-compile: include/compile_flags.hrl
+compile:
 	$(REBAR) compile
 
 dialyzer: .plt/proper_plt compile

README.md

@@ -98,8 +98,8 @@ Quickstart guide
     Optionally, sfmt-erlang can be selected as an alternative random number
     generator using `./configure --use-sfmt` before running `make`, or with rebar3:
     ```erlang
-    {deps, [sfmt]}. %% Once sfmt-erlang supports rebar3 compilation.
-    {overrides, [{override, proper, [{erl_opts, [{d, 'USE_SFMT'}]}]}]}.
+    {deps, [proper,sfmt]}.
+    {overrides, [{override, proper, [{erl_opts, [{d, 'RNG', sfmt}]}]}]}.
     ```
 *   Add PropEr's base directory to your Erlang library path, using one of the
     following methods:

include/proper_internal.hrl

@@ -62,7 +62,7 @@
 -define(RNG, random).
 -endif.
 
--define(SEED_NAME, rng_seed).
+-define(SEED_NAME, list_to_atom(atom_to_list(?RNG)++"_seed")).
 -ifndef(USE_EXSPLUS).
 -define(RNG_SET_SEED(Seed), ?RNG:seed(Seed)).
 -endif.

src/proper_gen_next.erl

@@ -83,7 +83,7 @@ ensure_initialized() ->
   L = [get(proper_gen_next_cache),
        get(proper_gen_next_cache_backup),
        get(proper_gen_next_depth_cache),
-       get(rng_seed),
+       get(?SEED_NAME),
        get('$any_type'),
        get('$left'),
        get('$constraint_tries'),