Commit a6c95521 authored by Ralf Jung's avatar Ralf Jung
Browse files

forgot to add Makefile.coq.local

parent 5bc2d52c
...@@ -28,7 +28,8 @@ _*_.tex ...@@ -28,7 +28,8 @@ _*_.tex
*.vio *.vio
*.vos *.vos
*.vok *.vok
Makefile.coq* Makefile.coq
Makefile.coq.conf
.Makefile.coq.d .Makefile.coq.d
*.crashcoqide *.crashcoqide
.coqdeps.d .coqdeps.d
......
...@@ -5,6 +5,7 @@ stages: ...@@ -5,6 +5,7 @@ stages:
variables: variables:
CPU_CORES: "10" CPU_CORES: "10"
MAKE_TARGET: "ci"
.template: &template .template: &template
stage: build stage: build
......
# Generate an exercise for each solution.
SOLUTIONS := $(wildcard solutions/*.v)
EXERCISES := $(addprefix exercises/,$(notdir $(SOLUTIONS)))
exercises: $(EXERCISES)
.PHONY: exercises
$(EXERCISES): exercises/%.v: solutions/%.v gen-exercises.awk
$(HIDE)echo "Generating exercise file $@ from $<"
$(HIDE)gawk -f gen-exercises.awk < $< > $@
# CI make target
ci: all
+@make -B exercises # force make (in case exercise files have been edited directly)
if [ -n "$$(git status --porcelain)" ]; then echo 'ERROR: Exercise files are not up-to-date with solutions.'; exit 1; fi
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