Commit 75deb3ba authored by Andre Maroneze's avatar Andre Maroneze 💬

[opam] add conf-time dependency for testing, and disable PPC64 tests

parent 9a878830
......@@ -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: [
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment