From fe5994c1056f54cba4fbec72c47b3eba6739a406 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Mon, 20 Jun 2022 11:26:21 +0200
Subject: [PATCH] ci: kill camlp5

---
 .github/workflows/main.yml | 1 -
 Makefile.coq.local         | 1 -
 2 files changed, 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index d971b4f69..0b4607b51 100644
--- 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
index 0f734eb64..de6e205d3 100644
--- 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\