From 1f94f3d58968e8be0ab83e8f5010623960b2a322 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 13 Jan 2021 09:43:13 +0100
Subject: [PATCH] update GNUmakefile comments to follow template

---
 2048/.frama-c/GNUmakefile               | 2 +-
 basic-cwe-examples/.frama-c/GNUmakefile | 4 ++--
 bench-moerman2018/.frama-c/GNUmakefile  | 2 +-
 cerberus/.frama-c/GNUmakefile           | 2 +-
 chrony/.frama-c/GNUmakefile             | 2 +-
 debie1/.frama-c/GNUmakefile             | 2 +-
 gzip124/.frama-c/GNUmakefile            | 2 +-
 hiredis/.frama-c/GNUmakefile            | 2 +-
 icpc/.frama-c/GNUmakefile               | 2 +-
 itc-benchmarks/.frama-c/GNUmakefile     | 2 +-
 jsmn/.frama-c/GNUmakefile               | 2 +-
 khash/.frama-c/GNUmakefile              | 2 +-
 kilo/.frama-c/GNUmakefile               | 2 +-
 libmodbus/.frama-c/GNUmakefile          | 2 +-
 libspng/.frama-c/GNUmakefile            | 2 +-
 microstrain/.frama-c/GNUmakefile        | 2 +-
 mini-gmp/.frama-c/GNUmakefile           | 2 +-
 monocypher/.frama-c/GNUmakefile         | 2 +-
 papabench/.frama-c/GNUmakefile          | 2 +-
 polarssl/.frama-c/GNUmakefile           | 2 +-
 qlz/.frama-c/GNUmakefile                | 2 +-
 safestringlib/.frama-c/GNUmakefile      | 2 +-
 semver/.frama-c/GNUmakefile             | 2 +-
 solitaire/.frama-c/GNUmakefile          | 2 +-
 tweetnacl-usable/.frama-c/GNUmakefile   | 2 +-
 x509-parser/.frama-c/GNUmakefile        | 2 +-
 26 files changed, 27 insertions(+), 27 deletions(-)

diff --git a/2048/.frama-c/GNUmakefile b/2048/.frama-c/GNUmakefile
index 9f80274ba..b8f3067a5 100644
--- a/2048/.frama-c/GNUmakefile
+++ b/2048/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/basic-cwe-examples/.frama-c/GNUmakefile b/basic-cwe-examples/.frama-c/GNUmakefile
index 43ba37a86..f45703696 100644
--- a/basic-cwe-examples/.frama-c/GNUmakefile
+++ b/basic-cwe-examples/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_64
 
@@ -20,7 +20,7 @@ FCFLAGS     += \
   -kernel-warn-key annot:missing-spec=abort \
   -kernel-warn-key typing:implicit-function-declaration=abort \
 
-# (Optional) Eva-specific flags
+## Eva-specific flags
 EVAFLAGS    += \
   -eva-warn-key builtins:missing-spec=abort \
 
diff --git a/bench-moerman2018/.frama-c/GNUmakefile b/bench-moerman2018/.frama-c/GNUmakefile
index 467b17bde..50723d265 100644
--- a/bench-moerman2018/.frama-c/GNUmakefile
+++ b/bench-moerman2018/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/cerberus/.frama-c/GNUmakefile b/cerberus/.frama-c/GNUmakefile
index e9dd64cd3..0d3ae7b9f 100644
--- a/cerberus/.frama-c/GNUmakefile
+++ b/cerberus/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/chrony/.frama-c/GNUmakefile b/chrony/.frama-c/GNUmakefile
index 9ac960ac8..98bcf4828 100644
--- a/chrony/.frama-c/GNUmakefile
+++ b/chrony/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_64
 
diff --git a/debie1/.frama-c/GNUmakefile b/debie1/.frama-c/GNUmakefile
index b16757248..387f93ab2 100644
--- a/debie1/.frama-c/GNUmakefile
+++ b/debie1/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/gzip124/.frama-c/GNUmakefile b/gzip124/.frama-c/GNUmakefile
index 8cad950b8..415e0b128 100644
--- a/gzip124/.frama-c/GNUmakefile
+++ b/gzip124/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/hiredis/.frama-c/GNUmakefile b/hiredis/.frama-c/GNUmakefile
index 73d9fb447..b0437279b 100644
--- a/hiredis/.frama-c/GNUmakefile
+++ b/hiredis/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 FRAMAC_SHARE = $(shell $(FRAMAC)-config -print-share-path)
 
diff --git a/icpc/.frama-c/GNUmakefile b/icpc/.frama-c/GNUmakefile
index b64b6cf36..c6325cc01 100644
--- a/icpc/.frama-c/GNUmakefile
+++ b/icpc/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/itc-benchmarks/.frama-c/GNUmakefile b/itc-benchmarks/.frama-c/GNUmakefile
index 81f962bbf..bb7cf9478 100644
--- a/itc-benchmarks/.frama-c/GNUmakefile
+++ b/itc-benchmarks/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/jsmn/.frama-c/GNUmakefile b/jsmn/.frama-c/GNUmakefile
index 12f4cd679..3455a3bbd 100644
--- a/jsmn/.frama-c/GNUmakefile
+++ b/jsmn/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/khash/.frama-c/GNUmakefile b/khash/.frama-c/GNUmakefile
index 50e1f662b..e6ef098b1 100644
--- a/khash/.frama-c/GNUmakefile
+++ b/khash/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/kilo/.frama-c/GNUmakefile b/kilo/.frama-c/GNUmakefile
index 5d2dc6005..ce1e6915d 100644
--- a/kilo/.frama-c/GNUmakefile
+++ b/kilo/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/libmodbus/.frama-c/GNUmakefile b/libmodbus/.frama-c/GNUmakefile
index 5dba02a68..cddc59d3a 100644
--- a/libmodbus/.frama-c/GNUmakefile
+++ b/libmodbus/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = gcc_x86_64
 
diff --git a/libspng/.frama-c/GNUmakefile b/libspng/.frama-c/GNUmakefile
index aa3c3b757..632697b61 100644
--- a/libspng/.frama-c/GNUmakefile
+++ b/libspng/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/microstrain/.frama-c/GNUmakefile b/microstrain/.frama-c/GNUmakefile
index 503d160aa..68c4c3661 100644
--- a/microstrain/.frama-c/GNUmakefile
+++ b/microstrain/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/mini-gmp/.frama-c/GNUmakefile b/mini-gmp/.frama-c/GNUmakefile
index 5857e11cc..d5e835de9 100644
--- a/mini-gmp/.frama-c/GNUmakefile
+++ b/mini-gmp/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = gcc_x86_32
 
diff --git a/monocypher/.frama-c/GNUmakefile b/monocypher/.frama-c/GNUmakefile
index 1a383e86e..eac2b38be 100644
--- a/monocypher/.frama-c/GNUmakefile
+++ b/monocypher/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_64
 
diff --git a/papabench/.frama-c/GNUmakefile b/papabench/.frama-c/GNUmakefile
index 58a645b41..c07aa38c4 100644
--- a/papabench/.frama-c/GNUmakefile
+++ b/papabench/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/polarssl/.frama-c/GNUmakefile b/polarssl/.frama-c/GNUmakefile
index c7a08fbb3..dbc71f4a5 100644
--- a/polarssl/.frama-c/GNUmakefile
+++ b/polarssl/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/qlz/.frama-c/GNUmakefile b/qlz/.frama-c/GNUmakefile
index a21144757..39eb2fd7d 100644
--- a/qlz/.frama-c/GNUmakefile
+++ b/qlz/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/safestringlib/.frama-c/GNUmakefile b/safestringlib/.frama-c/GNUmakefile
index d27ba2a43..da255ca33 100644
--- a/safestringlib/.frama-c/GNUmakefile
+++ b/safestringlib/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/semver/.frama-c/GNUmakefile b/semver/.frama-c/GNUmakefile
index b39dd07a3..00d3e5d86 100644
--- a/semver/.frama-c/GNUmakefile
+++ b/semver/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/solitaire/.frama-c/GNUmakefile b/solitaire/.frama-c/GNUmakefile
index 08cddcc97..10fb4609e 100644
--- a/solitaire/.frama-c/GNUmakefile
+++ b/solitaire/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/tweetnacl-usable/.frama-c/GNUmakefile b/tweetnacl-usable/.frama-c/GNUmakefile
index 28a52f921..3cbb8045c 100644
--- a/tweetnacl-usable/.frama-c/GNUmakefile
+++ b/tweetnacl-usable/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_32
 
diff --git a/x509-parser/.frama-c/GNUmakefile b/x509-parser/.frama-c/GNUmakefile
index e165e629d..f928199fa 100644
--- a/x509-parser/.frama-c/GNUmakefile
+++ b/x509-parser/.frama-c/GNUmakefile
@@ -7,7 +7,7 @@ FRAMAC ?= frama-c
 include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/prologue.mk
 ###############################################################################
 
-# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+# Edit below as needed. Suggested flags are optional.
 
 MACHDEP = x86_64
 
-- 
GitLab