From 75deb3ba330d0a021a735eb2ea2eb922032efd5b Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 23 Nov 2020 14:51:04 +0100
Subject: [PATCH] [opam] add conf-time dependency for testing, and disable
PPC64 tests
---
opam/opam | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/opam/opam b/opam/opam
index 3cfdaff4d12..16dd12403d4 100644
--- a/opam/opam
+++ b/opam/opam
@@ -98,7 +98,10 @@ install: [
]
run-test: [
- [make "-j%{jobs}%" "PTESTS_OPTS=-error-code" "tests"]
+ [make "-j%{jobs}%" "PTESTS_OPTS=-error-code" "tests"] { arch != "ppc64" }
+ # tests are disabled on PPC64 due to floating-point oracle differences
+ # (some ULPs in libc trigonometric functions) and due to the lack of
+ # available hardware to test them locally
]
depends: [
@@ -115,6 +118,7 @@ depends: [
"conf-graphviz" { post }
"yojson"
"why3" { >= "1.3.3" }
+ "conf-time" { with-test }
]
depopts: [
--
GitLab