Merge branch 'jan/headache' into 'master'

add headache config for default dune workspace file

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

.gitattributes

@@ -109,6 +109,7 @@ src/plugins/e-acsl/examples/ensuresec/**/*.py -check-indent
 
 dune-project header_spec=CEA_LGPL
 dune header_spec=CEA_LGPL
+dune-workspace.* header_spec=CEA_LGPL
 
 config* header_spec=CEA_LGPL
 
@@ -198,8 +199,6 @@ README* header_spec=.ignore
 
 /bin/sed_get_* header_spec=.ignore
 
-/dev/dune-workspace.* header_spec=.ignore
-
 /dev/docker/*.sh header_spec=.ignore
 /dev/docker/Dockerfile header_spec=.ignore
 

dev/dune-workspace.bench

 (lang dune 3.2)
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;                                                                        ;;
+;;  This file is part of Frama-C.                                         ;;
+;;                                                                        ;;
+;;  Copyright (C) 2007-2023                                               ;;
+;;    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).            ;;
+;;                                                                        ;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
 (context
  (default
   (name bench)

headers/headache_config.txt

@@ -58,6 +58,8 @@
 ########
 | "dune-project"  -> frame open:";;" line:";" close:";;"
 | ".*dune-project" -> skip match:"(lang.*"
+| "dune-workspace.*" -> frame open:";;" line:";" close:";;"
+| ".*dune-workspace.*" -> skip match:"(lang.*"
 | "dune"          -> frame open:";;" line:";" close:";;"
 
 ############