rpms
/
ocaml-cil
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

BR ocaml-num

This commit is contained in:
Richard W.M. Jones 2017-11-22 15:15:48 +00:00
parent 877a4906d4
commit 9f170b1cb2
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
ocaml-cil.spec
View File

@ -11,6 +11,7 @@ BuildRequires: ocaml
BuildRequires: ocaml-ocamlbuild
BuildRequires: ocaml-findlib-devel
BuildRequires: ocaml-ocamldoc
BuildRequires: ocaml-num-devel
Patch0: 0001-Fix-testsuite-on-32-bit-machines.patch
Patch1: 0002-Do-not-fail-testsuite-on-new-gcc-behaviour.patch