File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -825,6 +825,19 @@ write_cross_compilation_repro_project() {
825825 fi
826826}
827827
828+ make_dune_cache_copy_project () {
829+ make_dune_project 2.1
830+ cat > dune << -'EOF '
831+ (rule
832+ (deps source)
833+ (targets target)
834+ (action (copy source target)))
835+ EOF
836+ cat > source << -'EOF '
837+ \_o< COIN
838+ EOF
839+ }
840+
828841make_two_context_workspace () {
829842 local version=" ${1:- 3.13} "
830843 local name=" ${2:- alt-context} "
Original file line number Diff line number Diff line change @@ -10,16 +10,7 @@ Check that old cache configuration format works fine with an old language
1010 > (cache-trim-period 1 h)
1111 > (cache-trim-size 1 GB)
1212 > EOF
13- $ make_dune_project 2.1
14- $ cat > dune << EOF
15- > (rule
16- > (deps source)
17- > (targets target)
18- > (action (copy source target)))
19- > EOF
20- $ cat > source <<EOF
21- > \_o < COIN
22- > EOF
13+ $ make_dune_cache_copy_project
2314
2415Test that DUNE_CACHE_ROOT can be used to control the cache location
2516
Original file line number Diff line number Diff line change @@ -3,16 +3,7 @@ Test deduplication of build artifacts when using Dune cache with hard links.
33 $ export DUNE_CACHE= enabled
44 $ export DUNE_CACHE_ROOT= $ (dune_cmd native-path $ PWD /. cache)
55
6- $ make_dune_project 2.1
7- $ cat > dune << EOF
8- > (rule
9- > (deps source)
10- > (targets target)
11- > (action (copy source target)))
12- > EOF
13- $ cat > source <<EOF
14- > \_o < COIN
15- > EOF
6+ $ make_dune_cache_copy_project
167
178Here we build [target], which is a copy of [source]. After the build, the same
189file will appear in the build directory twice: (i) as [_build/ default / source],
You can’t perform that action at this time.
0 commit comments