[Eva] api: Do not insert header into Eva.mli

Makefile

@@ -930,16 +930,15 @@ PLUGIN_TYPES_CMO:=$(VALUE_TYPES)
 PLUGIN_TYPES_TODOC:=$(addsuffix .mli,$(VALUE_TYPES))
 
 # Eva API
-API_HEADER := headers/open-source/CEA_LGPL_OR_PROPRIETARY
 API_MLI := $(addprefix $(PLUGIN_DIR)/, \
   utils/results.mli utils/value_results.mli value_parameters.mli \
   legacy/eval_terms.mli utils/unit_tests.mli utils/eva_annotations.mli \
   eval.mli domains/cvalue/builtins.mli)
 
-$(PLUGIN_DIR)/Eva.mli: $(PLUGIN_DIR)/gen-api.sh Makefile $(API_HEADER) $(API_MLI)
+$(PLUGIN_DIR)/Eva.mli: $(PLUGIN_DIR)/gen-api.sh Makefile $(API_MLI)
 	$(PRINT_MAKING) $@
 	$(RM) $@ $@.tmp
-	$< $(API_HEADER) $(API_MLI) > $@.tmp
+	$< $(API_MLI) > $@.tmp
 	$(CHMOD_RO) $@.tmp
 	$(MV) $@.tmp $@
 

headers/header_spec.txt

@@ -1315,7 +1315,7 @@ src/plugins/users/users_register.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/users/users_register.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/.merlin: .ignore
 src/plugins/value/Changelog_non_free: .ignore
-src/plugins/value/Eva.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/Eva.mli: .ignore
 src/plugins/value/alarmset.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/alarmset.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/api/general_requests.ml: CEA_LGPL_OR_PROPRIETARY

src/plugins/value/Eva.mli

-(**************************************************************************)
-(*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
-(*                                                                        *)
-(*  Copyright (C) 2007-2021                                               *)
-(*    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).            *)
-(*                                                                        *)
-(**************************************************************************)
-
 (* This file is generated. Do not edit. *)
 
 module Results: sig

src/plugins/value/gen-api.sh

 #!/bin/bash -eu
 
-header=$1
-shift
-
-IFS='' # for read to keep spaces
-
-printf '('
-printf '%0.1s' '*'{1..74}
-printf ')\n'
-while read -r line
-do
-    printf '(*  %-68s  *)\n' $line
-done < $header
-printf '('
-printf '%0.1s' '*'{1..74}
-printf ')\n\n'
 printf '(* This file is generated. Do not edit. *)\n\n'
 
 for i in "$@"