diff --git a/share/dune b/share/dune
index c0f6372badf19109521786b7d1fe1be47f60109c..24faa67ba2b5735ae8753c379788d56ca54a3a71 100644
--- a/share/dune
+++ b/share/dune
@@ -147,4 +147,31 @@
 (libc/__fc_define_stat.h as libc/__fc_define_stat.h)
 (libc/errno.c as libc/errno.c)
 (libc/__fc_builtin.h as libc/__fc_builtin.h)
+(analysis-scripts/analysis.mk as analysis-scripts/analysis.mk)
+(analysis-scripts/benchmark_database.py as analysis-scripts/benchmark_database.py)
+(analysis-scripts/benchmark.sh as analysis-scripts/benchmark.sh)
+(analysis-scripts/bench-sqlite.sh as analysis-scripts/bench-sqlite.sh)
+(analysis-scripts/clone.sh as analysis-scripts/clone.sh)
+(analysis-scripts/cmd-dep.sh as analysis-scripts/cmd-dep.sh)
+(analysis-scripts/concat-csv.sh as analysis-scripts/concat-csv.sh)
+(analysis-scripts/creduce.sh as analysis-scripts/creduce.sh)
+(analysis-scripts/epilogue.mk as analysis-scripts/epilogue.mk)
+(analysis-scripts/fc_stubs.c as analysis-scripts/fc_stubs.c)
+(analysis-scripts/find_fun.py as analysis-scripts/find_fun.py)
+(analysis-scripts/flamegraph.pl as analysis-scripts/flamegraph.pl)
+(analysis-scripts/frama_c_results.py as analysis-scripts/frama_c_results.py)
+(analysis-scripts/function_finder.py as analysis-scripts/function_finder.py)
+(analysis-scripts/git_utils.py as analysis-scripts/git_utils.py)
+(analysis-scripts/list_files.py as analysis-scripts/list_files.py)
+(analysis-scripts/make_template.py as analysis-scripts/make_template.py)
+(analysis-scripts/make_wrapper.py as analysis-scripts/make_wrapper.py)
+(analysis-scripts/parse-coverage.sh as analysis-scripts/parse-coverage.sh)
+(analysis-scripts/plot.sh as analysis-scripts/plot.sh)
+(analysis-scripts/prologue.mk as analysis-scripts/prologue.mk)
+(analysis-scripts/readme-graph.graphml as analysis-scripts/readme-graph.graphml)
+(analysis-scripts/readme-graph.svg as analysis-scripts/readme-graph.svg)
+(analysis-scripts/README.md as analysis-scripts/README.md)
+(analysis-scripts/results_display.py as analysis-scripts/results_display.py)
+(analysis-scripts/summary.py as analysis-scripts/summary.py)
+(analysis-scripts/template.mk as analysis-scripts/template.mk)
 ))