diff --git a/tests/regression/29-svcomp/dune b/tests/regression/29-svcomp/dune
index 95ac66a5ec..9b2396b313 100644
--- a/tests/regression/29-svcomp/dune
+++ b/tests/regression/29-svcomp/dune
@@ -17,4 +17,4 @@
 
 (cram
  (applies_to 36-svcomp-arch)
- (enabled_if (<> %{system} macosx))) ; https://dune.readthedocs.io/en/stable/reference/boolean-language.html
+ (enabled_if %{read:../../util/multilibAvailable})) ; https://dune.readthedocs.io/en/stable/reference/boolean-language.html
diff --git a/tests/util/dune b/tests/util/dune
index 0e32304d4f..e43d21c25d 100644
--- a/tests/util/dune
+++ b/tests/util/dune
@@ -1,7 +1,8 @@
 (executables
- (names yamlWitnessStrip yamlWitnessStripDiff)
+ (names yamlWitnessStrip yamlWitnessStripDiff multilibConfigure)
  (libraries
    batteries.unthreaded
+   goblint-cil
    goblint_std
    goblint_lib
    yaml
@@ -9,3 +10,7 @@
    goblint.build-info.dune)
  (flags :standard -open Goblint_std)
  (preprocess (pps ppx_deriving.std)))
+
+(rule
+ (target multilibAvailable)
+ (action (with-stdout-to %{target} (run ./multilibConfigure.exe))))
diff --git a/tests/util/multilibConfigure.ml b/tests/util/multilibConfigure.ml
new file mode 100644
index 0000000000..cf59e04416
--- /dev/null
+++ b/tests/util/multilibConfigure.ml
@@ -0,0 +1,4 @@
+open GoblintCil
+
+let () =
+  Printf.printf "%B" (Option.is_some GoblintCil.Machdep.gcc32 && Option.is_some GoblintCil.Machdep.gcc64)