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

add dev target remove doc if pandoc not install

parent 8610f984
......@@ -21,12 +21,12 @@ build:
paths:
- install/*
expire_in: 1 week
proof:
.proof-templace: &proof_definition
stage: proof
tags:
- docker
- generic
image: framac/frama-c:22.0
script:
- /bin/bash ./run_vali.sh
- cat ./.frama-c/src_controller_controller_task.log | grep "Coverage estimation"
......@@ -49,30 +49,14 @@ proof:
- .wp-session_*
expire_in: 1 week
proof:
<<: *proof_definition
image: framac/frama-c:22.0
proof-23:
stage: proof
tags:
- docker
- generic
<<: *proof_definition
image: framac/frama-c:23.1
script:
- /bin/bash ./run_vali.sh
- cat ./.frama-c/src_controller_controller_task.log | grep "Coverage estimation"
- if (cat ./.frama-c/src_controller_controller_task/nonterm.log | grep "unreachable return"); then exit 1; fi
coverage: '/Coverage estimation = \d+.\d+%/'
only:
- branches
- triggers
- schedules
- pipelines
- web
artifacts:
paths:
- "**/*_framac.md"
- "**/*_framac.html"
- "**/*_flamegraph*"
- "**/*.sav*"
- "**/*_annot.c"
- .frama-c
- .wp-session_*
expire_in: 1 week
proof-dev:
<<: *proof_definition
image: framac/frama-c:dev
......@@ -4,6 +4,7 @@ targets = src/controller/controller_task
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
......@@ -168,7 +169,12 @@ src/controller/controller_task_DPES += src/carFramaC.c
#src/controller/controller_task_FRAMAFLAGS = -lib-entry
src/controller/controller_task_MAIN = controller_task_init
all: prepare validate doc
ALL = prepare validate
ifneq ($(PANDOC), "")
ALL += doc
endif
all: $(ALL)
PHONY += validate
validate: $(save-all)
......@@ -234,7 +240,7 @@ doc: $(addsuffix _framac.html,$(targets))
%_framac.html: %_framac.md
@echo "PANDOC $<"
$(Q)pandoc $^ -t html -o $@
$(Q)$(PANDOC) $^ -t html -o $@
%_framac.md: %.sav %_flamegraph.svg %_flamegraph.html
@echo "FRAMAC $<"
......
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