Add test cases to show binary/lib name collisions

test/blackbox-tests/dune.inc

@@ -419,6 +419,14 @@
    test-cases/exclude-missing-module
    (progn (run %{exe:cram.exe} -test run.t) (diff? run.t run.t.corrected)))))
 
+(alias
+ (name exe-name-mangle)
+ (deps (package dune) (source_tree test-cases/exe-name-mangle))
+ (action
+  (chdir
+   test-cases/exe-name-mangle
+   (progn (run %{exe:cram.exe} -test run.t) (diff? run.t run.t.corrected)))))
+
 (alias
  (name exec-cmd)
  (deps (package dune) (source_tree test-cases/exec-cmd))
@@ -1628,6 +1636,7 @@
   (alias env-var-expansion)
   (alias env-variables)
   (alias exclude-missing-module)
+  (alias exe-name-mangle)
   (alias exec-cmd)
   (alias exec-missing)
   (alias external-lib-deps)
@@ -1818,6 +1827,7 @@
   (alias env-var-expansion)
   (alias env-variables)
   (alias exclude-missing-module)
+  (alias exe-name-mangle)
   (alias exec-cmd)
   (alias exec-missing)
   (alias external-lib-deps)

test/blackbox-tests/test-cases/exe-name-mangle/multi-module/baz.ml

@@ -0,0 +1,2 @@
+let () =
+  Foo.run ()

test/blackbox-tests/test-cases/exe-name-mangle/multi-module/dune

@@ -0,0 +1,7 @@
+(executable
+ (libraries foo)
+ (name baz))
+
+(alias
+ (name default)
+ (action (run ./baz.exe)))

test/blackbox-tests/test-cases/exe-name-mangle/multi-module/dune-project

@@ -0,0 +1 @@
+(lang dune 1.11)

test/blackbox-tests/test-cases/exe-name-mangle/multi-module/foo.ml

@@ -0,0 +1,2 @@
+(* finally calling into library *)
+let run = Bar.run ()

test/blackbox-tests/test-cases/exe-name-mangle/multi-module/foo/bar.ml

@@ -0,0 +1,2 @@
+(* directly usable but will cause linking error *)
+let run = Foo.run

test/blackbox-tests/test-cases/exe-name-mangle/multi-module/foo/dune

@@ -0,0 +1,3 @@
+(library
+ (name foo)
+ (wrapped false))

test/blackbox-tests/test-cases/exe-name-mangle/multi-module/foo/foo.ml

@@ -0,0 +1 @@
+let run () = print_endline "not directly usable"

test/blackbox-tests/test-cases/exe-name-mangle/run.t

@@ -0,0 +1,15 @@
+Binary composed of a single module with the same name as the dependency
+  $ dune build --root single-module 2>&1 | grep -v ocamlopt
+  Entering directory 'single-module'
+  File "exe.ml", line 1:
+  Error: The files foo/.foo.objs/byte/foo.cmi and .exe.eobjs/byte/exe.cmi
+         make inconsistent assumptions over interface Exe
+Binary composed of multiple modules where one collides with a dependency
+  $ dune build --root multi-module 2>&1 | grep -v ocamlopt | grep -v ocamlc
+  Entering directory 'multi-module'
+  File "foo.ml", line 1:
+  Error: The files foo/.foo.objs/byte/bar.cmi and .baz.eobjs/byte/foo.cmi
+         make inconsistent assumptions over interface Foo
+  File "baz.ml", line 1:
+  Error: The files .baz.eobjs/byte/foo.cmi and .baz.eobjs/byte/foo.cmi
+         make inconsistent assumptions over interface Foo

test/blackbox-tests/test-cases/exe-name-mangle/single-module/collision-lib/collisionlib.ml

@@ -0,0 +1,2 @@
+(* make sure everything is linked *)
+let run = Exe.run

test/blackbox-tests/test-cases/exe-name-mangle/single-module/collision-lib/dune

@@ -0,0 +1,3 @@
+(library
+ (name exe)
+ (wrapped false))

test/blackbox-tests/test-cases/exe-name-mangle/single-module/collision-lib/exe.ml

@@ -0,0 +1 @@
+let run () = print_endline "this module is unlinkable"

test/blackbox-tests/test-cases/exe-name-mangle/single-module/dune

@@ -0,0 +1,7 @@
+(executable
+ (libraries foo)
+ (name exe))
+
+(alias
+ (name default)
+ (action (run ./exe.exe)))

test/blackbox-tests/test-cases/exe-name-mangle/single-module/dune-project

@@ -0,0 +1,3 @@
+(lang dune 1.11)
+
+(implicit_transitive_deps false)

test/blackbox-tests/test-cases/exe-name-mangle/single-module/exe.ml

@@ -0,0 +1,2 @@
+let () =
+  Foo.run ()

test/blackbox-tests/test-cases/exe-name-mangle/single-module/foo/dune

@@ -0,0 +1,3 @@
+(library
+ (libraries exe)
+ (name foo))

test/blackbox-tests/test-cases/exe-name-mangle/single-module/foo/foo.ml

@@ -0,0 +1,3 @@
+let run () =
+  Exe.run ();
+  Collisionlib.run ()