fix and update alectryon

Signed-off-by: Ali Caglayan <[email protected]>

Author: Alizter

.github/workflows/ci.yml

@@ -184,7 +184,8 @@ jobs:
         coq_version: ${{ env.coq-version-supported }}
         ocaml_version: ${{ env.ocaml-version }}
         custom_script: |
-          opam install -y coq-serapi
+          opam update
+          opam install -y coq-lsp.0.2.5+9.0
           sudo apt-get -o Acquire::Retries=30 update -q
           sudo apt-get -o Acquire::Retries=30 install python3-pip python3-venv autoconf -y --allow-unauthenticated
           startGroup "Workaround permission issue" # https://github.com/coq-community/docker-coq-action#permissions

.gitmodules

@@ -3,4 +3,4 @@
 	url = https://github.com/JasonGross/coq-scripts.git
 [submodule "etc/alectryon"]
 	path = etc/alectryon
-	url = https://github.com/JasonGross/alectryon.git
+	url = https://github.com/cpitclaudel/alectryon.git

Makefile.coq.local

@@ -172,7 +172,7 @@ alectryon-html/index.html alectryon-html/toc.html alectryon-html/coqdoc.css : al
 
 alectryon-html-done.timestamp: $(ALL_VOFILES) $(ALL_VFILES)
 	@ mkdir -p alectryon-html
-	$(TIMER) $(ALECTRYON) --frontend coq+rst --backend webpage --sertop-arg=--no_prelude --sertop-arg=--indices-matter $(COQLIBS_NOML) --output-directory alectryon-html --cache-directory alectryon-cache --long-line-threshold=99999 $(ALECTRYON_EXTRAFLAGS) $(ALL_VFILES)
+	$(TIMER) $(ALECTRYON) --frontend coq+rst --backend webpage --coq-driver coqlsp --output-directory alectryon-html --cache-directory alectryon-cache --long-line-threshold=99999 $(ALECTRYON_EXTRAFLAGS) $(ALL_VFILES)
 	touch alectryon-html-done.timestamp
 
 alectryon-html:

etc/alectryon

@@ -31,6 +31,12 @@
                 ocamlPackages.ocaml
                 ocamlPackages.findlib
                 pkgs.pkg-config
+                (pkgs.python3.withPackages (ps: [
+                  ps.pygments
+                  ps.dominate
+                  ps.beautifulsoup4
+                  ps.docutils
+                ]))
               ] ++ extraPackages ++ [ coq ]
               ++ pkgs.lib.optionals (rocqPackages != null) [ rocqPackages.rocq-core ];
           };