From 4c0c22ef47c8cf7e88b526e674cea2799b6ad900 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 28 Aug 2020 14:14:13 +0200
Subject: [PATCH] [dune] install analysis-scripts files

---
 share/dune | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/share/dune b/share/dune
index c0f6372badf..24faa67ba2b 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)
 ))
-- 
GitLab