Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coq
Commits: 5b957fb3 by Stephane Glondu at 2024-06-14T14:48:33+02:00 Call "dune build" with "--release" to avoid failure on warnings - - - - - b1228872 by Stephane Glondu at 2024-06-14T14:48:43+02:00 Update changelog - - - - - 2 changed files: - debian/changelog - debian/rules Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +coq (8.19.1+dfsg-2) UNRELEASED; urgency=medium + + * Call "dune build" with "--release" to avoid failure on warnings + + -- Stéphane Glondu <[email protected]> Fri, 14 Jun 2024 14:48:38 +0200 + coq (8.19.1+dfsg-1) unstable; urgency=medium * New upstream release. ===================================== debian/rules ===================================== @@ -26,7 +26,7 @@ override_dh_auto_build: make dunestrap dune build -p coq-core,coq-stdlib,coqide-server,coqide --display=verbose # we don't really have the full documentation - dune build @stdlib-html --display=verbose + dune build --release @stdlib-html --display=verbose touch _build/default/coq-doc.install # all the html files point to the same logo - ship it and point to it cp ide/coqide/coq.png _build/default/doc/stdlib/html/logo.png View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/107a035ce158c52e14922dcab1cc0483a19a9e61...b12288723695b04784c38588a4e169fbc90ecfcf -- This project does not include diff previews in email notifications. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/107a035ce158c52e14922dcab1cc0483a19a9e61...b12288723695b04784c38588a4e169fbc90ecfcf You're receiving this email because of your account on salsa.debian.org.
