diff --git a/opam b/opam
index 41a6d62294c5f4f4477826a838817b71ad41c7dd..ca3b6b5a90c8bccb64fadcc85c9d302dd1c8b969 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: [