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

Exclude OCaml BRs on i386

Browse Source
This commit is contained in:
Jerry James 2023-07-23 10:03:32 -06:00
parent 7ce32a5a19
commit e32772559e
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
z3.spec
View File

@ -42,10 +42,12 @@ BuildRequires: javapackages-tools
%endif
BuildRequires: make
BuildRequires: ninja-build
%ifnarch %{ix86}
BuildRequires: ocaml
BuildRequires: ocaml-findlib
BuildRequires: ocaml-ocamldoc
BuildRequires: ocaml-zarith-devel
%endif
BuildRequires: python3-devel
BuildRequires: %{py3_dist setuptools}