@@ -9,12 +9,12 @@ Tests for promoting directory targets
99 $ cat > dune << EOF
1010 > (rule
1111 > (deps
12- > (source_tree deep ))
12+ > (source_tree deep ))
1313 > (targets
14- > (dir deep_copied))
14+ > (dir deep_copied))
1515 > (mode promote)
1616 > (action
17- > (run cp -r deep deep_copied)))
17+ > (run cp -r deep deep_copied)))
1818 > EOF
1919
2020Let's create the directory structure we are going to promote (as a copy on
@@ -35,33 +35,16 @@ This one works. Now, let's add a layer between base_file and deep_file:
3535 $ touch deep /a /b /deep_file
3636 $ touch deep /base_file
3737
38- $ dune build deep_copied --verbose
39- Shared cache : enabled-except-user-rules
40- Shared cache location : /home /panglesd /.cache /dune /db
41- Workspace root :
42- $TESTCASE_ROOT
43- Dune context :
44- { name = "default"
45- ; kind = "default"
46- ; profile = Dev
47- ; merlin = true
48- ; fdo_target_exe = None
49- ; build_dir = In_build_dir "default"
50- ; instrument_with = []
51- }
52- Actual targets:
53- - _build/ default / deep_copied
54- Running[1 ]: (cd _build/ default && / usr/ bin/ cp -r deep deep_copied)
55- Promoting " _build/default/deep_copied/a/b/deep_file" to
56- " deep_copied/a/b/deep_file"
57- File " dune" , lines 1 -7, characters 0 -121:
38+ $ dune build deep_copied
39+ File "dune ", lines 1-8 , characters 0-123 :
5840 1 | (rule
5941 2 | (deps
6042 3 | (source_tree deep ))
61- 4 | (targets (dir deep_copied))
62- 5 | (mode promote)
63- 6 | (action
64- 7 | (run cp -r deep deep_copied)))
43+ 4 | (targets
44+ 5 | (dir deep_copied))
45+ 6 | (mode promote)
46+ 7 | (action
47+ 8 | (run cp -r deep deep_copied)))
6548 Error : Cannot promote files to "deep_copied /a /b ".
6649 Reason : opendir (deep_copied/ a/ b): No such file or directory
6750 - > required by _build /default /deep_copied
0 commit comments