From be20f13a519f7012651e5ba2a81c82d4c340a052 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 23 Feb 2022 14:59:57 +0100
Subject: [PATCH] [ivette] distribute api-generator with a header
---
ivette/headers/header_spec.txt | 2 +-
ivette/headers/register.sh | 2 +-
ivette/src/frama-c/api_generator.ml | 22 ++++++++++++++++++++++
3 files changed, 24 insertions(+), 2 deletions(-)
diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt
index 0ae1cb1ccfd..e4d41f1530f 100644
--- a/ivette/headers/header_spec.txt
+++ b/ivette/headers/header_spec.txt
@@ -139,7 +139,7 @@ src/dome/template/typescript.el: .ignore
src/dome/template/update.sh: .ignore
src/dome/template/webpack.main.js: CEA_LGPL
src/dome/template/webpack.renderer.js: CEA_LGPL
-src/frama-c/api_generator.ml: .ignore
+src/frama-c/api_generator.ml: CEA_LGPL
src/frama-c/client.ts: CEA_LGPL
src/frama-c/client_socket.ts: CEA_LGPL
src/frama-c/client_zmq.ts: CEA_LGPL
diff --git a/ivette/headers/register.sh b/ivette/headers/register.sh
index d288cc053ac..264b48847f8 100755
--- a/ivette/headers/register.sh
+++ b/ivette/headers/register.sh
@@ -3,7 +3,7 @@ case "$1" in
Makefile.distrib | *.json | src/dome/doc/* | */.eslintrc.js )
echo "$1: .ignore"
;;
- *Make* | src/*/*.js* | src/*/*.ts* )
+ *Make* | src/*/*.js* | src/*/*.ts* | src/*/*.ml*)
echo "$1: CEA_LGPL"
;;
*)
diff --git a/ivette/src/frama-c/api_generator.ml b/ivette/src/frama-c/api_generator.ml
index 10b7aec4914..371495e1643 100644
--- a/ivette/src/frama-c/api_generator.ml
+++ b/ivette/src/frama-c/api_generator.ml
@@ -1,3 +1,25 @@
+(**************************************************************************)
+(* *)
+(* This file is part of Frama-C. *)
+(* *)
+(* Copyright (C) 2007-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 licenses/LGPLv2.1). *)
+(* *)
+(**************************************************************************)
+
(* -------------------------------------------------------------------------- *)
(* --- Frama-C TypeScript API Generator --- *)
(* -------------------------------------------------------------------------- *)
--
GitLab