snailed
/
void-packages
2
0
Fork 0
Code Issues 1 Pull Requests 2 Actions Activity

coq: install coqide-server

This commit is contained in:
heitor 2024-07-16 13:01:08 -03:00 committed by Leah Neukirchen
parent 4e1168a69b
commit 93d5c07706
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
srcpkgs/coq/template
View File

@ -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
}