From 76df692572fb12063461b16f3e054c7a4c1bdb3d Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Thu, 20 Jun 2024 10:36:28 +0200
Subject: [PATCH] Enable tests on macos
---
opam | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/opam b/opam
index ca3b6b5a90c..60109c91632 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" & os-distribution != "freebsd"}
+ ] { arch != "ppc64" & arch != "x86_32" & arch != "arm32" & os-distribution != "freebsd"}
["dune" "build" "-j%{jobs}%" "@ptests_config"
- ] { arch != "ppc64" & arch != "x86_32" & arch != "arm32" & os != "macos" & os-distribution != "freebsd"}
+ ] { arch != "ppc64" & arch != "x86_32" & arch != "arm32" & os-distribution != "freebsd"}
]
depends: [
--
GitLab