Merge branch 'fix/martin/opam/turn-off-freebsd-tests' into 'master'

Disable tests on freebsd, Enable tests on macos

See merge request frama-c/frama-c!4641

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-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-distribution != "freebsd"}
 ]
 
 depends: [