File tree 1 file changed +43
-0
lines changed
test/blackbox-tests/test-cases
1 file changed +43
-0
lines changed Original file line number Diff line number Diff line change
1
+ We create two libraries `l. one ` and `l. two` with a conflicting module.
2
+ They build fine, are not co-linkable, but documentation should be able to be
3
+ built. See # 1645.
4
+
5
+ $ cat > dune-project << EOF
6
+ > (lang dune 1.0 )
7
+ > (package (name l))
8
+ > EOF
9
+
10
+ $ mkdir one
11
+ $ cat > one / dune << EOF
12
+ > (library
13
+ > (name l_one)
14
+ > (public_name l. one )
15
+ > (wrapped false))
16
+ > EOF
17
+ $ touch one / module. ml
18
+
19
+ $ mkdir two
20
+ $ cat > two/ dune << EOF
21
+ > (library
22
+ > (name l_two)
23
+ > (public_name l. two)
24
+ > (wrapped false))
25
+ > EOF
26
+ $ touch two/ module. ml
27
+
28
+ $ dune build @ install
29
+ $ dune build @ doc
30
+ Error: Multiple rules generated for
31
+ _build/ default / _doc/ _html/ l/ Module/. dummy:
32
+ - <internal location >
33
+ - <internal location >
34
+ -> required by alias _doc/ _html/ l/ doc
35
+ -> required by alias doc
36
+ Error: Multiple rules generated for
37
+ _build/ default / _doc/ _odocls/ l/ module. odocl:
38
+ - <internal location >
39
+ - <internal location >
40
+ -> required by _build/ default / _doc/ _html/ l/ index . html
41
+ -> required by alias _doc/ _html/ l/ doc
42
+ -> required by alias doc
43
+ [1 ]
You can’t perform that action at this time.
0 commit comments