Merge branch 'feature/ivette/distrib-api-generator' into 'master'

[ivette] distribute api-generator with a header

See merge request frama-c/frama-c!3612

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

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"
         ;;
     *)

ivette/src/frama-c/api_generator.ml

+(**************************************************************************)
+(*                                                                        *)
+(*  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                                   --- *)
 (* -------------------------------------------------------------------------- *)