From: Mark H Weaver <mhw@netris.org>
To: Nikita Karetnikov <nikita@karetnikov.org>
Cc: guix-devel@gnu.org
Subject: Re: Packaging Coq
Date: Fri, 05 Dec 2014 00:25:31 -0500 [thread overview]
Message-ID: <87d27y652s.fsf@yeeloong.lan> (raw)
In-Reply-To: <87ppc0447w.fsf@karetnikov.org> (Nikita Karetnikov's message of "Thu, 04 Dec 2014 05:02:27 +0400")
Nikita Karetnikov <nikita@karetnikov.org> writes:
> Does anyone know how to proceed?
It would help if you told us something about the problem you ran into,
preferably with relevant excerpts of the failed build output.
I'm also interested in Coq, and attempted to package it about 6 weeks
ago. I started by trying to update to ocaml 4.02.x, but there were many
test suite failures that looked non-trivial to debug. I stalled there.
If I were to proceed without the ocaml update, I would start by
packaging "camlp5", which is listed as a build dependency in the Coq
build documentation (INSTALL in the top-level source directory).
It looks like we don't yet have camlp5, and that you didn't attempt to
package it. Maybe that's the problem?
Regards,
Mark
prev parent reply other threads:[~2014-12-05 5:27 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-12-04 1:02 Packaging Coq Nikita Karetnikov
2014-12-04 9:49 ` Nikita Karetnikov
2014-12-04 10:26 ` Nikita Karetnikov
2014-12-04 10:07 ` Andreas Enge
2014-12-04 18:35 ` Ludovic Courtès
2014-12-04 23:56 ` Mark H Weaver
2014-12-05 11:17 ` Andreas Enge
2014-12-05 14:59 ` Mark H Weaver
2014-12-05 15:52 ` Andreas Enge
2014-12-05 19:03 ` Ludovic Courtès
2014-12-04 10:34 ` John Darrington
2014-12-04 9:46 ` Nikita Karetnikov
2014-12-05 5:25 ` Mark H Weaver [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87d27y652s.fsf@yeeloong.lan \
--to=mhw@netris.org \
--cc=guix-devel@gnu.org \
--cc=nikita@karetnikov.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).