diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt index 0ae1cb1ccfd134dbf5a645bfcf912bd25a7d6f36..e4d41f1530f1c839dd642385123045132d425cc2 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 d288cc053ac8fefda9d37e85a7c3e62adc03d19a..264b48847f8afc6e8809da2aa4ab674c5f6c62c9 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 10b7aec4914ff0d36d26c905d697cdb5d0d28e2c..371495e164343380571b7490cc496fffbb2b4302 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 --- *) (* -------------------------------------------------------------------------- *)