# HG changeset patch
# User wenzelm
# Date 1737151839 -3600
# Node ID 24ef42cab7d61a0542dd7ef388d91bd012967f6b
# Parent  d832c4a676e10dba14268f65ec80f142f3eb6f47
proper condition for strict "test_code check in OCaml" and "test_code check in GHC";

diff -r d832c4a676e1 -r 24ef42cab7d6 src/HOL/ROOT
--- a/src/HOL/ROOT	Fri Jan 17 22:38:15 2025 +0100
+++ b/src/HOL/ROOT	Fri Jan 17 23:10:39 2025 +0100
@@ -374,11 +374,12 @@
     Generate_Target_Nat
     Generate_Abstract_Char
     Generate_Efficient_Datastructures
-    Generate_Target_String_Literals
-    Generate_Target_Bit_Operations
     Code_Lazy_Test
     Code_Test_PolyML
     Code_Test_Scala
+  theories [condition = "ISABELLE_GHC,ISABELLE_OCAMLFIND"]
+    Generate_Target_String_Literals
+    Generate_Target_Bit_Operations
   theories [condition = ISABELLE_GHC]
     Code_Test_GHC
   theories [condition = ISABELLE_MLTON]