[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Git][ocaml-team/coq][master] 2 commits: Call "dune build" with "--release" to avoid failure on warnings

Title: GitLab

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:

Changes:

  • debian/changelog
    1 
    +coq (8.19.1+dfsg-2) UNRELEASED; urgency=medium
    2 
    +
    3 
    +  * Call "dune build" with "--release" to avoid failure on warnings
    4 
    +
    5 
    + -- Stéphane Glondu <glondu@debian.org>  Fri, 14 Jun 2024 14:48:38 +0200
    6 
    +
    1 7 
     coq (8.19.1+dfsg-1) unstable; urgency=medium
    2 8
    3 9 
       * New upstream release.

  • debian/rules
    ... ... @@ -26,7 +26,7 @@ override_dh_auto_build:
    26 26 
     	make dunestrap
    27 27 
     	dune build -p coq-core,coq-stdlib,coqide-server,coqide --display=verbose
    28 28 
     	# we don't really have the full documentation
    29 
    -	dune build @stdlib-html --display=verbose
    29 
    +	dune build --release @stdlib-html --display=verbose
    30 30 
     	touch _build/default/coq-doc.install
    31 31 
     	# all the html files point to the same logo - ship it and point to it
    32 32 
     	cp ide/coqide/coq.png _build/default/doc/stdlib/html/logo.png

    • —
    View it on GitLab.
    You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help

    Reply to: