Commit 1f94f3d5 authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

update GNUmakefile comments to follow template

parent 10271463
Pipeline #31913 passed with stage
in 75 minutes and 24 seconds
......@@ -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
......
......@@ -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 \
......
......@@ -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
......
......@@ -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
......
......@@ -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
......
......@@ -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
......
......@@ -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
......
......@@ -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)
......
......@@ -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
......
......@@ -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
......
......@@ -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
......
......@@ -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
......
......@@ -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
......
......@@ -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
......
......@@ -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
......
......@@ -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
......
......@@ -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
......
......@@ -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
......
......@@ -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
......
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment