test: reproduce 10582

test/blackbox-tests/test-cases/mdx-stanza/shared-libraries.t/dune

@@ -0,0 +1,16 @@
+(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
+ (files :standard - *.mli)
+ (libraries public_lib))

test/blackbox-tests/test-cases/mdx-stanza/shared-libraries.t/dune-project

@@ -0,0 +1,5 @@
+(lang dune 3.15)
+
+(name dune_mdx_test)
+
+(using mdx 0.4)

test/blackbox-tests/test-cases/mdx-stanza/shared-libraries.t/public_lib.ml

@@ -0,0 +1 @@
+let foo bar = bar + 1

test/blackbox-tests/test-cases/mdx-stanza/shared-libraries.t/public_lib.mli

@@ -0,0 +1 @@
+val foo : int -> int

test/blackbox-tests/test-cases/mdx-stanza/shared-libraries.t/run.t

@@ -0,0 +1,10 @@
+mdx supports dependencies referencing shared libraries.
+
+  $ dune runtest
+  File "dune", lines 14-16, characters 0-56:
+  14 | (mdx
+  15 |  (files :standard - *.mli)
+  16 |  (libraries public_lib))
+  Fatal error: cannot load shared library dlltest
+  Reason: dlltest.so: cannot open shared object file: No such file or directory
+  [1]

test/blackbox-tests/test-cases/mdx-stanza/shared-libraries.t/test.c

@@ -0,0 +1,3 @@
+int add(int a, int b) {
+    return a + b;
+}