!4 Fix compilation failure

From: @starlet-dx 
Reviewed-by: @caodongxia 
Signed-off-by: @caodongxia

erlang-proper.spec

@@ -2,7 +2,7 @@
 %global upstream manopapad
 Name:       erlang-proper
 Version:    1.3
-Release:    2
+Release:    3
 BuildArch:  noarch
 License:    GPLv3+
 Summary:    A QuickCheck-inspired property-based testing tool for Erlang
@@ -10,6 +10,7 @@ URL:        https://github.com/manopapad/proper
 Source0:    https://github.com/manopapad/proper/archive/v%{version}/proper-%{version}.tar.gz
 Patch1:     erlang-proper-0001-Disable-one-test-case.patch
 BuildRequires: erlang-rebar
+BuildRequires: erlang-edoc erlang-eunit
 %description
 PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired
 open-source property-based testing tool for Erlang.
@@ -35,6 +36,9 @@ open-source property-based testing tool for Erlang.
 %{erlang_appdir}/
 
 %changelog
+* Sun Jul 23 2023 yaoxin <yao_xin001@hoperun.com> - 1.3-3
+- Fix compilation failure
+
 * Sat Jan 22 2022 Ge Wang <wangge20@huawei.com> - 1.3-2
 - skip a test, as it is too slow and times out