Skip to content
Snippets Groups Projects
Commit 9f99f33f authored by Björn Brandenburg's avatar Björn Brandenburg
Browse files

Makefile: allow alectryon to work in parallel

parent 1ef392cc
No related branches found
No related tags found
1 merge request!136Use alectryon to generate doc with proof state
Pipeline #51281 passed with warnings
...@@ -18,3 +18,4 @@ Makefile* ...@@ -18,3 +18,4 @@ Makefile*
*.DS_Store *.DS_Store
/proof-state /proof-state
/with-proof-state /with-proof-state
/html-alectryon
...@@ -211,9 +211,7 @@ proof-state: ...@@ -211,9 +211,7 @@ proof-state:
script: script:
- eval $(opam env "--switch=${COMPILER_EDGE}" --set-switch) - eval $(opam env "--switch=${COMPILER_EDGE}" --set-switch)
- ./create_makefile.sh --without-classic - ./create_makefile.sh --without-classic
- make -j ${NJOBS} - make -j ${NJOBS} alectryon
- make alectryon
- mv html html-alectryon
artifacts: artifacts:
name: "prosa-proof-state-$CI_COMMIT_REF_NAME" name: "prosa-proof-state-$CI_COMMIT_REF_NAME"
paths: paths:
......
alectryon: $(GLOBFILES) $(VFILES) ALECTRYONFILES = $(patsubst %,html-alectryon/prosa.%,$(subst /,.,$(subst ./,,$(VFILES:.v=.html))))
$(SHOW)'Running alectryon on all .v files'
$(HIDE)scripts/alectryon.sh $(VFILES)
html-alectryon/%.html: $(VOFILES)
$(HIDE)scripts/alectryon.sh $(patsubst %,%.v,$(subst html-alectryon/prosa/,,$(subst .,/,$(@:.html=))))
alectryon: $(ALECTRYONFILES)
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
set -e set -e
ALE="alectryon" ALE="alectryon"
OUT="./html" OUT="./html-alectryon"
mkdir -p "$OUT" mkdir -p "$OUT"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment