From 795d03e0cca5ec0fb9e417990da6af3a8e9f5638 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 28 Apr 2021 22:56:13 +0200
Subject: [PATCH] [analysis-scripts] fix distribution of new scripts
---
Makefile | 5 +++++
headers/header_spec.txt | 5 +++++
2 files changed, 10 insertions(+)
diff --git a/Makefile b/Makefile
index 167e458ce8b..50d209e216a 100644
--- a/Makefile
+++ b/Makefile
@@ -256,23 +256,28 @@ DISTRIB_FILES:=\
$(LIBC_FILES) \
share/analysis-scripts/analysis.mk \
share/analysis-scripts/benchmark_database.py \
+ share/analysis-scripts/build_callgraph.py \
share/analysis-scripts/cmd-dep.sh \
share/analysis-scripts/concat-csv.sh \
share/analysis-scripts/clone.sh \
share/analysis-scripts/creduce.sh \
+ share/analysis-scripts/detect_recursion.py \
share/analysis-scripts/epilogue.mk \
+ share/analysis-scripts/estimate_difficulty.py \
share/analysis-scripts/fc_stubs.c \
share/analysis-scripts/find_fun.py \
share/analysis-scripts/flamegraph.pl \
share/analysis-scripts/frama_c_results.py \
share/analysis-scripts/function_finder.py \
share/analysis-scripts/git_utils.py \
+ share/analysis-scripts/heuristic_list_functions.py \
share/analysis-scripts/list_files.py \
share/analysis-scripts/list_functions.ml \
share/analysis-scripts/make_template.py \
share/analysis-scripts/make_wrapper.py \
share/analysis-scripts/normalize_jcdb.py \
share/analysis-scripts/parse-coverage.sh \
+ share/analysis-scripts/print_callgraph.py \
share/analysis-scripts/prologue.mk \
share/analysis-scripts/README.md \
share/analysis-scripts/results_display.py \
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index edc62ce1b07..d80b968b60c 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -114,9 +114,12 @@ ptests/ptests.ml: CEA_LGPL
share/_frama-c: CEA_LGPL
share/analysis-scripts/analysis.mk: CEA_LGPL
share/analysis-scripts/benchmark_database.py: CEA_LGPL
+share/analysis-scripts/build_callgraph.py: CEA_LGPL
share/analysis-scripts/clone.sh: .ignore
share/analysis-scripts/creduce.sh: CEA_LGPL
+share/analysis-scripts/detect_recursion.py: CEA_LGPL
share/analysis-scripts/epilogue.mk: CEA_LGPL
+share/analysis-scripts/estimate_difficulty.py: CEA_LGPL
share/analysis-scripts/fc_stubs.c: .ignore
share/analysis-scripts/frama_c_results.py: CEA_LGPL
share/analysis-scripts/cmd-dep.sh: .ignore
@@ -125,12 +128,14 @@ share/analysis-scripts/find_fun.py: CEA_LGPL
share/analysis-scripts/flamegraph.pl: CDDL
share/analysis-scripts/function_finder.py: .ignore
share/analysis-scripts/git_utils.py: CEA_LGPL
+share/analysis-scripts/heuristic_list_functions.py: CEA_LGPL
share/analysis-scripts/list_files.py: CEA_LGPL
share/analysis-scripts/list_functions.ml: CEA_LGPL
share/analysis-scripts/make_template.py: CEA_LGPL
share/analysis-scripts/make_wrapper.py: CEA_LGPL
share/analysis-scripts/normalize_jcdb.py: CEA_LGPL
share/analysis-scripts/parse-coverage.sh: .ignore
+share/analysis-scripts/print_callgraph.py: CEA_LGPL
share/analysis-scripts/prologue.mk: CEA_LGPL
share/analysis-scripts/README.md: .ignore
share/analysis-scripts/results_display.py: CEA_LGPL
--
GitLab