- follow ocaml-zarith builds auto/th/why3-1.4.0-1
authorJan Rękorajski <baggins@pld-linux.org>
Mon, 29 Mar 2021 19:25:08 +0000 (21:25 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Mon, 29 Mar 2021 19:25:08 +0000 (21:25 +0200)
why3.spec

index e2d5a9dd3ede9e4233c19d32a090f95097dedf6d..a2db4b372ad2ed13cec3fdcc460e5fc9c196d51a 100644 (file)
--- a/why3.spec
+++ b/why3.spec
@@ -21,6 +21,8 @@ BuildRequires:        ocaml-zarith-devel
 BuildRequires: rubber
 BuildRequires: sqlite3-devel
 %requires_eq   ocaml-runtime
+# same as ocaml-zarith
+ExclusiveArch: %{ix86} %{x8664} %{arm} aarch64 ppc sparc sparcv9
 BuildRoot:     %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
 
 %description
This page took 0.056543 seconds and 4 git commands to generate.