Add test

Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
ocaml · Mar 5, 2021 · 35e5ff6 · 35e5ff6
1 parent bff6281
commit 35e5ff6
Show file tree

Hide file tree

Showing 7 changed files with 33 additions and 0 deletions.
diff --git a/test/blackbox-tests/test-cases/top.t/dune b/test/blackbox-tests/test-cases/top.t/dune
@@ -0,0 +1,2 @@
+(library
+ (name x))
diff --git a/test/blackbox-tests/test-cases/top.t/dune-project b/test/blackbox-tests/test-cases/top.t/dune-project
@@ -0,0 +1 @@
+(lang dune 2.8)
diff --git a/test/blackbox-tests/test-cases/top.t/run.t b/test/blackbox-tests/test-cases/top.t/run.t
@@ -0,0 +1,12 @@
+Basic check that directives are correctly emitted.
+  $ dune top
+  #directory "$TESTCASE_ROOT/_build/default/.x.objs/byte";;
+  #directory "$TESTCASE_ROOT/_build/default/stubs";;
+  #directory "$TESTCASE_ROOT/_build/default/stubs/.z.objs/byte";;
+  #load "$TESTCASE_ROOT/_build/default/stubs/z.cma";;
+  #load "$TESTCASE_ROOT/_build/default/x.cma";;
+
+Check that C stubs work.
+  $ (dune top && echo "Z.f ();;") > init.mltop
+  $ ocaml init.mltop
+  Hello!
diff --git a/test/blackbox-tests/test-cases/top.t/stubs/dune b/test/blackbox-tests/test-cases/top.t/stubs/dune
@@ -0,0 +1,5 @@
+(library
+ (name z)
+ (foreign_stubs
+  (language c)
+  (names z_stubs)))
diff --git a/test/blackbox-tests/test-cases/top.t/stubs/z.ml b/test/blackbox-tests/test-cases/top.t/stubs/z.ml
@@ -0,0 +1,4 @@
+external hello : unit -> unit = "ml_hello"
+
+let f () =
+  hello ()
diff --git a/test/blackbox-tests/test-cases/top.t/stubs/z_stubs.c b/test/blackbox-tests/test-cases/top.t/stubs/z_stubs.c
@@ -0,0 +1,9 @@
+#include <caml/mlvalues.h>
+#include <stdio.h>
+
+value ml_hello(value vunit)
+{
+  printf("Hello!\n");
+  fflush(stdout);
+  return Val_unit;
+}
diff --git a/test/blackbox-tests/test-cases/top.t/x.ml b/test/blackbox-tests/test-cases/top.t/x.ml