From 6b546c678c19fcf59137d37ca2281c6b1ef7ff5b Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Thu, 5 Mar 2020 18:58:05 +0100 Subject: [PATCH] headers --- bin/migration_scripts/calcium2scandium.sh | 2 +- headers/headache_config.txt | 2 ++ headers/header_spec.txt | 6 ++++-- 3 files changed, 7 insertions(+), 3 deletions(-) diff --git a/bin/migration_scripts/calcium2scandium.sh b/bin/migration_scripts/calcium2scandium.sh index 2369bb87b4f..f1c05c3634d 100755 --- a/bin/migration_scripts/calcium2scandium.sh +++ b/bin/migration_scripts/calcium2scandium.sh @@ -3,7 +3,7 @@ # # # This file is part of Frama-C. # # # -# Copyright (C) 2007-2019 # +# Copyright (C) 2007-2020 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/headers/headache_config.txt b/headers/headache_config.txt index 17a5e0df7c7..969d2cf1381 100644 --- a/headers/headache_config.txt +++ b/headers/headache_config.txt @@ -53,6 +53,8 @@ | ".*frama-c.byte" -> skip match:"#!.*" | "frama-c.top" -> frame open:"#" line:"#" close:"#" | ".*frama-c.top" -> skip match:"#!.*" +| "frama-c.debug" -> frame open:"#" line:"#" close:"#" +| ".*frama-c.debug" -> skip match:"#!.*" ################ # Perl scripts # diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 88e6eb60c47..1af38362830 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -22,10 +22,12 @@ bin/frama-c-script: CEA_LGPL bin/frama-c-gui: CEA_LGPL bin/frama-c-gui.byte: CEA_LGPL bin/frama-c.byte: CEA_LGPL +bin/frama-c.debug: CEA_LGPL bin/frama-c.top: CEA_LGPL bin/local_export.sh: CEA_LGPL bin/migration_scripts/aluminium2silicon.sh: CEA_LGPL bin/migration_scripts/boron2carbon.sh: CEA_LGPL +bin/migration_scripts/calcium2scandium.sh: CEA_LGPL bin/migration_scripts/carbon2nitrogen.sh: CEA_LGPL bin/migration_scripts/fluorine2neon.sh: CEA_LGPL bin/migration_scripts/lithium2beryllium.sh: CEA_LGPL @@ -364,8 +366,8 @@ src/kernel_internals/parsing/logic_preprocess.mli: CEA_INRIA_LGPL src/kernel_internals/parsing/logic_preprocess.mll: CEA_INRIA_LGPL src/kernel_internals/runtime/README.md: .ignore src/kernel_internals/runtime/boot.ml: CEA_LGPL -src/kernel_internals/runtime/config.ml.in: CEA_LGPL -src/kernel_internals/runtime/config.mli: CEA_LGPL +src/kernel_internals/runtime/fc_config.ml.in: CEA_LGPL +src/kernel_internals/runtime/fc_config.mli: CEA_LGPL src/kernel_internals/runtime/frama_c_config.ml.in: CEA_LGPL src/kernel_internals/runtime/frama_c_init.ml: CEA_LGPL src/kernel_internals/runtime/frama_c_init.mli: CEA_LGPL -- GitLab