test: add a repro for #10582 (#10599)

* test: add a repro for #10582 Signed-off-by: Masayuki Takeda <[email protected]> Co-authored-by: Antonio Nuno Monteiro <[email protected]> Co-authored-by: Etienne Millon <[email protected]>
ocaml · May 29, 2024 · e74efa6 · e74efa6
1 parent 72c5505
commit e74efa6
Show file tree

Hide file tree

Showing 2 changed files with 56 additions and 0 deletions.
diff --git a/test/blackbox-tests/test-cases/mdx-stanza/dune b/test/blackbox-tests/test-cases/mdx-stanza/dune
@@ -3,3 +3,12 @@
  (deps
   (package mdx))
  (alias all-mdx-tests))
+
+(cram
+ (applies_to shared-libraries)
+ (enabled_if
+  (= %{system} linux))
+ (deps
+  %{bin:gcc}
+  %{bin:ar}
+  (package mdx)))
diff --git a/test/blackbox-tests/test-cases/mdx-stanza/shared-libraries.t b/test/blackbox-tests/test-cases/mdx-stanza/shared-libraries.t
@@ -0,0 +1,47 @@
+mdx supports dependencies referencing shared libraries.
+
+See #10582.
+
+  $ cat > dune-project << EOF
+  > (lang dune 3.15)
+  > (name dune_mdx_test)
+  > (using mdx 0.4)
+  > EOF
+
+  $ cat > dune << EOF
+  > (library
+  >  (name public_lib)
+  >  (foreign_archives test))
+  > 
+  > (rule
+  >  (deps test.c)
+  >  (targets libtest.a dlltest.so)
+  >  (action
+  >   (progn
+  >    (run gcc -c -fPIC test.c -o test.o)
+  >    (run gcc test.o -shared -o dlltest.so)
+  >    (run ar rcs libtest.a test.o))))
+  > 
+  > (mdx
+  >  (libraries public_lib))
+  > EOF
+
+  $ touch README.md
+
+  $ cat > public_lib.ml << EOF
+  > let foo bar = bar + 1
+  > EOF
+
+  $ cat > test.c << EOF
+  > int add(int a, int b) {
+  >     return a + b;
+  > }
+  > EOF
+
+  $ dune runtest
+  File "dune", lines 14-15, characters 0-29:
+  14 | (mdx
+  15 |  (libraries public_lib))
+  Fatal error: cannot load shared library dlltest
+  Reason: dlltest.so: cannot open shared object file: No such file or directory
+  [1]