proper condition for strict "test_code check in OCaml" and "test_code check in GHC";

--- 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]