From 3ac9c4b16b2819bd97e1d15a2ea2cc6e8fbaa30c Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Mon, 20 Jun 2022 08:50:05 +0200 Subject: [PATCH] Add header to header_config --- headers/header_config.txt | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/headers/header_config.txt b/headers/header_config.txt index a6b65de..f6d1b46 100644 --- a/headers/header_config.txt +++ b/headers/header_config.txt @@ -1,3 +1,35 @@ +########################################################################## +# # +# This file is part of the Frama-C's MetACSL plug-in. # +# # +# Copyright (C) 2018-2022 # +# CEA (Commissariat à l'énergie atomique et aux énergies # +# alternatives) # +# # +# you can redistribute it and/or modify it under the terms of the GNU # +# Lesser General Public License as published by the Free Software # +# Foundation, version 2.1. # +# # +# It is distributed in the hope that it will be useful, # +# but WITHOUT ANY WARRANTY; without even the implied warranty of # +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # +# GNU Lesser General Public License for more details. # +# # +# See the GNU Lesser General Public License version 2.1 # +# for more details (enclosed in the file LICENSE) # +# # +########################################################################## + +################# +# Header config # +################# + +| "header_config.txt" -> frame open:"#" line:"#" close:"#" + +############# +# CONFIGURE # +############# + | ".*configure\..*" -> frame open:"#" line:"#" close:"#" ########## -- GitLab