Explicitly BR make.
This commit is contained in:
parent
5ef0ea97d2
commit
046bb852ea
1
z3.spec
1
z3.spec
@ -15,6 +15,7 @@ BuildRequires: graphviz
|
|||||||
BuildRequires: help2man
|
BuildRequires: help2man
|
||||||
BuildRequires: java-devel
|
BuildRequires: java-devel
|
||||||
BuildRequires: javapackages-tools
|
BuildRequires: javapackages-tools
|
||||||
|
BuildRequires: make
|
||||||
BuildRequires: ninja-build
|
BuildRequires: ninja-build
|
||||||
BuildRequires: ocaml
|
BuildRequires: ocaml
|
||||||
BuildRequires: ocaml-findlib
|
BuildRequires: ocaml-findlib
|
||||||
|
Loading…
Reference in New Issue
Block a user