Commit 2b87d4dc authored by Björn Brandenburg's avatar Björn Brandenburg
Browse files

Makefile: allow alectryon to work in parallel

parent 5470f685
Pipeline #50913 passed with stages
in 16 minutes and 34 seconds
......@@ -18,3 +18,4 @@ Makefile*
*.DS_Store
/proof-state
/with-proof-state
/html-alectryon
......@@ -211,9 +211,7 @@ proof-state:
script:
- eval $(opam env "--switch=${COMPILER_EDGE}" --set-switch)
- ./create_makefile.sh --without-classic
- make -j ${NJOBS}
- make alectryon
- mv html html-alectryon
- make -j ${NJOBS} alectryon
artifacts:
name: "prosa-proof-state-$CI_COMMIT_REF_NAME"
paths:
......
alectryon: $(GLOBFILES) $(VFILES)
$(SHOW)'Running alectryon on all .v files'
$(HIDE)scripts/alectryon.sh $(VFILES)
ALECTRYONFILES = $(patsubst %,html-alectryon/prosa.%,$(subst /,.,$(subst ./,,$(VFILES:.v=.html))))
html-alectryon/%.html: $(VOFILES)
$(HIDE)scripts/alectryon.sh $(patsubst %,%.v,$(subst html-alectryon/prosa/,,$(subst .,/,$(@:.html=))))
alectryon: $(ALECTRYONFILES)
......@@ -2,7 +2,7 @@
set -e
ALE="alectryon"
OUT="./html"
OUT="./html-alectryon"
mkdir -p "$OUT"
......
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