wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-08-02 10:52:57 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

New package: rocq-9.0.0

Browse source
This commit is contained in:
Leah Neukirchen 2025-06-17 17:18:35 +02:00
parent 41281a6481
commit 337aa9f30c
2 changed files with 22 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
srcpkgs/rocq/patches/libdir.patch Normal file
View file

@ -0,0 +1,12 @@
--- a/tools/configure/configure.ml
+++ b/tools/configure/configure.ml
@@ -392,7 +392,7 @@
pr "(* DO NOT EDIT THIS FILE: automatically generated by ../configure *)\n";
pr "(* Exact command that generated this file: *)\n";
pr "(* %s *)\n\n" (String.concat " " (Array.to_list Sys.argv));
- pr_s "install_prefix" install_prefix;
+ pr_s "install_prefix" "/usr"; let _ = install_prefix in ();
- pr_s "coqlib" coqlib;
+ pr_s "coqlib" "/usr/lib/coq"; let _ = coqlib in ();
pr_s "configdir" configdir;
pr_s "datadir" datadir;

24
srcpkgs/coq/template → srcpkgs/rocq/template
View file

@ -1,24 +1,20 @@
# Template file for 'coq' # Template file for 'rocq'
pkgname=coq pkgname=rocq
version=8.19.2 version=9.0.0
revision=2 revision=1
hostmakedepends="dune ocaml ocaml-findlib ocaml-num ocaml-zarith" hostmakedepends="dune ocaml ocaml-findlib ocaml-num ocaml-zarith"
depends="ocaml-findlib" depends="ocaml-findlib"
checkdepends="python3 rsync time" checkdepends="python3 rsync time"
short_desc="Proof assistant written in OCaml" short_desc="Proof assistant written in OCaml"
maintainer="Orphaned <orphan@voidlinux.org>" maintainer="Orphaned <orphan@voidlinux.org>"
license="LGPL-2.1-only" license="LGPL-2.1-only"
homepage="https://coq.inria.fr" homepage="https://rocq-prover.org/"
distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz" distfiles="https://github.com/rocq-prover/rocq/releases/download/V${version}/rocq-${version}.tar.gz"
checksum=18035624bcda4f8cffe5f348e02f0ae2503af1c40de165788d7d45578e6c5725 checksum=82f86646fd3d047f760837648195c73374beee667b1c9592d31c5426e3b43a51
nopie=yes nopie=yes
nocross=yes nocross=yes
make_check=ci-skip # takes long and has some faults make_check=ci-skip # takes long and has some faults
replaces="coq>=0"
case "$XBPS_TARGET_MACHINE" in
ppc64*) ;;
ppc*) broken="R_PPC_REL24 relocation out of range";;
esac
do_patch() { do_patch() {
if ! command -v ocamlc.opt >/dev/null; then if ! command -v ocamlc.opt >/dev/null; then
@ -29,11 +25,11 @@ do_patch() {
do_build() { do_build() {
make dunestrap make dunestrap
dune build --display=short -p coq-core,coq-stdlib,coqide-server dune build --display=short -p rocq-core,rocq-runtime,coqide-server,coq-core
} }
do_install() { do_install() {
dune install coq-core coq-stdlib coqide-server --prefix=/usr --destdir="$DESTDIR" \ dune install rocq-core rocq-runtime coqide-server coq-core --prefix=/usr --destdir="$DESTDIR" \
--mandir=/usr/share/man --docdir=/usr/share/doc --mandir=/usr/share/man --docdir=/usr/share/doc
} }