Skip to content
Snippets Groups Projects
Commit 2d35c023 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[tests] disable cache for a few dune commands in cram tests

parent 7056dce8
No related branches found
No related tags found
No related merge requests found
$ dune build --root . @install
$ dune build --cache=disabled --root . @install
Basic case
$ dune exec -- frama-c
$ dune exec --cache=disabled -- frama-c
[kernel] IS_SET false
[dirs] path (dir)
[dirs] Found: FRAMAC_SHARE/dirs/path
......@@ -22,7 +22,7 @@ Basic case
With option
$ cp -r share copied
$ dune exec -- frama-c -dirs-share copied
$ dune exec --cache=disabled -- frama-c -dirs-share copied
[kernel] IS_SET true
[dirs] path (dir)
[dirs] Found: copied/path
......
......@@ -3,7 +3,7 @@ touch the actual user HOME.
In addition, make sure that you use dune with option `--cache=disabled`,
in order not to pollute `home/.cache` in dune >= 3.16
$ dune build --root . @install
$ dune build --cache=disabled --root . @install
Basic case
$ HOME=home dune exec --cache=disabled -- frama-c
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment