From d18e431221c5b9f5eb1c18e625c959c88c46ab0b Mon Sep 17 00:00:00 2001
From: Tom Stellard <tstellar@redhat.com>
Date: Jan 05 2021 15:30:43 +0000
Subject: Add BuildRequires: make


https://fedoraproject.org/wiki/Changes/Remove_make_from_BuildRoot

---

diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index f6184aa..e5aa147 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -30,6 +30,7 @@ BuildRequires:  ocaml-camlp5-devel
 BuildRequires:  ocaml-findlib
 BuildRequires:  ocaml-num-devel
 BuildRequires:  remake
+BuildRequires: make
 
 Requires:       coq%{?_isa} = %{coqver}
 Requires:       flocq