rpms
/
z3
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Explicitly BR make.

This commit is contained in:
Jerry James 2020-11-09 21:38:07 -07:00
parent 753e0f37ec
commit 1844f63fc1
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
z3.spec
View File

@ -15,6 +15,7 @@ BuildRequires: graphviz
BuildRequires: help2man
BuildRequires: java-devel
BuildRequires: javapackages-tools
BuildRequires: make
BuildRequires: ninja-build
BuildRequires: ocaml
BuildRequires: ocaml-findlib