ci: kill camlp5

yoichi-at-bedrock · Jun 20, 2022 · fe5994c · fe5994c
1 parent 96810c7
commit fe5994c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -32,7 +32,6 @@ jobs:
           startGroup "Install dependencies"
             opam pin add -n -y -k path $PACKAGE $WORKDIR
             opam update -y
-            opam depext -y -u camlp5
             opam install -y -j 2 $PACKAGE --deps-only
           endGroup
       env:

diff --git a/Makefile.coq.local b/Makefile.coq.local
@@ -6,7 +6,6 @@ theories/elpi.vo: $(wildcard elpi/*.elpi)
 
 
 merlin-hook::
-	echo "PKG camlp5" >> .merlin
 	echo "S $(abspath $(ELPIDIR))" >> .merlin
 	echo "B $(abspath $(ELPIDIR))" >> .merlin
 	if [ "$(ELPIDIR)" != "elpi/findlib/elpi" ]; then\