diff --git a/stdlib/regression/dune b/stdlib/regression/dune index cf12a75a0..0f6430d20 100644 --- a/stdlib/regression/dune +++ b/stdlib/regression/dune @@ -1,9 +1,13 @@ ; This file was autogenerated (cram (deps ../../src/Driver.exe)) -(cram (deps ../../runtime32/runtime.a ../../runtime32/Std.i)) +(cram + (enabled_if (= %{system} "linux")) + (deps ../../runtime32/runtime.a ../../runtime32/Std.i)) (cram (deps ../../runtime/runtime.a ../../runtime/Std.i)) -(cram (deps ../x32/Array.i ../x32/Array.o ../x32/Buffer.i ../x32/Buffer.o ../x32/Collection.i ../x32/Collection.o ../x32/Data.i ../x32/Data.o ../x32/Fun.i ../x32/Fun.o ../x32/Lazy.i ../x32/Lazy.o ../x32/List.i ../x32/List.o ../x32/Matcher.i ../x32/Matcher.o ../x32/Ostap.i ../x32/Ostap.o ../x32/Random.i ../x32/Random.o ../x32/Ref.i ../x32/Ref.o ../x32/STM.i ../x32/STM.o ../x32/Timer.i ../x32/Timer.o)) +(cram + (enabled_if (= %{system} "linux")) + (deps ../x32/Array.i ../x32/Array.o ../x32/Buffer.i ../x32/Buffer.o ../x32/Collection.i ../x32/Collection.o ../x32/Data.i ../x32/Data.o ../x32/Fun.i ../x32/Fun.o ../x32/Lazy.i ../x32/Lazy.o ../x32/List.i ../x32/List.o ../x32/Matcher.i ../x32/Matcher.o ../x32/Ostap.i ../x32/Ostap.o ../x32/Random.i ../x32/Random.o ../x32/Ref.i ../x32/Ref.o ../x32/STM.i ../x32/STM.o ../x32/Timer.i ../x32/Timer.o)) (cram (deps ../x64/Array.i ../x64/Array.o ../x64/Buffer.i ../x64/Buffer.o ../x64/Collection.i ../x64/Collection.o ../x64/Data.i ../x64/Data.o ../x64/Fun.i ../x64/Fun.o ../x64/Lazy.i ../x64/Lazy.o ../x64/List.i ../x64/List.o ../x64/Matcher.i ../x64/Matcher.o ../x64/Ostap.i ../x64/Ostap.o ../x64/Random.i ../x64/Random.o ../x64/Ref.i ../x64/Ref.o ../x64/STM.i ../x64/STM.o ../x64/Timer.i ../x64/Timer.o)) (cram (applies_to test01) (deps test01.lama)) diff --git a/stdlib/regression/gen.ml b/stdlib/regression/gen.ml index 8d1caaac6..97c5ed8bc 100644 --- a/stdlib/regression/gen.ml +++ b/stdlib/regression/gen.ml @@ -7,11 +7,17 @@ let sprintf = Printf.sprintf let () = Out_channel.with_open_text "dune" (fun dunech -> let dprintfn fmt = Format.kasprintf (Printf.fprintf dunech "%s\n") fmt in + let iflinux () = dprintfn " (enabled_if (= %%{system} \"linux\"))" in dprintfn "; This file was autogenerated\n"; dprintfn "(cram (deps ../../src/Driver.exe))"; - dprintfn "(cram (deps ../../runtime32/runtime.a ../../runtime32/Std.i))"; + dprintfn "(cram"; + iflinux (); + dprintfn " (deps ../../runtime32/runtime.a ../../runtime32/Std.i))"; dprintfn "(cram (deps ../../runtime/runtime.a ../../runtime/Std.i))"; - dprintfn "(cram (deps %s))" + + dprintfn "(cram"; + iflinux (); + dprintfn " (deps %s))" (String.concat " " (List.concat_map (fun s -> [sprintf "../x32/%s.i" s ;sprintf "../x32/%s.o" s