wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-06-05 06:33:50 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

coq: fix build with bytecode.

Browse source
This commit is contained in:
Leah Neukirchen 2024-02-24 01:21:05 +01:00
parent 85971d29c4
commit 0ee43e2bf9
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
srcpkgs/coq/template
View file

@ -20,6 +20,13 @@ case "$XBPS_TARGET_MACHINE" in
ppc*) broken="R_PPC_REL24 relocation out of range";; ppc*) broken="R_PPC_REL24 relocation out of range";;
esac esac
do_patch() {
if ! command -v ocamlc.opt >/dev/null; then
# see coq/coq#18609
vsed -i -e 's/dep ^ ".cmxs"/dep ^ ".cma"/' tools/dune_rule_gen/coq_rules.ml
fi
}
do_build() { do_build() {
make dunestrap make dunestrap
dune build --display=short -p coq-core,coq-stdlib,coqide-server dune build --display=short -p coq-core,coq-stdlib,coqide-server