dunify in stdlib/regression

Signed-off-by: Kakadu <[email protected]>

Author: Kakadu

stdlib/regression/Makefile

@@ -0,0 +1,69 @@
+; This file was autogenerated
+
+(cram (deps ../../src/Driver.exe))
+(cram (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 (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))
+(cram (applies_to test02)
+  (deps test02.lama))
+(cram (applies_to test03)
+  (deps test03.lama))
+(cram (applies_to test04)
+  (deps test04.lama))
+(cram (applies_to test05)
+  (deps test05.lama))
+(cram (applies_to test06)
+  (deps test06.lama))
+(cram (applies_to test07)
+  (deps test07.lama))
+(cram (applies_to test08)
+  (deps test08.lama))
+(cram (applies_to test09)
+  (deps test09.lama))
+(cram (applies_to test10)
+  (deps test10.lama))
+(cram (applies_to test11)
+  (deps test11.lama))
+(cram (applies_to test12)
+  (deps test12.lama))
+(cram (applies_to test13)
+  (deps test13.lama))
+(cram (applies_to test14)
+  (deps test14.lama))
+(cram (applies_to test15)
+  (deps test15.lama))
+(cram (applies_to test16)
+  (deps test16.lama))
+(cram (applies_to test17)
+  (deps test17.lama))
+(cram (applies_to test18)
+  (deps test18.lama))
+(cram (applies_to test20)
+  (deps test20.lama))
+(cram (applies_to test21)
+  (deps test21.lama))
+(cram (applies_to test22)
+  (deps test22.lama))
+(cram (applies_to test23)
+  (deps test23.lama))
+(cram (applies_to test24)
+  (deps test24.lama))
+(cram (applies_to test25)
+  (deps test25.lama))
+(cram (applies_to test26)
+  (deps test26.lama))
+(cram (applies_to test27)
+  (deps test27.lama))
+(cram (applies_to test28)
+  (deps test28.lama))
+(cram (applies_to test29)
+  (deps test29.lama))
+(cram (applies_to test32)
+  (deps test32.lama))
+(cram (applies_to test33)
+  (deps test33.lama))
+(cram (applies_to test34)
+  (deps test34.lama))

stdlib/regression/dune

@@ -0,0 +1,50 @@
+(* Run as `ocaml gen.ml` *)
+
+let count = 35
+let stdlib = ["Array"; "Buffer"; "Collection"; "Data"; "Fun"; "Lazy"; "List"; "Matcher"; "Ostap"; "Random"; "Ref"; "STM"; "Timer" ]
+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
+      dprintfn "; This file was autogenerated\n";
+      dprintfn "(cram (deps ../../src/Driver.exe))";
+      dprintfn "(cram (deps ../../runtime32/runtime.a ../../runtime32/Std.i))";
+      dprintfn "(cram (deps ../../runtime/runtime.a ../../runtime/Std.i))";
+      dprintfn "(cram (deps %s))"
+        (String.concat " " (List.concat_map (fun s ->
+            [sprintf "../x32/%s.i" s
+            ;sprintf "../x32/%s.o" s
+            ])
+            stdlib));
+      dprintfn "(cram (deps %s))"
+      (String.concat " " (List.concat_map (fun s ->
+          [sprintf "../x64/%s.i" s
+          ;sprintf "../x64/%s.o" s
+          ])
+          stdlib));
+
+      for i = 0 to count - 1 do
+        let cram_buf = Buffer.create 100 in
+        let cram_printfn fmt =
+          Format.kasprintf (Printf.bprintf cram_buf "%s\n") fmt
+        in
+        let cram_file = ref (Printf.sprintf "test%02d.t" i) in
+        let lama_file = ref (Printf.sprintf "test%02d.lama" i) in
+
+        let found =
+          if Sys.file_exists !lama_file && i <> 30 then (
+            (* cram_printfn "  $ ls ../x64"; *)
+            cram_printfn
+              "  $ LAMA=../../runtime ../../src/Driver.exe -I ../x64 -ds -dp test%02d.lama -o test" i;
+            cram_printfn "  $ ./test";
+            true)
+          else   false
+        in
+        if found then (
+          dprintfn "(cram (applies_to test%02d)"            i;
+          dprintfn "  (deps %s))" !lama_file;
+          Out_channel.with_open_text !cram_file (fun ch ->
+              output_string ch "This file was autogenerated.\n";
+              output_string ch (Buffer.contents cram_buf)))
+      done)