From 688355c1eb66a7508a863d960e4624da1c48330f Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Thu, 20 Jun 2024 10:31:04 +0200
Subject: [PATCH] Disable tests on freebsd
---
opam | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/opam b/opam
index 41a6d62294c..ca3b6b5a90c 100644
--- a/opam
+++ b/opam
@@ -116,9 +116,9 @@ remove: [
run-test: [
["dune" "exec" "--" "frama-c-ptests" "tests" "src/plugins/*/tests"
- ] { arch != "ppc64" & arch != "x86_32" & arch != "arm32" & os != "macos" }
+ ] { arch != "ppc64" & arch != "x86_32" & arch != "arm32" & os != "macos" & os-distribution != "freebsd"}
["dune" "build" "-j%{jobs}%" "@ptests_config"
- ] { arch != "ppc64" & arch != "x86_32" & arch != "arm32" & os != "macos" }
+ ] { arch != "ppc64" & arch != "x86_32" & arch != "arm32" & os != "macos" & os-distribution != "freebsd"}
]
depends: [
--
GitLab