test: add a repro for #10582

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)))

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]