Commit d0538bc4 authored by Andreas Werner's avatar Andreas Werner
Browse files

frama-c: add errors

parent 72263914
......@@ -5,9 +5,8 @@ save-all = $(addsuffix .sav, $(targets))
gui-all = $(addsuffix -gui, $(targets))
FRAMAC=$(FAKE)frama-c
PANDOC=$(shell which pandoc)
#GTK_THEME=Adwaita:light
#GTK_THEME=Yaru-light
#export GTK_THEME
GTK_THEME=Adwaita:light
export GTK_THEME
FRAMAC_GUI=$(FAKE)frama-c-gui
space := $(subst ,, )
comma := ,
......@@ -59,6 +58,7 @@ KERNELFLAGS += -remove-unused-specified-functions
# Enable Kernel Loop unroling
KERNELFLAGS += -ulevel 0
#KERNELFLAGS += -inline-calls capture_init #-remove-inlined capture_init
KERNELFLAGS += -journal-enable
# Function for checking prover is installed and configured
wp-prover-check = $(shell set -e; \
......@@ -192,14 +192,21 @@ validate: $(save-all)
$(KERNELFLAGS) \
\
-kernel-log w:$(LOGDIR)/warnings.log \
-kernel-log e:$(LOGDIR)/errors.log \
-variadic-log w:$(LOGDIR)/warnings.log \
-variadic-log e:$(LOGDIR)/errors.log \
-metrics -metrics-log a:$(LOGDIR)/metrics.log \
-from-log w:$(LOGDIR)/eva_warnings.log \
-from-log e:$(LOGDIR)/eva_errors.log \
-inout-log w:$(LOGDIR)/eva_warnings.log \
-inout-log e:$(LOGDIR)/eva_errors.log \
-scope-log w:$(LOGDIR)/eva_warnings.log \
-scope-log e:$(LOGDIR)/eva_errors.log \
-eva-log w:$(LOGDIR)/eva_warnings.log \
-eva-log e:$(LOGDIR)/eva_errors.log \
-nonterm-log a:$(LOGDIR)/nonterm.log \
-wp-log w:$(LOGDIR)/wp_warnings.log \
-wp-log e:$(LOGDIR)/wp_errors.log \
$($(addsuffix _FRAMAFLAGS, $*)) \
$(RTEFLAGS) \
$(EVAFLAGS)\
......@@ -214,7 +221,6 @@ validate: $(save-all)
if [ $$? != 0 ]; then echo "Waring: nonterm deteced!"; fi
@echo "$@: $< $($(addsuffix _DPES, $*))" > $(dir $*).$(notdir $*).cmd # Create dependency file
PHONY += gui
gui: $(gui-all)
......
Supports Markdown
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