Merge pull request #2855 from palmskog/refresh-coqide-dev

refresh coqide.dev
coq · Dec 8, 2023 · 44115b5 · 44115b5
2 parents 13fc739 + 2dcbc72
commit 44115b5
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/core-dev/packages/coqide/coqide.dev/opam b/core-dev/packages/coqide/coqide.dev/opam
@@ -20,22 +20,25 @@ depends: [
   "conf-findutils" {build}
   "conf-adwaita-icon-theme"
   "coqide-server" {= version}
+  "cairo2" {>= "0.6.4"}
   "lablgtk3-sourceview3" {>= "3.1.2"}
+  "odoc" {with-doc}
 ]
 build: [
-  # Requires dune 2.8 due to https://github.com/ocaml/dune/issues/3219
-  # ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"
     "-p"
     name
     "-j"
     jobs
+    "--promote-install-files=false"
     "@install"
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
+  ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/coq/coq.git"