GNU bug report logs - #58310
[PATCH] Add coq-mathcomp-analysis

Previous Next

Full log

View this message in rfc822 format

From: Garek Dyszel <garekdyszel <at> disroot.org>
To: 58310 <at> debbugs.gnu.org
Subject: [bug#58310] [PATCH] Add coq-mathcomp-analysis
Date: Wed, 05 Oct 2022 13:15:49 -0400

This patch set adds coq-mathcomp-analysis, but it does not build
correctly.

The build process for ocaml-elpi <at> 1.16.5 is broken. I did, however, get
coq-mathcomp-analysis to successfully build when using an older
version: ocaml-elpi <at> 1.15.2, which builds just fine.

To aid in debugging, I left the information for both versions of
ocaml-elpi in the commit which adds ocaml-elpi (ocaml-elpi <at> 1.15.2's
info is commented out).

We will have to see whether it's possible to upgrade coq-elpi to
1.15.6 without breaking coq-mathcomp-hierarchy-builder. The same goes
for whether it's possible to upgrade coq-mathcomp-hierarchy-builder to
1.4.0 without breaking coq-mathcomp-analysis.

There is an unresolved warning from guix lint that says
"python-hatch <at> 1.5.0: can be upgraded to 1.10.0". In fact, both
python-hatch and python-hatch-bootstrap are located in the same
repository, and the newest tag for hatch is hatch-v1.5.0. In this
case, guix lint is incorrect.

Let me know what you think!

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.