From 93d5c077065f0dab724ee97df0797e28dbb78bc8 Mon Sep 17 00:00:00 2001
From: heitor <heitorleite.dev@gmail.com>
Date: Tue, 16 Jul 2024 13:01:08 -0300
Subject: [PATCH] coq: install coqide-server

---
 srcpkgs/coq/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index a994063d254..d79c3fd261a 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,7 +1,7 @@
 # Template file for 'coq'
 pkgname=coq
 version=8.19.2
-revision=1
+revision=2
 hostmakedepends="dune ocaml ocaml-findlib ocaml-num ocaml-zarith"
 depends="ocaml-findlib"
 checkdepends="python3 rsync time"
@@ -33,7 +33,7 @@ do_build() {
 }
 
 do_install() {
-	dune install coq-core coq-stdlib --prefix=/usr --destdir="$DESTDIR" \
+	dune install coq-core coq-stdlib coqide-server --prefix=/usr --destdir="$DESTDIR" \
 		--mandir=/usr/share/man --docdir=/usr/share/doc
 }