[ci] fix?

rocq-archive · Jun 3, 2024 · 4d3b175 · 4d3b175
1 parent 9433966
commit 4d3b175
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -6,9 +6,9 @@ SERAPI_COQ_HOME ?=
 
 ifneq ($SERAPI_COQ_HOME,)
   export OCAMLPATH := $(SERAPI_COQ_HOME):$(OCAMLPATH)
-  SP_PKGS=coq-serapi
+  SP_PKGS=coq-lsp,coq-serapi
 else
-  SP_PKGS=coq-serapi
+  SP_PKGS=coq-lsp,coq-serapi
 endif
 
 all: build

diff --git a/coq-serapi.opam b/coq-serapi.opam
@@ -26,7 +26,8 @@ depends: [
   "dune"                {           >= "2.0.1"                     }
   "ocaml"               {           >= "4.12.0"                    }
   "coq"                 {           >= "8.20" & < "8.21" | = "dev" }
-  "coq-lsp"             {           >= "0.2.0"                     }
+  # We vendor this for now
+  # "coq-lsp"             {           >= "0.2.0"                     }
   "cmdliner"            {           >= "1.1.0"                     }
   "ocamlfind"           {           >= "1.8.0"                     }
   "sexplib"             {           >= "v0.13.0"                   }