[Libc] add headers for FSF + CEA LGPL

headers/close-source/CEA_FSF_LGPL

+
+This file is part of Frama-C.
+
+Copyright (C) 1995-2021
+  Free Software Foundation, Inc.
+Copyright (C) 2021
+  CEA (Commissariat à l'énergie atomique et aux énergies
+       alternatives)
+
+This file is derived from the GNU C Library. 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.
+
+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).
+

headers/header_spec.txt

@@ -219,8 +219,8 @@ share/libc/__fc_runtime.c: CEA_LGPL
 share/libc/__fc_select.h: CEA_LGPL
 share/libc/__fc_string_axiomatic.h: CEA_LGPL
 share/libc/alloca.h: CEA_LGPL
-share/libc/argz.c: CEA_LGPL
-share/libc/argz.h: CEA_LGPL
+share/libc/argz.c: CEA_FSF_LGPL
+share/libc/argz.h: CEA_FSF_LGPL
 share/libc/arpa/inet.h: CEA_LGPL
 share/libc/assert.c: CEA_LGPL
 share/libc/assert.h: CEA_LGPL

headers/open-source/CEA_FSF_LGPL

+
+This file is part of Frama-C.
+
+Copyright (C) 1995-2021
+  Free Software Foundation, Inc.
+Copyright (C) 2021
+  CEA (Commissariat à l'énergie atomique et aux énergies
+       alternatives)
+
+This file is derived from the GNU C Library. 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.
+
+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).
+

share/libc/argz.c

@@ -2,10 +2,16 @@
 /*                                                                        */
 /*  This file is part of Frama-C.                                         */
 /*                                                                        */
-/*  Copyright (C) 2007-2021                                               */
+/*  Copyright (C) 1995-2021                                               */
+/*    Free Software Foundation, Inc.                                      */
+/*  Copyright (C) 2021                                                    */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
+/*  This file is derived from the GNU C Library. 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.    */
+/*                                                                        */
 /*  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.                                              */

share/libc/argz.h

@@ -2,10 +2,16 @@
 /*                                                                        */
 /*  This file is part of Frama-C.                                         */
 /*                                                                        */
-/*  Copyright (C) 2007-2021                                               */
+/*  Copyright (C) 1995-2021                                               */
+/*    Free Software Foundation, Inc.                                      */
+/*  Copyright (C) 2021                                                    */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
+/*  This file is derived from the GNU C Library. 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.    */
+/*                                                                        */
 /*  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.                                              */